Universalis Ecclesiae

Deductions

• papal bull is for example Universalis Ecclesiae ⇐ (Universalis Ecclesiae is a papal bull), (is a is inverse of is for example)
• Universalis Ecclesiae is a papal bull ⇐ (circumscription bull is subclass of papal bull), (Universalis Ecclesiae is a circumscription bull)
• circumscription bull is for example Universalis Ecclesiae ⇐ (Universalis Ecclesiae is a circumscription bull), (is a is inverse of is for example)