Assertion list for term "pass by the area".

Results from Ascent++: 1
sailor CapableOfpass by the area 0.25