[
  {
    "case_id": "FPO-HOLD_optics_C01_01",
    "construction": "C01",
    "construction_name": "simple_declarative",
    "failure_reasons": [],
    "passed": true,
    "surface": "lens focuses ray"
  },
  {
    "case_id": "FPO-HOLD_optics_C01_02",
    "construction": "C01",
    "construction_name": "simple_declarative",
    "failure_reasons": [],
    "passed": true,
    "surface": "mirror reflects beam"
  },
  {
    "case_id": "FPO-HOLD_optics_C01_03",
    "construction": "C01",
    "construction_name": "simple_declarative",
    "failure_reasons": [],
    "passed": true,
    "surface": "prism separates color"
  },
  {
    "case_id": "FPO-HOLD_optics_C02_01",
    "construction": "C02",
    "construction_name": "negation",
    "failure_reasons": [],
    "passed": true,
    "surface": "lens does not focus ray"
  },
  {
    "case_id": "FPO-HOLD_optics_C02_02",
    "construction": "C02",
    "construction_name": "negation",
    "failure_reasons": [],
    "passed": true,
    "surface": "mirror does not reflect beam"
  },
  {
    "case_id": "FPO-HOLD_optics_C02_03",
    "construction": "C02",
    "construction_name": "negation",
    "failure_reasons": [],
    "passed": true,
    "surface": "prism does not separate color"
  },
  {
    "case_id": "FPO-HOLD_optics_C03_01",
    "construction": "C03",
    "construction_name": "conjunction",
    "failure_reasons": [],
    "passed": true,
    "surface": "lens focuses ray and mirror reflects beam"
  },
  {
    "case_id": "FPO-HOLD_optics_C03_02",
    "construction": "C03",
    "construction_name": "conjunction",
    "failure_reasons": [],
    "passed": true,
    "surface": "mirror reflects beam and prism separates color"
  },
  {
    "case_id": "FPO-HOLD_optics_C03_03",
    "construction": "C03",
    "construction_name": "conjunction",
    "failure_reasons": [],
    "passed": true,
    "surface": "prism separates color and lens focuses ray"
  },
  {
    "case_id": "FPO-HOLD_optics_C04_01",
    "construction": "C04",
    "construction_name": "disjunction",
    "failure_reasons": [],
    "passed": true,
    "surface": "lens focuses ray or mirror reflects beam"
  },
  {
    "case_id": "FPO-HOLD_optics_C04_02",
    "construction": "C04",
    "construction_name": "disjunction",
    "failure_reasons": [],
    "passed": true,
    "surface": "mirror reflects beam or prism separates color"
  },
  {
    "case_id": "FPO-HOLD_optics_C04_03",
    "construction": "C04",
    "construction_name": "disjunction",
    "failure_reasons": [],
    "passed": true,
    "surface": "prism separates color or lens focuses ray"
  },
  {
    "case_id": "FPO-HOLD_optics_C05_01",
    "construction": "C05",
    "construction_name": "complement",
    "failure_reasons": [],
    "passed": true,
    "surface": "mirror reflects that lens focuses ray"
  },
  {
    "case_id": "FPO-HOLD_optics_C05_02",
    "construction": "C05",
    "construction_name": "complement",
    "failure_reasons": [],
    "passed": true,
    "surface": "prism separates that mirror reflects beam"
  },
  {
    "case_id": "FPO-HOLD_optics_C05_03",
    "construction": "C05",
    "construction_name": "complement",
    "failure_reasons": [],
    "passed": true,
    "surface": "lens focuses that prism separates color"
  },
  {
    "case_id": "FPO-HOLD_optics_C06_01",
    "construction": "C06",
    "construction_name": "relative",
    "failure_reasons": [],
    "passed": true,
    "surface": "lens, which reflects beam, focuses ray"
  },
  {
    "case_id": "FPO-HOLD_optics_C06_02",
    "construction": "C06",
    "construction_name": "relative",
    "failure_reasons": [],
    "passed": true,
    "surface": "mirror, which separates color, reflects beam"
  },
  {
    "case_id": "FPO-HOLD_optics_C06_03",
    "construction": "C06",
    "construction_name": "relative",
    "failure_reasons": [],
    "passed": true,
    "surface": "prism, which focuses ray, separates color"
  },
  {
    "case_id": "FPO-HOLD_optics_C07_01",
    "construction": "C07",
    "construction_name": "universal",
    "failure_reasons": [],
    "passed": true,
    "surface": "all lenses focus ray"
  },
  {
    "case_id": "FPO-HOLD_optics_C07_02",
    "construction": "C07",
    "construction_name": "universal",
    "failure_reasons": [],
    "passed": true,
    "surface": "all mirrors reflect beam"
  },
  {
    "case_id": "FPO-HOLD_optics_C07_03",
    "construction": "C07",
    "construction_name": "universal",
    "failure_reasons": [],
    "passed": true,
    "surface": "all prisms separate color"
  },
  {
    "case_id": "FPO-HOLD_optics_C08_01",
    "construction": "C08",
    "construction_name": "existential",
    "failure_reasons": [],
    "passed": true,
    "surface": "some lenses focus ray"
  },
  {
    "case_id": "FPO-HOLD_optics_C08_02",
    "construction": "C08",
    "construction_name": "existential",
    "failure_reasons": [],
    "passed": true,
    "surface": "some mirrors reflect beam"
  },
  {
    "case_id": "FPO-HOLD_optics_C08_03",
    "construction": "C08",
    "construction_name": "existential",
    "failure_reasons": [],
    "passed": true,
    "surface": "some prisms separate color"
  },
  {
    "case_id": "FPO-HOLD_optics_C09_01",
    "construction": "C09",
    "construction_name": "past_tense",
    "failure_reasons": [],
    "passed": true,
    "surface": "lens focussed ray"
  },
  {
    "case_id": "FPO-HOLD_optics_C09_02",
    "construction": "C09",
    "construction_name": "past_tense",
    "failure_reasons": [],
    "passed": true,
    "surface": "mirror reflected beam"
  },
  {
    "case_id": "FPO-HOLD_optics_C09_03",
    "construction": "C09",
    "construction_name": "past_tense",
    "failure_reasons": [],
    "passed": true,
    "surface": "prism separated color"
  },
  {
    "case_id": "FPO-HOLD_optics_C10_01",
    "construction": "C10",
    "construction_name": "present_tense",
    "failure_reasons": [],
    "passed": true,
    "surface": "lens focuses ray"
  },
  {
    "case_id": "FPO-HOLD_optics_C10_02",
    "construction": "C10",
    "construction_name": "present_tense",
    "failure_reasons": [],
    "passed": true,
    "surface": "mirror reflects beam"
  },
  {
    "case_id": "FPO-HOLD_optics_C10_03",
    "construction": "C10",
    "construction_name": "present_tense",
    "failure_reasons": [],
    "passed": true,
    "surface": "prism separates color"
  },
  {
    "case_id": "FPO-HOLD_optics_C11_01",
    "construction": "C11",
    "construction_name": "future_tense",
    "failure_reasons": [],
    "passed": true,
    "surface": "lens will focus ray"
  },
  {
    "case_id": "FPO-HOLD_optics_C11_02",
    "construction": "C11",
    "construction_name": "future_tense",
    "failure_reasons": [],
    "passed": true,
    "surface": "mirror will reflect beam"
  },
  {
    "case_id": "FPO-HOLD_optics_C11_03",
    "construction": "C11",
    "construction_name": "future_tense",
    "failure_reasons": [],
    "passed": true,
    "surface": "prism will separate color"
  },
  {
    "case_id": "FPO-HOLD_optics_C12_01",
    "construction": "C12",
    "construction_name": "perfective",
    "failure_reasons": [],
    "passed": true,
    "surface": "lens has focussed ray"
  },
  {
    "case_id": "FPO-HOLD_optics_C12_02",
    "construction": "C12",
    "construction_name": "perfective",
    "failure_reasons": [],
    "passed": true,
    "surface": "mirror has reflected beam"
  },
  {
    "case_id": "FPO-HOLD_optics_C12_03",
    "construction": "C12",
    "construction_name": "perfective",
    "failure_reasons": [],
    "passed": true,
    "surface": "prism has separated color"
  },
  {
    "case_id": "FPO-HOLD_optics_C13_01",
    "construction": "C13",
    "construction_name": "imperfective",
    "failure_reasons": [],
    "passed": true,
    "surface": "lens is focussing ray"
  },
  {
    "case_id": "FPO-HOLD_optics_C13_02",
    "construction": "C13",
    "construction_name": "imperfective",
    "failure_reasons": [],
    "passed": true,
    "surface": "mirror is reflecting beam"
  },
  {
    "case_id": "FPO-HOLD_optics_C13_03",
    "construction": "C13",
    "construction_name": "imperfective",
    "failure_reasons": [],
    "passed": true,
    "surface": "prism is separating color"
  }
]
