Assertion list for term "belong to naboth".

Results from Ascent++: 1
vineyard CapableOfbelong to naboth 0.35