Church of England Deductions state church is for example Church of England ⇐ (Church of England is a state church), (is a is inverse of is for example)