Assertion list for term "consist of either p1".

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