fixed examples and move them into grammar