 (A2) An indefinite NP in an argument position, however, ends up denoting an individual, because the semantics involves a free function variable that assigns an individual to the restriction predicate.