%use(int).

lemma == (a<b or b<c).

lemma -> [].

precedence([a,lemma]).