Assertion list
junkyard (primary) → HasProperty
Results from Ascent++: 2
junkyard → HasProperty → more reliable 0.51
junkyard → HasProperty → visible 0.25