Grammar mostly specified, still no SDT