phrase(sequence, "ab").
phrase(optional_b, "ab").
phrase(optional_b, "a").
phrase(bar_choice, "x").
phrase(bar_choice, "y").
phrase(bar_choice, "z").
phrase(nested_choice, "ab").
phrase(nested_choice, "ac").