Assertion list for term "snapshot".
Results from Ascent++: 1
thread → HasA → snapshot 0.27