Added classes to represent predicates. Still much work to be done.