Assertion: octahedron's edge | /r/HasProperty | top 4
Facets:
Source sentences:
text: Edges stored in a 2 by 12 matrix [J] in the order: top 4, bottom 4, and horizontal square.