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.