'Instance of' tree diagram
Does anything look out of place?