Descriptions describe constraints or conditions that the objects related to the action should satisfy, which has the form, s Quantifier, Var/Class, Restrictionw , where Quantifier is a generalized quantifier, Var is the variable of quantification, and the quantification ranges over the objects each of which is a member of Class and satisfies Restriction.
this logical form is a flattened version of Woods' MRL (Woods, 1978), and as in Woods' MRL, Class can be a function.