Class ASTLogicalTerm