Assertion: triangle | /r/CapableOf | form cyclic quadrilateral
Facets:
value: with side lengths in sequence
type: OTHER
Source sentences:
text: f and share the same circumcircle, so that the side of length f is a chord of the circumcircle and the triangles have side lengths (a, b, f) and (c, d, f), with the two triangles together forming a cyclic quadrilateral with side lengths in sequence (a, b, c, d).