Assertion list
adonis (primary) → HasProperty
Results from Ascent++: 2
adonis → HasProperty → young 0.22
adonis → HasProperty → handsome 0.16