Assertion list
body (aspect of diver ) → HasProperty
Results from Ascent++: 3
body → HasProperty → straight 0.29
body → HasProperty → vertical 0.29
body → HasProperty → cold 0.26