Match: General semantics