Playing with predicate logic parsing.