We defined this alternative formalization in order to make LSCs compatible with Neo-Davidsonian, event-based, semantic theories.
this form of LSC formalization is wellsuited for representing the semantics of natural language utterances.