Anaphora and Quantification in Situation Semantics