{"id": "EFO-PUB_nature_C01_01", "construction": "C01", "construction_name": "simple_declarative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "river", "predicate": "flows", "obj": "valley"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["river", "flows", "valley"], "word_order": ["river", "flows", "valley"]}, "accept_surfaces": ["river flows valley"]}
{"id": "EFO-PUB_nature_C01_02", "construction": "C01", "construction_name": "simple_declarative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "wind", "predicate": "shapes", "obj": "dune"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["wind", "shapes", "dune"], "word_order": ["wind", "shapes", "dune"]}, "accept_surfaces": ["wind shapes dune"]}
{"id": "EFO-PUB_nature_C01_03", "construction": "C01", "construction_name": "simple_declarative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cloud", "predicate": "covers", "obj": "ridge"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["cloud", "covers", "ridge"], "word_order": ["cloud", "covers", "ridge"]}, "accept_surfaces": ["cloud covers ridge"]}
{"id": "EFO-PUB_nature_C02_01", "construction": "C02", "construction_name": "negation", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "river", "predicate": "flows", "obj": "valley", "negated": true}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["river", "not", "valley"], "word_order": ["river", "not", "valley"]}}
{"id": "EFO-PUB_nature_C02_02", "construction": "C02", "construction_name": "negation", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "wind", "predicate": "shapes", "obj": "dune", "negated": true}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["wind", "not", "dune"], "word_order": ["wind", "not", "dune"]}}
{"id": "EFO-PUB_nature_C02_03", "construction": "C02", "construction_name": "negation", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cloud", "predicate": "covers", "obj": "ridge", "negated": true}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["cloud", "not", "ridge"], "word_order": ["cloud", "not", "ridge"]}}
{"id": "EFO-PUB_nature_C03_01", "construction": "C03", "construction_name": "conjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "river", "predicate": "flows", "obj": "valley"}, {"node_id": "n2", "subject": "wind", "predicate": "shapes", "obj": "dune"}], "edges": [{"source": "n1", "target": "n2", "relation": "conjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["river", "and", "wind"], "word_order": ["river", "and", "wind"]}}
{"id": "EFO-PUB_nature_C03_02", "construction": "C03", "construction_name": "conjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "wind", "predicate": "shapes", "obj": "dune"}, {"node_id": "n2", "subject": "cloud", "predicate": "covers", "obj": "ridge"}], "edges": [{"source": "n1", "target": "n2", "relation": "conjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["wind", "and", "cloud"], "word_order": ["wind", "and", "cloud"]}}
{"id": "EFO-PUB_nature_C03_03", "construction": "C03", "construction_name": "conjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cloud", "predicate": "covers", "obj": "ridge"}, {"node_id": "n2", "subject": "river", "predicate": "flows", "obj": "valley"}], "edges": [{"source": "n1", "target": "n2", "relation": "conjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["cloud", "and", "river"], "word_order": ["cloud", "and", "river"]}}
{"id": "EFO-PUB_nature_C04_01", "construction": "C04", "construction_name": "disjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "river", "predicate": "flows", "obj": "valley"}, {"node_id": "n2", "subject": "wind", "predicate": "shapes", "obj": "dune"}], "edges": [{"source": "n1", "target": "n2", "relation": "disjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["river", "or", "wind"], "word_order": ["river", "or", "wind"]}}
{"id": "EFO-PUB_nature_C04_02", "construction": "C04", "construction_name": "disjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "wind", "predicate": "shapes", "obj": "dune"}, {"node_id": "n2", "subject": "cloud", "predicate": "covers", "obj": "ridge"}], "edges": [{"source": "n1", "target": "n2", "relation": "disjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["wind", "or", "cloud"], "word_order": ["wind", "or", "cloud"]}}
{"id": "EFO-PUB_nature_C04_03", "construction": "C04", "construction_name": "disjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cloud", "predicate": "covers", "obj": "ridge"}, {"node_id": "n2", "subject": "river", "predicate": "flows", "obj": "valley"}], "edges": [{"source": "n1", "target": "n2", "relation": "disjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["cloud", "or", "river"], "word_order": ["cloud", "or", "river"]}}
{"id": "EFO-PUB_nature_C05_01", "construction": "C05", "construction_name": "complement", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "wind", "predicate": "shapes", "obj": "dune"}, {"node_id": "n2", "subject": "river", "predicate": "flows", "obj": "valley"}], "edges": [{"source": "n1", "target": "n2", "relation": "complement"}]}, "constraints": {"max_words": 14, "must_contain": ["wind", "that", "river"], "word_order": ["wind", "that", "river"]}}
{"id": "EFO-PUB_nature_C05_02", "construction": "C05", "construction_name": "complement", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cloud", "predicate": "covers", "obj": "ridge"}, {"node_id": "n2", "subject": "wind", "predicate": "shapes", "obj": "dune"}], "edges": [{"source": "n1", "target": "n2", "relation": "complement"}]}, "constraints": {"max_words": 14, "must_contain": ["cloud", "that", "wind"], "word_order": ["cloud", "that", "wind"]}}
{"id": "EFO-PUB_nature_C05_03", "construction": "C05", "construction_name": "complement", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "river", "predicate": "flows", "obj": "valley"}, {"node_id": "n2", "subject": "cloud", "predicate": "covers", "obj": "ridge"}], "edges": [{"source": "n1", "target": "n2", "relation": "complement"}]}, "constraints": {"max_words": 14, "must_contain": ["river", "that", "cloud"], "word_order": ["river", "that", "cloud"]}}
{"id": "EFO-PUB_nature_C06_01", "construction": "C06", "construction_name": "relative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "river", "predicate": "flows", "obj": "valley"}, {"node_id": "n2", "subject": "river", "predicate": "shapes", "obj": "dune"}], "edges": [{"source": "n1", "target": "n2", "relation": "relative"}]}, "constraints": {"max_words": 14, "must_contain": ["river", "which", "dune", "valley"]}, "accept_surfaces": ["river, which shapes dune, flows valley", "river which shapes dune flows valley"]}
{"id": "EFO-PUB_nature_C06_02", "construction": "C06", "construction_name": "relative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "wind", "predicate": "shapes", "obj": "dune"}, {"node_id": "n2", "subject": "wind", "predicate": "covers", "obj": "ridge"}], "edges": [{"source": "n1", "target": "n2", "relation": "relative"}]}, "constraints": {"max_words": 14, "must_contain": ["wind", "which", "ridge", "dune"]}, "accept_surfaces": ["wind, which covers ridge, shapes dune", "wind which covers ridge shapes dune"]}
{"id": "EFO-PUB_nature_C06_03", "construction": "C06", "construction_name": "relative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cloud", "predicate": "covers", "obj": "ridge"}, {"node_id": "n2", "subject": "cloud", "predicate": "flows", "obj": "valley"}], "edges": [{"source": "n1", "target": "n2", "relation": "relative"}]}, "constraints": {"max_words": 14, "must_contain": ["cloud", "which", "valley", "ridge"]}, "accept_surfaces": ["cloud, which flows valley, covers ridge", "cloud which flows valley covers ridge"]}
{"id": "EFO-PUB_nature_C07_01", "construction": "C07", "construction_name": "universal", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "river", "predicate": "flows", "obj": "valley", "quantifier": "all"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["all", "rivers", "valley"], "word_order": ["all", "rivers", "valley"]}}
{"id": "EFO-PUB_nature_C07_02", "construction": "C07", "construction_name": "universal", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "wind", "predicate": "shapes", "obj": "dune", "quantifier": "all"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["all", "winds", "dune"], "word_order": ["all", "winds", "dune"]}}
{"id": "EFO-PUB_nature_C07_03", "construction": "C07", "construction_name": "universal", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cloud", "predicate": "covers", "obj": "ridge", "quantifier": "all"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["all", "clouds", "ridge"], "word_order": ["all", "clouds", "ridge"]}}
{"id": "EFO-PUB_nature_C08_01", "construction": "C08", "construction_name": "existential", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "river", "predicate": "flows", "obj": "valley", "quantifier": "some"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["some", "rivers", "valley"], "word_order": ["some", "rivers", "valley"]}}
{"id": "EFO-PUB_nature_C08_02", "construction": "C08", "construction_name": "existential", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "wind", "predicate": "shapes", "obj": "dune", "quantifier": "some"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["some", "winds", "dune"], "word_order": ["some", "winds", "dune"]}}
{"id": "EFO-PUB_nature_C08_03", "construction": "C08", "construction_name": "existential", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cloud", "predicate": "covers", "obj": "ridge", "quantifier": "some"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["some", "clouds", "ridge"], "word_order": ["some", "clouds", "ridge"]}}
{"id": "EFO-PUB_nature_C09_01", "construction": "C09", "construction_name": "past_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "river", "predicate": "flows", "obj": "valley", "tense": "past"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["river", "valley"], "word_order": ["river", "valley"]}}
{"id": "EFO-PUB_nature_C09_02", "construction": "C09", "construction_name": "past_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "wind", "predicate": "shapes", "obj": "dune", "tense": "past"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["wind", "dune"], "word_order": ["wind", "dune"]}}
{"id": "EFO-PUB_nature_C09_03", "construction": "C09", "construction_name": "past_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cloud", "predicate": "covers", "obj": "ridge", "tense": "past"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["cloud", "ridge"], "word_order": ["cloud", "ridge"]}}
{"id": "EFO-PUB_nature_C10_01", "construction": "C10", "construction_name": "present_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "river", "predicate": "flows", "obj": "valley", "tense": "present"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["river", "flows", "valley"], "word_order": ["river", "flows", "valley"]}, "accept_surfaces": ["river flows valley"]}
{"id": "EFO-PUB_nature_C10_02", "construction": "C10", "construction_name": "present_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "wind", "predicate": "shapes", "obj": "dune", "tense": "present"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["wind", "shapes", "dune"], "word_order": ["wind", "shapes", "dune"]}, "accept_surfaces": ["wind shapes dune"]}
{"id": "EFO-PUB_nature_C10_03", "construction": "C10", "construction_name": "present_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cloud", "predicate": "covers", "obj": "ridge", "tense": "present"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["cloud", "covers", "ridge"], "word_order": ["cloud", "covers", "ridge"]}, "accept_surfaces": ["cloud covers ridge"]}
{"id": "EFO-PUB_nature_C11_01", "construction": "C11", "construction_name": "future_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "river", "predicate": "flows", "obj": "valley", "tense": "future"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["river", "will", "valley"], "word_order": ["river", "will", "valley"]}}
{"id": "EFO-PUB_nature_C11_02", "construction": "C11", "construction_name": "future_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "wind", "predicate": "shapes", "obj": "dune", "tense": "future"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["wind", "will", "dune"], "word_order": ["wind", "will", "dune"]}}
{"id": "EFO-PUB_nature_C11_03", "construction": "C11", "construction_name": "future_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cloud", "predicate": "covers", "obj": "ridge", "tense": "future"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["cloud", "will", "ridge"], "word_order": ["cloud", "will", "ridge"]}}
{"id": "EFO-PUB_nature_C12_01", "construction": "C12", "construction_name": "perfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "river", "predicate": "flows", "obj": "valley", "aspect": "perfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["river", "has", "valley"], "word_order": ["river", "has", "valley"]}}
{"id": "EFO-PUB_nature_C12_02", "construction": "C12", "construction_name": "perfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "wind", "predicate": "shapes", "obj": "dune", "aspect": "perfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["wind", "has", "dune"], "word_order": ["wind", "has", "dune"]}}
{"id": "EFO-PUB_nature_C12_03", "construction": "C12", "construction_name": "perfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cloud", "predicate": "covers", "obj": "ridge", "aspect": "perfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["cloud", "has", "ridge"], "word_order": ["cloud", "has", "ridge"]}}
{"id": "EFO-PUB_nature_C13_01", "construction": "C13", "construction_name": "imperfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "river", "predicate": "flows", "obj": "valley", "aspect": "imperfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["river", "is", "valley"], "word_order": ["river", "is", "valley"]}}
{"id": "EFO-PUB_nature_C13_02", "construction": "C13", "construction_name": "imperfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "wind", "predicate": "shapes", "obj": "dune", "aspect": "imperfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["wind", "is", "dune"], "word_order": ["wind", "is", "dune"]}}
{"id": "EFO-PUB_nature_C13_03", "construction": "C13", "construction_name": "imperfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cloud", "predicate": "covers", "obj": "ridge", "aspect": "imperfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["cloud", "is", "ridge"], "word_order": ["cloud", "is", "ridge"]}}
{"id": "EFO-PUB_tech_C01_01", "construction": "C01", "construction_name": "simple_declarative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "server", "predicate": "returns", "obj": "packet"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["server", "returns", "packet"], "word_order": ["server", "returns", "packet"]}, "accept_surfaces": ["server returns packet"]}
{"id": "EFO-PUB_tech_C01_02", "construction": "C01", "construction_name": "simple_declarative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cable", "predicate": "carries", "obj": "signal"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["cable", "carries", "signal"], "word_order": ["cable", "carries", "signal"]}, "accept_surfaces": ["cable carries signal"]}
{"id": "EFO-PUB_tech_C01_03", "construction": "C01", "construction_name": "simple_declarative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "database", "predicate": "stores", "obj": "record"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["database", "stores", "record"], "word_order": ["database", "stores", "record"]}, "accept_surfaces": ["database stores record"]}
{"id": "EFO-PUB_tech_C02_01", "construction": "C02", "construction_name": "negation", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "server", "predicate": "returns", "obj": "packet", "negated": true}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["server", "not", "packet"], "word_order": ["server", "not", "packet"]}}
{"id": "EFO-PUB_tech_C02_02", "construction": "C02", "construction_name": "negation", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cable", "predicate": "carries", "obj": "signal", "negated": true}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["cable", "not", "signal"], "word_order": ["cable", "not", "signal"]}}
{"id": "EFO-PUB_tech_C02_03", "construction": "C02", "construction_name": "negation", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "database", "predicate": "stores", "obj": "record", "negated": true}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["database", "not", "record"], "word_order": ["database", "not", "record"]}}
{"id": "EFO-PUB_tech_C03_01", "construction": "C03", "construction_name": "conjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "server", "predicate": "returns", "obj": "packet"}, {"node_id": "n2", "subject": "cable", "predicate": "carries", "obj": "signal"}], "edges": [{"source": "n1", "target": "n2", "relation": "conjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["server", "and", "cable"], "word_order": ["server", "and", "cable"]}}
{"id": "EFO-PUB_tech_C03_02", "construction": "C03", "construction_name": "conjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cable", "predicate": "carries", "obj": "signal"}, {"node_id": "n2", "subject": "database", "predicate": "stores", "obj": "record"}], "edges": [{"source": "n1", "target": "n2", "relation": "conjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["cable", "and", "database"], "word_order": ["cable", "and", "database"]}}
{"id": "EFO-PUB_tech_C03_03", "construction": "C03", "construction_name": "conjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "database", "predicate": "stores", "obj": "record"}, {"node_id": "n2", "subject": "server", "predicate": "returns", "obj": "packet"}], "edges": [{"source": "n1", "target": "n2", "relation": "conjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["database", "and", "server"], "word_order": ["database", "and", "server"]}}
{"id": "EFO-PUB_tech_C04_01", "construction": "C04", "construction_name": "disjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "server", "predicate": "returns", "obj": "packet"}, {"node_id": "n2", "subject": "cable", "predicate": "carries", "obj": "signal"}], "edges": [{"source": "n1", "target": "n2", "relation": "disjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["server", "or", "cable"], "word_order": ["server", "or", "cable"]}}
{"id": "EFO-PUB_tech_C04_02", "construction": "C04", "construction_name": "disjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cable", "predicate": "carries", "obj": "signal"}, {"node_id": "n2", "subject": "database", "predicate": "stores", "obj": "record"}], "edges": [{"source": "n1", "target": "n2", "relation": "disjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["cable", "or", "database"], "word_order": ["cable", "or", "database"]}}
{"id": "EFO-PUB_tech_C04_03", "construction": "C04", "construction_name": "disjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "database", "predicate": "stores", "obj": "record"}, {"node_id": "n2", "subject": "server", "predicate": "returns", "obj": "packet"}], "edges": [{"source": "n1", "target": "n2", "relation": "disjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["database", "or", "server"], "word_order": ["database", "or", "server"]}}
{"id": "EFO-PUB_tech_C05_01", "construction": "C05", "construction_name": "complement", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cable", "predicate": "carries", "obj": "signal"}, {"node_id": "n2", "subject": "server", "predicate": "returns", "obj": "packet"}], "edges": [{"source": "n1", "target": "n2", "relation": "complement"}]}, "constraints": {"max_words": 14, "must_contain": ["cable", "that", "server"], "word_order": ["cable", "that", "server"]}}
{"id": "EFO-PUB_tech_C05_02", "construction": "C05", "construction_name": "complement", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "database", "predicate": "stores", "obj": "record"}, {"node_id": "n2", "subject": "cable", "predicate": "carries", "obj": "signal"}], "edges": [{"source": "n1", "target": "n2", "relation": "complement"}]}, "constraints": {"max_words": 14, "must_contain": ["database", "that", "cable"], "word_order": ["database", "that", "cable"]}}
{"id": "EFO-PUB_tech_C05_03", "construction": "C05", "construction_name": "complement", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "server", "predicate": "returns", "obj": "packet"}, {"node_id": "n2", "subject": "database", "predicate": "stores", "obj": "record"}], "edges": [{"source": "n1", "target": "n2", "relation": "complement"}]}, "constraints": {"max_words": 14, "must_contain": ["server", "that", "database"], "word_order": ["server", "that", "database"]}}
{"id": "EFO-PUB_tech_C06_01", "construction": "C06", "construction_name": "relative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "server", "predicate": "returns", "obj": "packet"}, {"node_id": "n2", "subject": "server", "predicate": "carries", "obj": "signal"}], "edges": [{"source": "n1", "target": "n2", "relation": "relative"}]}, "constraints": {"max_words": 14, "must_contain": ["server", "which", "signal", "packet"]}, "accept_surfaces": ["server, which carries signal, returns packet", "server which carries signal returns packet"]}
{"id": "EFO-PUB_tech_C06_02", "construction": "C06", "construction_name": "relative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cable", "predicate": "carries", "obj": "signal"}, {"node_id": "n2", "subject": "cable", "predicate": "stores", "obj": "record"}], "edges": [{"source": "n1", "target": "n2", "relation": "relative"}]}, "constraints": {"max_words": 14, "must_contain": ["cable", "which", "record", "signal"]}, "accept_surfaces": ["cable, which stores record, carries signal", "cable which stores record carries signal"]}
{"id": "EFO-PUB_tech_C06_03", "construction": "C06", "construction_name": "relative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "database", "predicate": "stores", "obj": "record"}, {"node_id": "n2", "subject": "database", "predicate": "returns", "obj": "packet"}], "edges": [{"source": "n1", "target": "n2", "relation": "relative"}]}, "constraints": {"max_words": 14, "must_contain": ["database", "which", "packet", "record"]}, "accept_surfaces": ["database, which returns packet, stores record", "database which returns packet stores record"]}
{"id": "EFO-PUB_tech_C07_01", "construction": "C07", "construction_name": "universal", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "server", "predicate": "returns", "obj": "packet", "quantifier": "all"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["all", "servers", "packet"], "word_order": ["all", "servers", "packet"]}}
{"id": "EFO-PUB_tech_C07_02", "construction": "C07", "construction_name": "universal", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cable", "predicate": "carries", "obj": "signal", "quantifier": "all"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["all", "cables", "signal"], "word_order": ["all", "cables", "signal"]}}
{"id": "EFO-PUB_tech_C07_03", "construction": "C07", "construction_name": "universal", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "database", "predicate": "stores", "obj": "record", "quantifier": "all"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["all", "databases", "record"], "word_order": ["all", "databases", "record"]}}
{"id": "EFO-PUB_tech_C08_01", "construction": "C08", "construction_name": "existential", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "server", "predicate": "returns", "obj": "packet", "quantifier": "some"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["some", "servers", "packet"], "word_order": ["some", "servers", "packet"]}}
{"id": "EFO-PUB_tech_C08_02", "construction": "C08", "construction_name": "existential", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cable", "predicate": "carries", "obj": "signal", "quantifier": "some"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["some", "cables", "signal"], "word_order": ["some", "cables", "signal"]}}
{"id": "EFO-PUB_tech_C08_03", "construction": "C08", "construction_name": "existential", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "database", "predicate": "stores", "obj": "record", "quantifier": "some"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["some", "databases", "record"], "word_order": ["some", "databases", "record"]}}
{"id": "EFO-PUB_tech_C09_01", "construction": "C09", "construction_name": "past_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "server", "predicate": "returns", "obj": "packet", "tense": "past"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["server", "packet"], "word_order": ["server", "packet"]}}
{"id": "EFO-PUB_tech_C09_02", "construction": "C09", "construction_name": "past_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cable", "predicate": "carries", "obj": "signal", "tense": "past"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["cable", "signal"], "word_order": ["cable", "signal"]}}
{"id": "EFO-PUB_tech_C09_03", "construction": "C09", "construction_name": "past_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "database", "predicate": "stores", "obj": "record", "tense": "past"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["database", "record"], "word_order": ["database", "record"]}}
{"id": "EFO-PUB_tech_C10_01", "construction": "C10", "construction_name": "present_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "server", "predicate": "returns", "obj": "packet", "tense": "present"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["server", "returns", "packet"], "word_order": ["server", "returns", "packet"]}, "accept_surfaces": ["server returns packet"]}
{"id": "EFO-PUB_tech_C10_02", "construction": "C10", "construction_name": "present_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cable", "predicate": "carries", "obj": "signal", "tense": "present"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["cable", "carries", "signal"], "word_order": ["cable", "carries", "signal"]}, "accept_surfaces": ["cable carries signal"]}
{"id": "EFO-PUB_tech_C10_03", "construction": "C10", "construction_name": "present_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "database", "predicate": "stores", "obj": "record", "tense": "present"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["database", "stores", "record"], "word_order": ["database", "stores", "record"]}, "accept_surfaces": ["database stores record"]}
{"id": "EFO-PUB_tech_C11_01", "construction": "C11", "construction_name": "future_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "server", "predicate": "returns", "obj": "packet", "tense": "future"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["server", "will", "packet"], "word_order": ["server", "will", "packet"]}}
{"id": "EFO-PUB_tech_C11_02", "construction": "C11", "construction_name": "future_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cable", "predicate": "carries", "obj": "signal", "tense": "future"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["cable", "will", "signal"], "word_order": ["cable", "will", "signal"]}}
{"id": "EFO-PUB_tech_C11_03", "construction": "C11", "construction_name": "future_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "database", "predicate": "stores", "obj": "record", "tense": "future"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["database", "will", "record"], "word_order": ["database", "will", "record"]}}
{"id": "EFO-PUB_tech_C12_01", "construction": "C12", "construction_name": "perfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "server", "predicate": "returns", "obj": "packet", "aspect": "perfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["server", "has", "packet"], "word_order": ["server", "has", "packet"]}}
{"id": "EFO-PUB_tech_C12_02", "construction": "C12", "construction_name": "perfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cable", "predicate": "carries", "obj": "signal", "aspect": "perfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["cable", "has", "signal"], "word_order": ["cable", "has", "signal"]}}
{"id": "EFO-PUB_tech_C12_03", "construction": "C12", "construction_name": "perfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "database", "predicate": "stores", "obj": "record", "aspect": "perfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["database", "has", "record"], "word_order": ["database", "has", "record"]}}
{"id": "EFO-PUB_tech_C13_01", "construction": "C13", "construction_name": "imperfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "server", "predicate": "returns", "obj": "packet", "aspect": "imperfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["server", "is", "packet"], "word_order": ["server", "is", "packet"]}}
{"id": "EFO-PUB_tech_C13_02", "construction": "C13", "construction_name": "imperfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "cable", "predicate": "carries", "obj": "signal", "aspect": "imperfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["cable", "is", "signal"], "word_order": ["cable", "is", "signal"]}}
{"id": "EFO-PUB_tech_C13_03", "construction": "C13", "construction_name": "imperfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "database", "predicate": "stores", "obj": "record", "aspect": "imperfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["database", "is", "record"], "word_order": ["database", "is", "record"]}}
{"id": "EFO-PUB_domestic_C01_01", "construction": "C01", "construction_name": "simple_declarative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "train", "predicate": "passes", "obj": "station"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["train", "passes", "station"], "word_order": ["train", "passes", "station"]}, "accept_surfaces": ["train passes station"]}
{"id": "EFO-PUB_domestic_C01_02", "construction": "C01", "construction_name": "simple_declarative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "coffee", "predicate": "warms", "obj": "cup"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["coffee", "warms", "cup"], "word_order": ["coffee", "warms", "cup"]}, "accept_surfaces": ["coffee warms cup"]}
{"id": "EFO-PUB_domestic_C01_03", "construction": "C01", "construction_name": "simple_declarative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "lamp", "predicate": "lights", "obj": "room"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["lamp", "lights", "room"], "word_order": ["lamp", "lights", "room"]}, "accept_surfaces": ["lamp lights room"]}
{"id": "EFO-PUB_domestic_C02_01", "construction": "C02", "construction_name": "negation", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "train", "predicate": "passes", "obj": "station", "negated": true}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["train", "not", "station"], "word_order": ["train", "not", "station"]}}
{"id": "EFO-PUB_domestic_C02_02", "construction": "C02", "construction_name": "negation", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "coffee", "predicate": "warms", "obj": "cup", "negated": true}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["coffee", "not", "cup"], "word_order": ["coffee", "not", "cup"]}}
{"id": "EFO-PUB_domestic_C02_03", "construction": "C02", "construction_name": "negation", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "lamp", "predicate": "lights", "obj": "room", "negated": true}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["lamp", "not", "room"], "word_order": ["lamp", "not", "room"]}}
{"id": "EFO-PUB_domestic_C03_01", "construction": "C03", "construction_name": "conjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "train", "predicate": "passes", "obj": "station"}, {"node_id": "n2", "subject": "coffee", "predicate": "warms", "obj": "cup"}], "edges": [{"source": "n1", "target": "n2", "relation": "conjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["train", "and", "coffee"], "word_order": ["train", "and", "coffee"]}}
{"id": "EFO-PUB_domestic_C03_02", "construction": "C03", "construction_name": "conjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "coffee", "predicate": "warms", "obj": "cup"}, {"node_id": "n2", "subject": "lamp", "predicate": "lights", "obj": "room"}], "edges": [{"source": "n1", "target": "n2", "relation": "conjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["coffee", "and", "lamp"], "word_order": ["coffee", "and", "lamp"]}}
{"id": "EFO-PUB_domestic_C03_03", "construction": "C03", "construction_name": "conjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "lamp", "predicate": "lights", "obj": "room"}, {"node_id": "n2", "subject": "train", "predicate": "passes", "obj": "station"}], "edges": [{"source": "n1", "target": "n2", "relation": "conjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["lamp", "and", "train"], "word_order": ["lamp", "and", "train"]}}
{"id": "EFO-PUB_domestic_C04_01", "construction": "C04", "construction_name": "disjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "train", "predicate": "passes", "obj": "station"}, {"node_id": "n2", "subject": "coffee", "predicate": "warms", "obj": "cup"}], "edges": [{"source": "n1", "target": "n2", "relation": "disjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["train", "or", "coffee"], "word_order": ["train", "or", "coffee"]}}
{"id": "EFO-PUB_domestic_C04_02", "construction": "C04", "construction_name": "disjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "coffee", "predicate": "warms", "obj": "cup"}, {"node_id": "n2", "subject": "lamp", "predicate": "lights", "obj": "room"}], "edges": [{"source": "n1", "target": "n2", "relation": "disjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["coffee", "or", "lamp"], "word_order": ["coffee", "or", "lamp"]}}
{"id": "EFO-PUB_domestic_C04_03", "construction": "C04", "construction_name": "disjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "lamp", "predicate": "lights", "obj": "room"}, {"node_id": "n2", "subject": "train", "predicate": "passes", "obj": "station"}], "edges": [{"source": "n1", "target": "n2", "relation": "disjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["lamp", "or", "train"], "word_order": ["lamp", "or", "train"]}}
{"id": "EFO-PUB_domestic_C05_01", "construction": "C05", "construction_name": "complement", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "coffee", "predicate": "warms", "obj": "cup"}, {"node_id": "n2", "subject": "train", "predicate": "passes", "obj": "station"}], "edges": [{"source": "n1", "target": "n2", "relation": "complement"}]}, "constraints": {"max_words": 14, "must_contain": ["coffee", "that", "train"], "word_order": ["coffee", "that", "train"]}}
{"id": "EFO-PUB_domestic_C05_02", "construction": "C05", "construction_name": "complement", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "lamp", "predicate": "lights", "obj": "room"}, {"node_id": "n2", "subject": "coffee", "predicate": "warms", "obj": "cup"}], "edges": [{"source": "n1", "target": "n2", "relation": "complement"}]}, "constraints": {"max_words": 14, "must_contain": ["lamp", "that", "coffee"], "word_order": ["lamp", "that", "coffee"]}}
{"id": "EFO-PUB_domestic_C05_03", "construction": "C05", "construction_name": "complement", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "train", "predicate": "passes", "obj": "station"}, {"node_id": "n2", "subject": "lamp", "predicate": "lights", "obj": "room"}], "edges": [{"source": "n1", "target": "n2", "relation": "complement"}]}, "constraints": {"max_words": 14, "must_contain": ["train", "that", "lamp"], "word_order": ["train", "that", "lamp"]}}
{"id": "EFO-PUB_domestic_C06_01", "construction": "C06", "construction_name": "relative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "train", "predicate": "passes", "obj": "station"}, {"node_id": "n2", "subject": "train", "predicate": "warms", "obj": "cup"}], "edges": [{"source": "n1", "target": "n2", "relation": "relative"}]}, "constraints": {"max_words": 14, "must_contain": ["train", "which", "cup", "station"]}, "accept_surfaces": ["train, which warms cup, passes station", "train which warms cup passes station"]}
{"id": "EFO-PUB_domestic_C06_02", "construction": "C06", "construction_name": "relative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "coffee", "predicate": "warms", "obj": "cup"}, {"node_id": "n2", "subject": "coffee", "predicate": "lights", "obj": "room"}], "edges": [{"source": "n1", "target": "n2", "relation": "relative"}]}, "constraints": {"max_words": 14, "must_contain": ["coffee", "which", "room", "cup"]}, "accept_surfaces": ["coffee, which lights room, warms cup", "coffee which lights room warms cup"]}
{"id": "EFO-PUB_domestic_C06_03", "construction": "C06", "construction_name": "relative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "lamp", "predicate": "lights", "obj": "room"}, {"node_id": "n2", "subject": "lamp", "predicate": "passes", "obj": "station"}], "edges": [{"source": "n1", "target": "n2", "relation": "relative"}]}, "constraints": {"max_words": 14, "must_contain": ["lamp", "which", "station", "room"]}, "accept_surfaces": ["lamp, which passes station, lights room", "lamp which passes station lights room"]}
{"id": "EFO-PUB_domestic_C07_01", "construction": "C07", "construction_name": "universal", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "train", "predicate": "passes", "obj": "station", "quantifier": "all"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["all", "trains", "station"], "word_order": ["all", "trains", "station"]}}
{"id": "EFO-PUB_domestic_C07_02", "construction": "C07", "construction_name": "universal", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "coffee", "predicate": "warms", "obj": "cup", "quantifier": "all"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["all", "coffees", "cup"], "word_order": ["all", "coffees", "cup"]}}
{"id": "EFO-PUB_domestic_C07_03", "construction": "C07", "construction_name": "universal", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "lamp", "predicate": "lights", "obj": "room", "quantifier": "all"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["all", "lamps", "room"], "word_order": ["all", "lamps", "room"]}}
{"id": "EFO-PUB_domestic_C08_01", "construction": "C08", "construction_name": "existential", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "train", "predicate": "passes", "obj": "station", "quantifier": "some"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["some", "trains", "station"], "word_order": ["some", "trains", "station"]}}
{"id": "EFO-PUB_domestic_C08_02", "construction": "C08", "construction_name": "existential", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "coffee", "predicate": "warms", "obj": "cup", "quantifier": "some"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["some", "coffees", "cup"], "word_order": ["some", "coffees", "cup"]}}
{"id": "EFO-PUB_domestic_C08_03", "construction": "C08", "construction_name": "existential", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "lamp", "predicate": "lights", "obj": "room", "quantifier": "some"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["some", "lamps", "room"], "word_order": ["some", "lamps", "room"]}}
{"id": "EFO-PUB_domestic_C09_01", "construction": "C09", "construction_name": "past_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "train", "predicate": "passes", "obj": "station", "tense": "past"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["train", "station"], "word_order": ["train", "station"]}}
{"id": "EFO-PUB_domestic_C09_02", "construction": "C09", "construction_name": "past_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "coffee", "predicate": "warms", "obj": "cup", "tense": "past"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["coffee", "cup"], "word_order": ["coffee", "cup"]}}
{"id": "EFO-PUB_domestic_C09_03", "construction": "C09", "construction_name": "past_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "lamp", "predicate": "lights", "obj": "room", "tense": "past"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["lamp", "room"], "word_order": ["lamp", "room"]}}
{"id": "EFO-PUB_domestic_C10_01", "construction": "C10", "construction_name": "present_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "train", "predicate": "passes", "obj": "station", "tense": "present"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["train", "passes", "station"], "word_order": ["train", "passes", "station"]}, "accept_surfaces": ["train passes station"]}
{"id": "EFO-PUB_domestic_C10_02", "construction": "C10", "construction_name": "present_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "coffee", "predicate": "warms", "obj": "cup", "tense": "present"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["coffee", "warms", "cup"], "word_order": ["coffee", "warms", "cup"]}, "accept_surfaces": ["coffee warms cup"]}
{"id": "EFO-PUB_domestic_C10_03", "construction": "C10", "construction_name": "present_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "lamp", "predicate": "lights", "obj": "room", "tense": "present"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["lamp", "lights", "room"], "word_order": ["lamp", "lights", "room"]}, "accept_surfaces": ["lamp lights room"]}
{"id": "EFO-PUB_domestic_C11_01", "construction": "C11", "construction_name": "future_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "train", "predicate": "passes", "obj": "station", "tense": "future"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["train", "will", "station"], "word_order": ["train", "will", "station"]}}
{"id": "EFO-PUB_domestic_C11_02", "construction": "C11", "construction_name": "future_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "coffee", "predicate": "warms", "obj": "cup", "tense": "future"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["coffee", "will", "cup"], "word_order": ["coffee", "will", "cup"]}}
{"id": "EFO-PUB_domestic_C11_03", "construction": "C11", "construction_name": "future_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "lamp", "predicate": "lights", "obj": "room", "tense": "future"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["lamp", "will", "room"], "word_order": ["lamp", "will", "room"]}}
{"id": "EFO-PUB_domestic_C12_01", "construction": "C12", "construction_name": "perfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "train", "predicate": "passes", "obj": "station", "aspect": "perfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["train", "has", "station"], "word_order": ["train", "has", "station"]}}
{"id": "EFO-PUB_domestic_C12_02", "construction": "C12", "construction_name": "perfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "coffee", "predicate": "warms", "obj": "cup", "aspect": "perfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["coffee", "has", "cup"], "word_order": ["coffee", "has", "cup"]}}
{"id": "EFO-PUB_domestic_C12_03", "construction": "C12", "construction_name": "perfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "lamp", "predicate": "lights", "obj": "room", "aspect": "perfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["lamp", "has", "room"], "word_order": ["lamp", "has", "room"]}}
{"id": "EFO-PUB_domestic_C13_01", "construction": "C13", "construction_name": "imperfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "train", "predicate": "passes", "obj": "station", "aspect": "imperfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["train", "is", "station"], "word_order": ["train", "is", "station"]}}
{"id": "EFO-PUB_domestic_C13_02", "construction": "C13", "construction_name": "imperfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "coffee", "predicate": "warms", "obj": "cup", "aspect": "imperfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["coffee", "is", "cup"], "word_order": ["coffee", "is", "cup"]}}
{"id": "EFO-PUB_domestic_C13_03", "construction": "C13", "construction_name": "imperfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "lamp", "predicate": "lights", "obj": "room", "aspect": "imperfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["lamp", "is", "room"], "word_order": ["lamp", "is", "room"]}}
