Assertion list
trajectory (aspect of spacecraft ) → HasProperty

Results from Ascent++: 1
trajectoryHasProperty perfect 0.16