Assertion list for term "relay r1".

Results from Ascent++: 2
output (aspect of function) CapableOfrelay r1 0.34
output CapableOfrelay r1 0.30