Assertion list
co detector (subgroup of detector ) → AtLocation
Results from Ascent++: 1
co detector → AtLocation → knee-height 0.25