Assertion list
saboteur (primary) → HasProperty
Results from Ascent++: 1
saboteur → HasProperty → more valuable 0.43