Assertion list
child (aspect of node ) → HasProperty
Results from Ascent++: 2
child → HasProperty → visible 0.39
child → HasProperty → solvable 0.09