Lean Logic

Deductions

• release is for example Lean Logic ⇐ (Lean Logic is a release), (is a is inverse of is for example)
• version, edition or translation is for example Lean Logic ⇐ (Lean Logic is a version, edition or translation), (is a is inverse of is for example)
• publication is for example Lean Logic ⇐ (Lean Logic is a publication), (is a is inverse of is for example)
• Lean Logic is a release ⇐ (publication is subclass of release), (Lean Logic is a publication)
• Lean Logic is a publication ⇐ (version, edition or translation is subclass of publication), (Lean Logic is a version, edition or translation)