Added syntax for and, next step, add implication and negation syntax