1768N/Aop a : bc

1768N/Aop a : b -> c

1768N/Aop a : s = e

1768N/Aop a :? s = e

213N/Aops __<__ : a*a->b; a : b -> c

213N/Aop a :? b %(opbla)% %(a)% %(b)%

213N/Aop a:?b%(op bla)%%(a)% %(b)%

213N/Aop a:b->c

213N/Aop __<__:a*a->b

213N/Aop a:b->c

1768N/Aop a:b , assoc, comm, idem, assoc, unit 1, unit -, assoc

1768N/Aop a(a:b;a:b; a,b:c):? b = e

213N/Aops a,bc,d, e:a->?b, assoc,idem, comm

213N/Aop a :? b