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