Linguistically motivated large-scale NLP with C&C and boxer | Synapse