Tiny parser for logical propositions