[TASK] semantics