Assertion list for term "exist in logic".

Results from Ascent++: 1
proof CapableOfexist in logic 0.27