Assertion list
problem (primary) → PartOf
Results from Ascent++: 1
problem → PartOf → life 0.39