Assertion list
end (aspect of reservoir ) → AtLocation
Results from Ascent++: 2
end → AtLocation → first area 0.25
end → AtLocation → second area 0.25