Protestantism Deductions Christian denominational family is for example Protestantism ⇐ (Protestantism is a Christian denominational family), (is a is inverse of is for example)