\predicates {
  p; q;
}

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