MixfixFormula.casl.output revision f56e4fe56fdf66d711e5fafaa71c2587dd9a066f
forall aa, ab:s . aa <= ab => p
not s(n) <= 0
not s(n) <= 0
(i * q) <= (j * p)
((i * q)) <= ((j * p))