Assertion list
autoclave (primary) → HasProperty
Results from Ascent++: 5
autoclave → HasProperty → large 0.32
autoclave → HasProperty → right 0.25
autoclave → HasProperty → dangerous 0.20
autoclave → HasProperty → useful 0.20
autoclave → HasProperty → expensive 0.16