Formal Logical Modeling of Impersonal Sentences in the English Language | Synapse