First-Order Logic with Adverbs | Synapse