Assertion list
old stadium (subgroup of stadium ) → IsA
Results from Ascent++: 1
old stadium → IsA → our 10th man 0.25