Assertion list
trajectory (aspect of comet ) → HasProperty

Results from Ascent++: 1
trajectoryHasProperty hyperbolic 0.68