Grammar corrections to assumptions and choices