\predicates {
	p;
	q;
}

\problem {
	(p & q) -> (q & p)
}