Assertion list for term "differ in length".

Results from Ascent++: 2
path CapableOfdiffer in length 0.33
note CapableOfdiffer in length 0.32