It will still be useful to refer to the CSP in order to access the intuition of using declarative constraints.
far, we have focused on DCS trees that only use join relations, which are insufficient for capturing higher-order phenomena in language.