Assertion list
component (aspect of cpu ) → UsedFor
Results from Ascent++: 2
component → UsedFor → output 0.34
component → UsedFor → standard lamp 0.32