Assertion list for term "knotty".
Results from Ascent++: 2
trunk → HasProperty → knotty 0.31
tuber → HasProperty → knotty 0.25