Assertion list
loss (aspect of mourner ) → HasProperty
Results from Ascent++: 1
loss → HasProperty → fresh 0.68