Assertion list
system (aspect of worm ) → HasA

Results from Ascent++: 2
systemHasA freeport 0.29
systemHasA virus 0.16