\sorts {
	A;
}

\functions {
	A c;
}

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

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