Assertion list for term "bigger than others".

Results from Ascent++: 1
infinite set (subgroup of set) IsAbigger than others 0.76