Assertion list
sword (aspect of knight ) → HasProperty
Results from Ascent++: 4
sword → HasProperty → heavy 0.43
sword → HasProperty → huge 0.43
sword → HasProperty → suboptimal 0.32
sword → HasProperty → useless 0.16