\predicates { p; q; r; } \problem { (p -> !p -> q) }