Assertion list
juju (primary) → HasProperty
Results from Ascent++: 2
juju → HasProperty → easy 0.26
juju → HasProperty → quick 0.16