boolean_term

boolean_term 
      ::= boolean_factor { "and" boolean_factor } 

This rule is call by

-> boolean_exp