constraint-based synchronous grammar