Assertion list for term "involve all auvi-q".

Results from Ascent++: 1
recall CapableOfinvolve all auvi-q 0.32