Assertion list
trojan (primary) → DefinedAs
Results from Ascent++: 2
trojan → DefinedAs → their multitasking 0.38
trojan → DefinedAs → their high efficiency 0.36