Assertion list
calving (primary) → HasProperty
Results from Ascent++: 2
calving → HasProperty → imminent 0.58
calving → HasProperty → unique 0.25