Assertion list for term "p(x".
Results from Ascent++: 1
sequence → HasA → p(x 0.34