constitution

Deductions

• type of law is for example constitution ⇐ (constitution is a type of law), (is a is inverse of is for example)
• constitution has part legal norm ⇐ (constitution is subclass of statute), (statute has part legal norm)
• constitution is for example United States Constitution ⇐ (United States Constitution is a constitution), (is a is inverse of is for example)