Assertion list for term "respond to @-message".

Results from Ascent++: 1
clock CapableOfrespond to @-message 0.25