These two argument roles shall be denoted by QDomain and Qrange.
in situation semantics, the propositional content of the linguistic meaning of the quantificational sentence EVERY STUDENT WALKS is expressed by the proposition: The situation s is supporting the quantificational information, while sj is where walking takes place.