query: How to verbify "logic"
positive_passages.docid: 142382
positive_passages.text: Is "logicalising" a valid word?
negative_passages.docid: 16302
negative_passages.text: Sentences with no verb
negative_passages.docid: 48987
negative_passages.text: How to generate abstraction clauses programmatically?
negative_passages.docid: 128302
negative_passages.text: "What it does is {VERB / to VERB / VERBing} ..."?
negative_passages.docid: 137468
negative_passages.text: notional subject-verb agreement other than for measurement, degree, etc
negative_passages.docid: 151893
negative_passages.text: Can I make JUnit more verbose?
negative_passages.docid: 100034
negative_passages.text: Stative verbs in the progressive
negative_passages.docid: 8908
negative_passages.text: "It's time ... 'verb'/'verb-ed' ..."
negative_passages.docid: 57672
negative_passages.text: Trying to get all this terminology straight in logic
negative_passages.docid: 66366
negative_passages.text: How to change the word "Proof" in the proof environment?
negative_passages.docid: 152614
negative_passages.text: "Wanting" or "want"? (Stative verbs: participial clauses; present continuous usages?)
negative_passages.docid: 135267
negative_passages.text: Predicate Logic and Inference
negative_passages.docid: 130767
negative_passages.text: "need + verb-ing" vs "need + [to be] + verb-ed"
negative_passages.docid: 30481
negative_passages.text: How to avoid perceived circularity when defining a formal language?
negative_passages.docid: 18512
negative_passages.text: Verbatim inside a command
negative_passages.docid: 54575
negative_passages.text: "any other verbs then being located in VP" -- is this acceptable?
negative_passages.docid: 126631
negative_passages.text: Quick way to use conditioned patterns when defining multi-argument function?