, r n ) of the semantic requirement, and there is one universal quantifier for y and for each parameter x j of the action except for ref(id(r)).
a distractor a for a referring expression introduced at u is removed when we substitute or adjoin an elementary tree into u which rules a out.