Definition: The expression (e AVRT o) specifies the relation between an event e and an object o participating in e from which the action dominating e is averting or turning away.
(e AVRT o)
e
o
Example:
IBM left the market.