Assertion: octahedron's vertex | /r/HasProperty | checked
Facets:
value: easily
type: MANNER
Source sentences:
text: Indeed, intersecting such a system of equiangular lines with a Euclidean sphere centered at their common intersection yields the twelve vertices of a regular icosahedron as can easily be checked.