Definition: The statement (s SOURC q) expresses that the object s has the generalized source q, where s is typically an event. SOURC is defined as the union of the relations INIT, ORIG, ORIGL, ORIGM, and AVRT.
(s SOURC q)
s
q
SOURC