Minimized grammar, need to fix how propositions are represented
Minimized grammar, need to fix how propositions are represented