Assertion list for term "k-j-high".
Results from Ascent++: 1
carol → HasA → k-j-high 0.25