Assertion list
use (aspect of sword ) → HasProperty

Results from Ascent++: 2
useHasProperty common 0.39
useHasProperty necessary 0.31