Assertion list for term "bmp-1".
Results from Ascent++: 1
well → HasA → bmp-1 0.25