Assertion list for term "more knotted than the majority".

Results from Ascent++: 1
remedy HasPropertymore knotted than the majority 0.47