Assertion list
sentinel node (subgroup of node ) → CapableOf
Results from Ascent++: 1
sentinel node → CapableOf → use up extra space 0.16