Assertion list
galaxy fold (subgroup of fold ) → CapableOf
Results from Ascent++: 1
galaxy fold → CapableOf → cost 1,980 0.68