Assertion: octahedron's volume | /r/HasProperty | computed the volume of the pyramid
Facets:
value: as f
type: MANNER
Source sentences:
text: The volume is computed as F times the volume of the pyramid whose base is a regular p-gon and whose height is the inradius