Assertion list for term "nonstandard".
Results from Ascent++: 1
format → HasProperty → nonstandard 0.31