====== SUBST: Substitute for an Entity ======

**Definition**: The expression ''(x SUBST y)'' states that ''x'' instead of ''y'' participates in a situation, or that an object ''x'' is substituted for another object ''y'' in an event, or that a situation ''x'' holds instead of a situation ''y''.