1.3.6. Translating English Sentence to predicate logic expressions Notes | Discrete Structure BIT | FWU | TABFlux