Assertion list for term "designed for reliability".
Results from Ascent++: 2
machine → ReceivesAction → designed for reliability 0.32
round → ReceivesAction → designed for reliability 0.16