Model-theoretic syntax for the working syntactician | Synapse