Assertion list for term "use normal procedure".

Results from Ascent++: 1
discard CapableOfuse normal procedure 0.54