Like our work, it also uses database type constraints to rule out spurious logical forms.
far, we have focused on DCS trees that only use join relations, which are insufficient for capturing higher-order phenomena in language.