Assertion list
forest (primary) → PartOf

Results from Ascent++: 1
forestPartOf the solution 0.32