Assertion list
delta (primary) → AtLocation
Results from Ascent++: 2
delta → AtLocation → the range of 12–25 mm 0.39
delta → AtLocation → full flood 0.29