use(to).

acceptable(inf) -> [].
acceptable(undef) -> [].
acceptable(E),E=inf,E=undef.


precedence([inf,undef,=<,<]).