Assertion list
nfl draft (subgroup of draft ) → IsA
Results from Ascent++: 1
nfl draft → IsA → the procedure 0.45