Assertion list
kudu (primary) → HasProperty
Results from Ascent++: 2
kudu → HasProperty → common 0.25
kudu → HasProperty → wary 0.25