Assertion: cone | /r/HasProperty | pyramid
Facets:
value: with base p
type: OTHER
Source sentences:
text: The cone over a polygon P is a pyramid with base P .
text: A cone with a polygonal base is called a pyramid.