Assertion list
parent (aspect of jimmy ) → HasProperty

Results from Ascent++: 2
parentHasProperty happy 0.59
parentHasProperty strict 0.25