Deļ¬nition: 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.
(x SUBST y)
x
y