====== HSIT: Constituents of a Hypersituation ======

**Definition**: The expression ''(s1 HSIT s2)'' states that the situation ''s2'' is a constituent of the hypersituation ''s1''. The more comprehensive situation ''s1'' is just defined by the fact that it is composed of more than one elementary situation, among them ''s2''.