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