====== SITU: Situational Embedding or Abstract Location ======

**Definition**: The assertion ''(s1 SITU s2)'' expresses the situational embedding or abstract location ''s2'' of an object or situation ''s1''.