Assertion list for term "correspond to identified abnormal process condition".
Results from Ascent++: 1
alarm → CapableOf → correspond to identified abnormal process condition 0.25