Assertion list for term "small real bodies".
Results from Ascent++: 1
candlestick → HasA → small real bodies 0.25