Assertion list for term "atv".
Results from Ascent++: 1
neighbor → HasA → atv 0.25