Categorial semantics and scoping | Synapse