Assertion: solid's volume | /r/HasProperty | enclosed
Facets:
Source sentences:
text: The element is created by rotating a line segment (of length w) around some axis (located r units away), so that a cylindrical volume of πr2w units is enclosed.