Assertion list
system (aspect of worm ) → HasProperty
Results from Ascent++: 11
system → HasProperty → vulnerable 0.56
system → HasProperty → secure 0.42
system → HasProperty → safe 0.35
system → HasProperty → clean 0.34
system → HasProperty → good 0.29
system → HasProperty → important 0.25
system → HasProperty → new 0.25
system → HasProperty → small 0.25
system → HasProperty → scalable 0.21
system → HasProperty → simple 0.21
system → HasProperty → effective 0.16