Assertion list
trident (primary) → HasProperty
Results from Ascent++: 7
trident → HasProperty → good 0.33
trident → HasProperty → small 0.31
trident → HasProperty → illegal 0.30
trident → HasProperty → expensive 0.16
trident → HasProperty → fast 0.16
trident → HasProperty → useless 0.16
trident → HasProperty → wrong 0.16