priority semantics