Assertion list
following example (subgroup of example ) → CapableOf
Results from Ascent++: 3
following example → CapableOf → connect wlst 0.68
following example → CapableOf → insert row 0.68
following example → CapableOf → use union 0.25