aima.logic.fol.parsing.ast
Interfaces 
FOLNode
Sentence
Classes 
ConnectedSentence
Constant
Function
NotSentence
ParanthizedSentence
Predicate
QuantifiedSentence
Term
TermEquality
Variable