{
  "statement": "Angle bisector of angle BAC meets BC at D.",
  "points": [
    {"name": "A", "hint": [0, 1.5]},
    {"name": "B", "hint": [-2, 0]},
    {"name": "C", "hint": [1, 0]},
    {"name": "D", "hint": [-0.5, 0]}
  ],
  "segments": [
    {"a": "A", "b": "B", "draw": true},
    {"a": "B", "b": "C", "draw": true},
    {"a": "C", "b": "A", "draw": true},
    {"a": "A", "b": "D", "draw": true}
  ],
  "lines": [],
  "circles": [],
  "angle_marks": [
    {"vertex": "A", "a": "B", "b": "D", "right_angle": false, "label": null},
    {"vertex": "A", "a": "D", "b": "C", "right_angle": false, "label": null}
  ],
  "labels": [],
  "constraints": [
    {"type": "equal_angle", "a1": "B", "v1": "A", "b1": "D", "a2": "D", "v2": "A", "b2": "C"},
    {"type": "on_line", "point": "D", "a": "B", "b": "C"},
    {"type": "length", "a": "A", "b": "B", "value": 2.5},
    {"type": "length", "a": "A", "b": "C", "value": 1.8},
    {"type": "length", "a": "B", "b": "C", "value": 3.0}
  ],
  "expected_mode": "exact"
}