Assertion list
right field (subgroup of field ) → CapableOf
Results from Ascent++: 1
right field → CapableOf → leave field 0.68