\sorts { U; } \predicates { p(U); q(U); } \problem { (\forall U x; p(x)) | (\exists U x; !p(x)) }