Assertion list
region (primary) → DefinedAs
Results from Ascent++: 1
region → DefinedAs → the area 0.34