template's main topic Deductions inverse property label item is for example template's main topic ⇐ (template's main topic is a inverse property label item), (is a is inverse of is for example)