Symbolic Logic and Natural Language