Assertion list
use (aspect of sword ) → HasProperty
Results from Ascent++: 2
use → HasProperty → common 0.39
use → HasProperty → necessary 0.31