Definition: The statement (s1 SUBS s2)
characterizes the subordination of concepts which represent situations (actions, happenings, or states) where the second argument s2
must always be a generic concept. The relation SUBS
is transitive, asymmetric, and not reflexive.