(sorts a, b, c, d, x

sorts a < d; x < a, d

op o : a

op o : a -> b

op o2 : a ->? b

pred p : a

pred p : b

pred q : a

pred q : b,[ . forall x:a; y:a; z:a . o = o %(ga_assoc_o)%,

. forall c:a . o(c) = o2(c) ])

*** Hint 11.6, redeclared sort 'a'

*** Error 19.22, unexpected mixfix token: c