Assertion list for term "be a pre-requisite".

Results from Ascent++: 1
proof CapableOfbe a pre-requisite 0.32