Assertion list
flight simulator (primary) → HasProperty
Results from Ascent++: 1
flight simulator → HasProperty → expensive 0.26