Assertion list
bed (aspect of hospital ) → HasA
Results from Ascent++: 1
bed → HasA → mattress 0.25