state model Deductions classification scheme is for example state model ⇐ (state model is a classification scheme), (is a is inverse of is for example) state model is for example nation state ⇐ (nation state is a state model), (is a is inverse of is for example)