Assertion list
cruiser (primary) → HasProperty
Results from Ascent++: 2
cruiser → HasProperty → pink 0.72
cruiser → HasProperty → white 0.68