Assertion list
video tutorial (subgroup of tutorial ) → HasProperty
Results from Ascent++: 1
video tutorial → HasProperty → useful 0.59