Assertion list for term "limited by concrete".

Results from Ascent++: 1
choice ReceivesActionlimited by concrete 0.40