Assertion list for term "use global system".

Results from Ascent++: 1
proof CapableOfuse global system 0.25