Assertion list for term "consist of ¬p1".

Results from Ascent++: 1
premise (aspect of argument) CapableOfconsist of ¬p1 0.25