Assertion list for term "represent all the global variables".
Results from Ascent++: 1
output (aspect of function) → CapableOf → represent all the global variables 0.29