\sorts {
        U;
}

\functions {
	U c;
}

\predicates {
        p(U);
        q(U);
}

\problem {
  \exists U x; \forall U y; (p(y) -> p(x))
}