New matching semantics with strict separation between grounding and
constraining.