Ascent++
Search
system
aspect of
worm
,
37
assertions
CapableOf
4
run windows
0.37
control centrifuge
0.25
run windows xp
0.25
become unstable
0.16
HasA
2
freeport
0.29
virus
0.16
HasProperty
11
vulnerable
0.56
secure
0.42
safe
0.35
clean
0.34
good
0.29
small
0.25
important
0.25
new
0.25
simple
0.21
scalable
0.21
More »
ReceivesAction
20
infected
0.66
patched
0.60
affected
0.50
infected by the worm
0.49
compromised
0.46
protected
0.40
encrypted
0.38
built
0.37
disinfected
0.32
configured
0.31
More »