Assertion list
candidate solution (subgroup of solution ) → CapableOf
Results from Ascent++: 1
candidate solution → CapableOf → comprise a plurality of enginee… 0.68