I-semantics