Assertion list
lawn (primary) → UsedFor
Results from Ascent++: 2
lawn → UsedFor → croquet 0.25
lawn → UsedFor → parking cars 0.25