Assertion list
t shirt (subgroup of shirt ) → AtLocation
Results from Ascent++: 1
t shirt → AtLocation → grey 0.28