Assertion list
network (aspect of ripple ) → HasProperty
Results from Ascent++: 2
network → HasProperty → busy 0.25
network → HasProperty → secure 0.25