Assertion list
fire alarm (subgroup of alarm ) → HasProperty
Results from Ascent++: 1
fire alarm → HasProperty → false 0.29