Assertion: graph's edge | /r/HasProperty | set of triangle
Facets:
Source sentences:
text: Geometrically K 3 forms the edge set of a triangle, K 4 a tetrahedron, etc.