application semantics