has artist files of Deductions inverse property label item is for example has artist files of ⇐ (has artist files of is a inverse property label item), (is a is inverse of is for example)