national Church Deductions national Church is for example Russian Orthodox Church ⇐ (Russian Orthodox Church is a national Church), (is a is inverse of is for example)