Assertion list for term "following variables".
Results from Ascent++: 1
scope → HasA → following variables 0.25