Assertion list
vertebra (primary) → HasProperty
Results from Ascent++: 3
vertebra → HasProperty → unstable 0.61
vertebra → HasProperty → adjacent 0.53
vertebra → HasProperty → shaped 0.25