Moved parser to Conditions and changed AND and OR to include a list of Propositions instead of left and Right