Predicate logic abstract syntax tree