s --> [a], t, [b].

t --> {true}.
t --> [a], t.
t --> [b], t.