statement grammar wip