Our contribution is two-fold: first, our principles derive evidence of CB/NB-ness in the 4valued Boolean lattice, thus supporting both underspecification by lattice top T and easy combination by lattice meet n; second we have shown that our formulation naturally fits in the concurrent constraint approach of TDG.
we have access to practically efficient constraintbased parsers, and we take advantage of the fact that multiple sources of structural indications can simultaneously influence the realization of information structure.