Assertion list
adjacent vertebra (subgroup of vertebra ) → HasProperty

Results from Ascent++: 1
adjacent vertebraHasProperty closer 0.68