Assertion list
fact (primary) → PartOf
Results from Ascent++: 2
fact → PartOf → the reason 0.41
fact → PartOf → the problem 0.32