| { |
| "statement": "Parallelogram ABCD with diagonals AC and BD intersecting at O.", |
| "points": [ |
| {"name": "A", "hint": [0, 0]}, |
| {"name": "B", "hint": [2, 0]}, |
| {"name": "C", "hint": [2.5, 1]}, |
| {"name": "D", "hint": [0.5, 1]}, |
| {"name": "O", "hint": [1.25, 0.5]} |
| ], |
| "segments": [ |
| {"a": "A", "b": "B", "draw": true}, |
| {"a": "B", "b": "C", "draw": true}, |
| {"a": "C", "b": "D", "draw": true}, |
| {"a": "D", "b": "A", "draw": true}, |
| {"a": "A", "b": "C", "draw": true}, |
| {"a": "B", "b": "D", "draw": true} |
| ], |
| "lines": [], |
| "circles": [], |
| "angle_marks": [], |
| "labels": [], |
| "constraints": [ |
| {"type": "parallel", "a1": "A", "a2": "B", "b1": "D", "b2": "C"}, |
| {"type": "parallel", "a1": "A", "a2": "D", "b1": "B", "b2": "C"}, |
| {"type": "midpoint", "point": "O", "a": "A", "b": "C"}, |
| {"type": "midpoint", "point": "O", "a": "B", "b": "D"}, |
| {"type": "length", "a": "A", "b": "B", "value": 2.0}, |
| {"type": "length", "a": "A", "b": "D", "value": 1.2} |
| ], |
| "expected_mode": "exact" |
| } |
|
|