Assertion list
frost (primary) → AtLocation
Results from Ascent++: 2
frost → AtLocation → the ground 0.45
frost → AtLocation → england 0.25