Assertion list for term "address shortcoming".

Results from Ascent++: 2
measure CapableOfaddress shortcoming 0.51
concrete CapableOfaddress shortcoming 0.25