Local models semantics, or contextual reasoning = locality + compatibility