extended semantics