Assertion list
arroyo (primary) → HasProperty

Results from Ascent++: 3
arroyoHasProperty active 0.38
arroyoHasProperty guilty 0.29
arroyoHasProperty healthy 0.25