Assertion: pyramid's base | /r/HasProperty | side length
Facets:
Source sentences:
text: Our base is side length a and for this calculation