\sorts {
	A;
}

\functions {
	A c;
}

\predicates {
	p(A);
}

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