Assertion list
starship (primary) → HasProperty
Results from Ascent++: 6
starship → HasProperty → possible 0.47
starship → HasProperty → cheaper 0.41
starship → HasProperty → real 0.38
starship → HasProperty → smaller 0.38
starship → HasProperty → large 0.25
starship → HasProperty → new 0.16