Logicality in natural language | Synapse