Icon
 

Translating English Sentence into Propositional Logic