Assertion list
main hospital (subgroup of hospital ) → AtLocation
Results from Ascent++: 1
main hospital → AtLocation → valley stream 0.59