Dynamic semantics for a controlled natural language