Assertion list
small moon (subgroup of moon ) → CapableOf
Results from Ascent++: 2
small moon → CapableOf → orbit pluto 0.68
small moon → CapableOf → interact with ring 0.16