Assertion list
new ship (subgroup of ship ) → IsA
Results from Ascent++: 2
new ship → IsA → a sister ship 0.34
new ship → IsA → brand new innovative design 0.33