Assertion list
untreated scurvy (subgroup of scurvy ) → HasProperty
Results from Ascent++: 1
untreated scurvy → HasProperty → fatal 0.75