Just some minor messing around with parsers to setup the first order logic