term

a term is an AND of literals.