Assertion list
free clinic (subgroup of clinic ) → AtLocation
Results from Ascent++: 1
free clinic → AtLocation → bold font 0.25