Assertion list
scope (aspect of variable ) → PartOf
Results from Ascent++: 1
scope → PartOf → the part of the program 0.47