phrase(three_checks(a), "a").
phrase(grouped_checks(b), "b").
phrase(embedded_choice, [ok]).