progress on semantics