Assertion list
hardware interrupt (subgroup of interrupt ) → HasProperty
Results from Ascent++: 1
hardware interrupt → HasProperty → asynchronous 0.81