Assertion list
voyager spacecraft (subgroup of spacecraft ) → CapableOf
Results from Ascent++: 3
voyager spacecraft → CapableOf → entered interstellar space 0.25
voyager spacecraft → CapableOf → visit neptune 0.25
voyager spacecraft → CapableOf → visit uranus 0.25