phrase(token(a), "a").
phrase(choice, "a").
phrase(choice, "b").
phrase(guarded, "ab").
phrase(not_a, "b").
phrase(committed, "a").