query: Translating English into Predicate Logic
positive_passages.docid: 149464
positive_passages.text: Question about translating English to first order logic?
negative_passages.docid: 93544
negative_passages.text: Nested Quantifiers true or false
negative_passages.docid: 49414
negative_passages.text: Negation in English
negative_passages.docid: 111862
negative_passages.text: Proof for sequent (Logic)
negative_passages.docid: 154104
negative_passages.text: Embedded Prolog Interpreter/Compiler for Java
negative_passages.docid: 52938
negative_passages.text: Reference request: Standard textbook for first-order predicate logic in english
negative_passages.docid: 57672
negative_passages.text: Trying to get all this terminology straight in logic
negative_passages.docid: 105545
negative_passages.text: Confused about language and words in logic
negative_passages.docid: 17966
negative_passages.text: Representing the statement using Quantifiers
negative_passages.docid: 93140
negative_passages.text: type 2 and type 3 conditional sentences (a subordinate clause within the protasis or apodosis)
negative_passages.docid: 79695
negative_passages.text: Logical operators OR AND in condition and order of conditions in WHERE
negative_passages.docid: 93560
negative_passages.text: Solving a logic puzzle using Prolog
negative_passages.docid: 25213
negative_passages.text: Analysing the "kind(s) of problem(s) are [ones]/[to be]" construction
negative_passages.docid: 63857
negative_passages.text: Repeating "to" and "will" in enumerations of verbs
negative_passages.docid: 140634
negative_passages.text: Double negation and litotes
negative_passages.docid: 53342
negative_passages.text: Subject predicate inversion due to negation
negative_passages.docid: 110614
negative_passages.text: Boolean expression (grammar) parser in c++