, 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)).
theoretically, our encoding provides a new framework for understanding and exploring the general relationships between language and action.