The Semantics of Imperatives within a Theory of Clause Types | Synapse