Assertion list
bit microprocessor (subgroup of microprocessor ) → IsA
Results from Ascent++: 1
bit microprocessor → IsA → intel 0.68