Assertion list for term "pose significant hazard".

Results from Ascent++: 1
fault CapableOfpose significant hazard 0.16