Assertion list
new hospital (subgroup of hospital ) → IsA
Results from Ascent++: 1
new hospital → IsA → under construction 0.38