Assertion list
space shuttle (primary) → HasProperty
Results from Ascent++: 2
space shuttle → HasProperty → essential 0.36
space shuttle → HasProperty → visible 0.25