Assertion list for term "solid back".
Results from Ascent++: 1
ring → HasA → solid back 0.24