Assertion list for term "disable trap".

Results from Ascent++: 1
value (aspect of variable) CapableOfdisable trap 0.31