Oulie
Logical form in natural language by William G. Lycan — Oulie