public boolean evaluate ( Term term ) { if ( term . isVar ( ) && ( term instanceof Variable ) ) { Variable var = ( Variable ) term ; return ! var . isBound ( ) && ! var . isAnonymous ( ) ; } return false ; }
Determine whether a term is a free variable .