Ascent++ | proof container of the present invention

Assertion list for term "proof container of the present invention".

Results from Ascent++: 1

spill → CapableOf → proof container of the present invention

0.25