Assertion: smart solid | /r/HasProperty | solid
Facets:
Source sentences:
text: I believe that smart solids are every solids that aren't primitive execept from pyramids to polyhedron...