Assertion list
time faculty (subgroup of faculty ) → HasProperty
Results from Ascent++: 1
time faculty → HasProperty → eligible 0.55