{"id": "EMO-PUB_arithmetic_C01_01", "construction": "C01", "construction_name": "simple_declarative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "addition", "predicate": "yields", "obj": "sum"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["addition", "yields", "sum"], "word_order": ["addition", "yields", "sum"]}, "accept_surfaces": ["addition yields sum"]}
{"id": "EMO-PUB_arithmetic_C01_02", "construction": "C01", "construction_name": "simple_declarative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "product", "predicate": "equals", "obj": "factor"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["product", "equals", "factor"], "word_order": ["product", "equals", "factor"]}, "accept_surfaces": ["product equals factor"]}
{"id": "EMO-PUB_arithmetic_C01_03", "construction": "C01", "construction_name": "simple_declarative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "difference", "predicate": "shows", "obj": "remainder"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["difference", "shows", "remainder"], "word_order": ["difference", "shows", "remainder"]}, "accept_surfaces": ["difference shows remainder"]}
{"id": "EMO-PUB_arithmetic_C02_01", "construction": "C02", "construction_name": "negation", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "addition", "predicate": "yields", "obj": "sum", "negated": true}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["addition", "not", "sum"], "word_order": ["addition", "not", "sum"]}}
{"id": "EMO-PUB_arithmetic_C02_02", "construction": "C02", "construction_name": "negation", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "product", "predicate": "equals", "obj": "factor", "negated": true}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["product", "not", "factor"], "word_order": ["product", "not", "factor"]}}
{"id": "EMO-PUB_arithmetic_C02_03", "construction": "C02", "construction_name": "negation", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "difference", "predicate": "shows", "obj": "remainder", "negated": true}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["difference", "not", "remainder"], "word_order": ["difference", "not", "remainder"]}}
{"id": "EMO-PUB_arithmetic_C03_01", "construction": "C03", "construction_name": "conjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "addition", "predicate": "yields", "obj": "sum"}, {"node_id": "n2", "subject": "product", "predicate": "equals", "obj": "factor"}], "edges": [{"source": "n1", "target": "n2", "relation": "conjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["addition", "and", "product"], "word_order": ["addition", "and", "product"]}}
{"id": "EMO-PUB_arithmetic_C03_02", "construction": "C03", "construction_name": "conjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "product", "predicate": "equals", "obj": "factor"}, {"node_id": "n2", "subject": "difference", "predicate": "shows", "obj": "remainder"}], "edges": [{"source": "n1", "target": "n2", "relation": "conjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["product", "and", "difference"], "word_order": ["product", "and", "difference"]}}
{"id": "EMO-PUB_arithmetic_C03_03", "construction": "C03", "construction_name": "conjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "difference", "predicate": "shows", "obj": "remainder"}, {"node_id": "n2", "subject": "addition", "predicate": "yields", "obj": "sum"}], "edges": [{"source": "n1", "target": "n2", "relation": "conjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["difference", "and", "addition"], "word_order": ["difference", "and", "addition"]}}
{"id": "EMO-PUB_arithmetic_C04_01", "construction": "C04", "construction_name": "disjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "addition", "predicate": "yields", "obj": "sum"}, {"node_id": "n2", "subject": "product", "predicate": "equals", "obj": "factor"}], "edges": [{"source": "n1", "target": "n2", "relation": "disjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["addition", "or", "product"], "word_order": ["addition", "or", "product"]}}
{"id": "EMO-PUB_arithmetic_C04_02", "construction": "C04", "construction_name": "disjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "product", "predicate": "equals", "obj": "factor"}, {"node_id": "n2", "subject": "difference", "predicate": "shows", "obj": "remainder"}], "edges": [{"source": "n1", "target": "n2", "relation": "disjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["product", "or", "difference"], "word_order": ["product", "or", "difference"]}}
{"id": "EMO-PUB_arithmetic_C04_03", "construction": "C04", "construction_name": "disjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "difference", "predicate": "shows", "obj": "remainder"}, {"node_id": "n2", "subject": "addition", "predicate": "yields", "obj": "sum"}], "edges": [{"source": "n1", "target": "n2", "relation": "disjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["difference", "or", "addition"], "word_order": ["difference", "or", "addition"]}}
{"id": "EMO-PUB_arithmetic_C05_01", "construction": "C05", "construction_name": "complement", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "product", "predicate": "equals", "obj": "factor"}, {"node_id": "n2", "subject": "addition", "predicate": "yields", "obj": "sum"}], "edges": [{"source": "n1", "target": "n2", "relation": "complement"}]}, "constraints": {"max_words": 14, "must_contain": ["product", "that", "addition"], "word_order": ["product", "that", "addition"]}}
{"id": "EMO-PUB_arithmetic_C05_02", "construction": "C05", "construction_name": "complement", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "difference", "predicate": "shows", "obj": "remainder"}, {"node_id": "n2", "subject": "product", "predicate": "equals", "obj": "factor"}], "edges": [{"source": "n1", "target": "n2", "relation": "complement"}]}, "constraints": {"max_words": 14, "must_contain": ["difference", "that", "product"], "word_order": ["difference", "that", "product"]}}
{"id": "EMO-PUB_arithmetic_C05_03", "construction": "C05", "construction_name": "complement", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "addition", "predicate": "yields", "obj": "sum"}, {"node_id": "n2", "subject": "difference", "predicate": "shows", "obj": "remainder"}], "edges": [{"source": "n1", "target": "n2", "relation": "complement"}]}, "constraints": {"max_words": 14, "must_contain": ["addition", "that", "difference"], "word_order": ["addition", "that", "difference"]}}
{"id": "EMO-PUB_arithmetic_C06_01", "construction": "C06", "construction_name": "relative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "addition", "predicate": "yields", "obj": "sum"}, {"node_id": "n2", "subject": "addition", "predicate": "equals", "obj": "factor"}], "edges": [{"source": "n1", "target": "n2", "relation": "relative"}]}, "constraints": {"max_words": 14, "must_contain": ["addition", "which", "factor", "sum"]}, "accept_surfaces": ["addition, which equals factor, yields sum", "addition which equals factor yields sum"]}
{"id": "EMO-PUB_arithmetic_C06_02", "construction": "C06", "construction_name": "relative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "product", "predicate": "equals", "obj": "factor"}, {"node_id": "n2", "subject": "product", "predicate": "shows", "obj": "remainder"}], "edges": [{"source": "n1", "target": "n2", "relation": "relative"}]}, "constraints": {"max_words": 14, "must_contain": ["product", "which", "remainder", "factor"]}, "accept_surfaces": ["product, which shows remainder, equals factor", "product which shows remainder equals factor"]}
{"id": "EMO-PUB_arithmetic_C06_03", "construction": "C06", "construction_name": "relative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "difference", "predicate": "shows", "obj": "remainder"}, {"node_id": "n2", "subject": "difference", "predicate": "yields", "obj": "sum"}], "edges": [{"source": "n1", "target": "n2", "relation": "relative"}]}, "constraints": {"max_words": 14, "must_contain": ["difference", "which", "sum", "remainder"]}, "accept_surfaces": ["difference, which yields sum, shows remainder", "difference which yields sum shows remainder"]}
{"id": "EMO-PUB_arithmetic_C07_01", "construction": "C07", "construction_name": "universal", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "addition", "predicate": "yields", "obj": "sum", "quantifier": "all"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["all", "additions", "sum"], "word_order": ["all", "additions", "sum"]}}
{"id": "EMO-PUB_arithmetic_C07_02", "construction": "C07", "construction_name": "universal", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "product", "predicate": "equals", "obj": "factor", "quantifier": "all"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["all", "products", "factor"], "word_order": ["all", "products", "factor"]}}
{"id": "EMO-PUB_arithmetic_C07_03", "construction": "C07", "construction_name": "universal", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "difference", "predicate": "shows", "obj": "remainder", "quantifier": "all"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["all", "differences", "remainder"], "word_order": ["all", "differences", "remainder"]}}
{"id": "EMO-PUB_arithmetic_C08_01", "construction": "C08", "construction_name": "existential", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "addition", "predicate": "yields", "obj": "sum", "quantifier": "some"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["some", "additions", "sum"], "word_order": ["some", "additions", "sum"]}}
{"id": "EMO-PUB_arithmetic_C08_02", "construction": "C08", "construction_name": "existential", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "product", "predicate": "equals", "obj": "factor", "quantifier": "some"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["some", "products", "factor"], "word_order": ["some", "products", "factor"]}}
{"id": "EMO-PUB_arithmetic_C08_03", "construction": "C08", "construction_name": "existential", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "difference", "predicate": "shows", "obj": "remainder", "quantifier": "some"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["some", "differences", "remainder"], "word_order": ["some", "differences", "remainder"]}}
{"id": "EMO-PUB_arithmetic_C09_01", "construction": "C09", "construction_name": "past_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "addition", "predicate": "yields", "obj": "sum", "tense": "past"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["addition", "sum"], "word_order": ["addition", "sum"]}}
{"id": "EMO-PUB_arithmetic_C09_02", "construction": "C09", "construction_name": "past_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "product", "predicate": "equals", "obj": "factor", "tense": "past"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["product", "factor"], "word_order": ["product", "factor"]}}
{"id": "EMO-PUB_arithmetic_C09_03", "construction": "C09", "construction_name": "past_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "difference", "predicate": "shows", "obj": "remainder", "tense": "past"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["difference", "remainder"], "word_order": ["difference", "remainder"]}}
{"id": "EMO-PUB_arithmetic_C10_01", "construction": "C10", "construction_name": "present_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "addition", "predicate": "yields", "obj": "sum", "tense": "present"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["addition", "yields", "sum"], "word_order": ["addition", "yields", "sum"]}, "accept_surfaces": ["addition yields sum"]}
{"id": "EMO-PUB_arithmetic_C10_02", "construction": "C10", "construction_name": "present_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "product", "predicate": "equals", "obj": "factor", "tense": "present"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["product", "equals", "factor"], "word_order": ["product", "equals", "factor"]}, "accept_surfaces": ["product equals factor"]}
{"id": "EMO-PUB_arithmetic_C10_03", "construction": "C10", "construction_name": "present_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "difference", "predicate": "shows", "obj": "remainder", "tense": "present"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["difference", "shows", "remainder"], "word_order": ["difference", "shows", "remainder"]}, "accept_surfaces": ["difference shows remainder"]}
{"id": "EMO-PUB_arithmetic_C11_01", "construction": "C11", "construction_name": "future_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "addition", "predicate": "yields", "obj": "sum", "tense": "future"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["addition", "will", "sum"], "word_order": ["addition", "will", "sum"]}}
{"id": "EMO-PUB_arithmetic_C11_02", "construction": "C11", "construction_name": "future_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "product", "predicate": "equals", "obj": "factor", "tense": "future"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["product", "will", "factor"], "word_order": ["product", "will", "factor"]}}
{"id": "EMO-PUB_arithmetic_C11_03", "construction": "C11", "construction_name": "future_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "difference", "predicate": "shows", "obj": "remainder", "tense": "future"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["difference", "will", "remainder"], "word_order": ["difference", "will", "remainder"]}}
{"id": "EMO-PUB_arithmetic_C12_01", "construction": "C12", "construction_name": "perfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "addition", "predicate": "yields", "obj": "sum", "aspect": "perfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["addition", "has", "sum"], "word_order": ["addition", "has", "sum"]}}
{"id": "EMO-PUB_arithmetic_C12_02", "construction": "C12", "construction_name": "perfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "product", "predicate": "equals", "obj": "factor", "aspect": "perfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["product", "has", "factor"], "word_order": ["product", "has", "factor"]}}
{"id": "EMO-PUB_arithmetic_C12_03", "construction": "C12", "construction_name": "perfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "difference", "predicate": "shows", "obj": "remainder", "aspect": "perfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["difference", "has", "remainder"], "word_order": ["difference", "has", "remainder"]}}
{"id": "EMO-PUB_arithmetic_C13_01", "construction": "C13", "construction_name": "imperfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "addition", "predicate": "yields", "obj": "sum", "aspect": "imperfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["addition", "is", "sum"], "word_order": ["addition", "is", "sum"]}}
{"id": "EMO-PUB_arithmetic_C13_02", "construction": "C13", "construction_name": "imperfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "product", "predicate": "equals", "obj": "factor", "aspect": "imperfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["product", "is", "factor"], "word_order": ["product", "is", "factor"]}}
{"id": "EMO-PUB_arithmetic_C13_03", "construction": "C13", "construction_name": "imperfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "difference", "predicate": "shows", "obj": "remainder", "aspect": "imperfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["difference", "is", "remainder"], "word_order": ["difference", "is", "remainder"]}}
{"id": "EMO-PUB_set_C01_01", "construction": "C01", "construction_name": "simple_declarative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "union", "predicate": "joins", "obj": "element"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["union", "joins", "element"], "word_order": ["union", "joins", "element"]}, "accept_surfaces": ["union joins element"]}
{"id": "EMO-PUB_set_C01_02", "construction": "C01", "construction_name": "simple_declarative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "subset", "predicate": "fits", "obj": "superset"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["subset", "fits", "superset"], "word_order": ["subset", "fits", "superset"]}, "accept_surfaces": ["subset fits superset"]}
{"id": "EMO-PUB_set_C01_03", "construction": "C01", "construction_name": "simple_declarative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "intersection", "predicate": "shares", "obj": "member"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["intersection", "shares", "member"], "word_order": ["intersection", "shares", "member"]}, "accept_surfaces": ["intersection shares member"]}
{"id": "EMO-PUB_set_C02_01", "construction": "C02", "construction_name": "negation", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "union", "predicate": "joins", "obj": "element", "negated": true}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["union", "not", "element"], "word_order": ["union", "not", "element"]}}
{"id": "EMO-PUB_set_C02_02", "construction": "C02", "construction_name": "negation", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "subset", "predicate": "fits", "obj": "superset", "negated": true}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["subset", "not", "superset"], "word_order": ["subset", "not", "superset"]}}
{"id": "EMO-PUB_set_C02_03", "construction": "C02", "construction_name": "negation", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "intersection", "predicate": "shares", "obj": "member", "negated": true}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["intersection", "not", "member"], "word_order": ["intersection", "not", "member"]}}
{"id": "EMO-PUB_set_C03_01", "construction": "C03", "construction_name": "conjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "union", "predicate": "joins", "obj": "element"}, {"node_id": "n2", "subject": "subset", "predicate": "fits", "obj": "superset"}], "edges": [{"source": "n1", "target": "n2", "relation": "conjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["union", "and", "subset"], "word_order": ["union", "and", "subset"]}}
{"id": "EMO-PUB_set_C03_02", "construction": "C03", "construction_name": "conjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "subset", "predicate": "fits", "obj": "superset"}, {"node_id": "n2", "subject": "intersection", "predicate": "shares", "obj": "member"}], "edges": [{"source": "n1", "target": "n2", "relation": "conjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["subset", "and", "intersection"], "word_order": ["subset", "and", "intersection"]}}
{"id": "EMO-PUB_set_C03_03", "construction": "C03", "construction_name": "conjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "intersection", "predicate": "shares", "obj": "member"}, {"node_id": "n2", "subject": "union", "predicate": "joins", "obj": "element"}], "edges": [{"source": "n1", "target": "n2", "relation": "conjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["intersection", "and", "union"], "word_order": ["intersection", "and", "union"]}}
{"id": "EMO-PUB_set_C04_01", "construction": "C04", "construction_name": "disjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "union", "predicate": "joins", "obj": "element"}, {"node_id": "n2", "subject": "subset", "predicate": "fits", "obj": "superset"}], "edges": [{"source": "n1", "target": "n2", "relation": "disjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["union", "or", "subset"], "word_order": ["union", "or", "subset"]}}
{"id": "EMO-PUB_set_C04_02", "construction": "C04", "construction_name": "disjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "subset", "predicate": "fits", "obj": "superset"}, {"node_id": "n2", "subject": "intersection", "predicate": "shares", "obj": "member"}], "edges": [{"source": "n1", "target": "n2", "relation": "disjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["subset", "or", "intersection"], "word_order": ["subset", "or", "intersection"]}}
{"id": "EMO-PUB_set_C04_03", "construction": "C04", "construction_name": "disjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "intersection", "predicate": "shares", "obj": "member"}, {"node_id": "n2", "subject": "union", "predicate": "joins", "obj": "element"}], "edges": [{"source": "n1", "target": "n2", "relation": "disjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["intersection", "or", "union"], "word_order": ["intersection", "or", "union"]}}
{"id": "EMO-PUB_set_C05_01", "construction": "C05", "construction_name": "complement", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "subset", "predicate": "fits", "obj": "superset"}, {"node_id": "n2", "subject": "union", "predicate": "joins", "obj": "element"}], "edges": [{"source": "n1", "target": "n2", "relation": "complement"}]}, "constraints": {"max_words": 14, "must_contain": ["subset", "that", "union"], "word_order": ["subset", "that", "union"]}}
{"id": "EMO-PUB_set_C05_02", "construction": "C05", "construction_name": "complement", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "intersection", "predicate": "shares", "obj": "member"}, {"node_id": "n2", "subject": "subset", "predicate": "fits", "obj": "superset"}], "edges": [{"source": "n1", "target": "n2", "relation": "complement"}]}, "constraints": {"max_words": 14, "must_contain": ["intersection", "that", "subset"], "word_order": ["intersection", "that", "subset"]}}
{"id": "EMO-PUB_set_C05_03", "construction": "C05", "construction_name": "complement", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "union", "predicate": "joins", "obj": "element"}, {"node_id": "n2", "subject": "intersection", "predicate": "shares", "obj": "member"}], "edges": [{"source": "n1", "target": "n2", "relation": "complement"}]}, "constraints": {"max_words": 14, "must_contain": ["union", "that", "intersection"], "word_order": ["union", "that", "intersection"]}}
{"id": "EMO-PUB_set_C06_01", "construction": "C06", "construction_name": "relative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "union", "predicate": "joins", "obj": "element"}, {"node_id": "n2", "subject": "union", "predicate": "fits", "obj": "superset"}], "edges": [{"source": "n1", "target": "n2", "relation": "relative"}]}, "constraints": {"max_words": 14, "must_contain": ["union", "which", "superset", "element"]}, "accept_surfaces": ["union, which fits superset, joins element", "union which fits superset joins element"]}
{"id": "EMO-PUB_set_C06_02", "construction": "C06", "construction_name": "relative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "subset", "predicate": "fits", "obj": "superset"}, {"node_id": "n2", "subject": "subset", "predicate": "shares", "obj": "member"}], "edges": [{"source": "n1", "target": "n2", "relation": "relative"}]}, "constraints": {"max_words": 14, "must_contain": ["subset", "which", "member", "superset"]}, "accept_surfaces": ["subset, which shares member, fits superset", "subset which shares member fits superset"]}
{"id": "EMO-PUB_set_C06_03", "construction": "C06", "construction_name": "relative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "intersection", "predicate": "shares", "obj": "member"}, {"node_id": "n2", "subject": "intersection", "predicate": "joins", "obj": "element"}], "edges": [{"source": "n1", "target": "n2", "relation": "relative"}]}, "constraints": {"max_words": 14, "must_contain": ["intersection", "which", "element", "member"]}, "accept_surfaces": ["intersection, which joins element, shares member", "intersection which joins element shares member"]}
{"id": "EMO-PUB_set_C07_01", "construction": "C07", "construction_name": "universal", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "union", "predicate": "joins", "obj": "element", "quantifier": "all"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["all", "unions", "element"], "word_order": ["all", "unions", "element"]}}
{"id": "EMO-PUB_set_C07_02", "construction": "C07", "construction_name": "universal", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "subset", "predicate": "fits", "obj": "superset", "quantifier": "all"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["all", "subsets", "superset"], "word_order": ["all", "subsets", "superset"]}}
{"id": "EMO-PUB_set_C07_03", "construction": "C07", "construction_name": "universal", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "intersection", "predicate": "shares", "obj": "member", "quantifier": "all"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["all", "intersections", "member"], "word_order": ["all", "intersections", "member"]}}
{"id": "EMO-PUB_set_C08_01", "construction": "C08", "construction_name": "existential", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "union", "predicate": "joins", "obj": "element", "quantifier": "some"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["some", "unions", "element"], "word_order": ["some", "unions", "element"]}}
{"id": "EMO-PUB_set_C08_02", "construction": "C08", "construction_name": "existential", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "subset", "predicate": "fits", "obj": "superset", "quantifier": "some"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["some", "subsets", "superset"], "word_order": ["some", "subsets", "superset"]}}
{"id": "EMO-PUB_set_C08_03", "construction": "C08", "construction_name": "existential", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "intersection", "predicate": "shares", "obj": "member", "quantifier": "some"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["some", "intersections", "member"], "word_order": ["some", "intersections", "member"]}}
{"id": "EMO-PUB_set_C09_01", "construction": "C09", "construction_name": "past_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "union", "predicate": "joins", "obj": "element", "tense": "past"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["union", "element"], "word_order": ["union", "element"]}}
{"id": "EMO-PUB_set_C09_02", "construction": "C09", "construction_name": "past_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "subset", "predicate": "fits", "obj": "superset", "tense": "past"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["subset", "superset"], "word_order": ["subset", "superset"]}}
{"id": "EMO-PUB_set_C09_03", "construction": "C09", "construction_name": "past_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "intersection", "predicate": "shares", "obj": "member", "tense": "past"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["intersection", "member"], "word_order": ["intersection", "member"]}}
{"id": "EMO-PUB_set_C10_01", "construction": "C10", "construction_name": "present_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "union", "predicate": "joins", "obj": "element", "tense": "present"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["union", "joins", "element"], "word_order": ["union", "joins", "element"]}, "accept_surfaces": ["union joins element"]}
{"id": "EMO-PUB_set_C10_02", "construction": "C10", "construction_name": "present_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "subset", "predicate": "fits", "obj": "superset", "tense": "present"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["subset", "fits", "superset"], "word_order": ["subset", "fits", "superset"]}, "accept_surfaces": ["subset fits superset"]}
{"id": "EMO-PUB_set_C10_03", "construction": "C10", "construction_name": "present_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "intersection", "predicate": "shares", "obj": "member", "tense": "present"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["intersection", "shares", "member"], "word_order": ["intersection", "shares", "member"]}, "accept_surfaces": ["intersection shares member"]}
{"id": "EMO-PUB_set_C11_01", "construction": "C11", "construction_name": "future_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "union", "predicate": "joins", "obj": "element", "tense": "future"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["union", "will", "element"], "word_order": ["union", "will", "element"]}}
{"id": "EMO-PUB_set_C11_02", "construction": "C11", "construction_name": "future_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "subset", "predicate": "fits", "obj": "superset", "tense": "future"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["subset", "will", "superset"], "word_order": ["subset", "will", "superset"]}}
{"id": "EMO-PUB_set_C11_03", "construction": "C11", "construction_name": "future_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "intersection", "predicate": "shares", "obj": "member", "tense": "future"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["intersection", "will", "member"], "word_order": ["intersection", "will", "member"]}}
{"id": "EMO-PUB_set_C12_01", "construction": "C12", "construction_name": "perfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "union", "predicate": "joins", "obj": "element", "aspect": "perfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["union", "has", "element"], "word_order": ["union", "has", "element"]}}
{"id": "EMO-PUB_set_C12_02", "construction": "C12", "construction_name": "perfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "subset", "predicate": "fits", "obj": "superset", "aspect": "perfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["subset", "has", "superset"], "word_order": ["subset", "has", "superset"]}}
{"id": "EMO-PUB_set_C12_03", "construction": "C12", "construction_name": "perfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "intersection", "predicate": "shares", "obj": "member", "aspect": "perfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["intersection", "has", "member"], "word_order": ["intersection", "has", "member"]}}
{"id": "EMO-PUB_set_C13_01", "construction": "C13", "construction_name": "imperfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "union", "predicate": "joins", "obj": "element", "aspect": "imperfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["union", "is", "element"], "word_order": ["union", "is", "element"]}}
{"id": "EMO-PUB_set_C13_02", "construction": "C13", "construction_name": "imperfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "subset", "predicate": "fits", "obj": "superset", "aspect": "imperfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["subset", "is", "superset"], "word_order": ["subset", "is", "superset"]}}
{"id": "EMO-PUB_set_C13_03", "construction": "C13", "construction_name": "imperfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "intersection", "predicate": "shares", "obj": "member", "aspect": "imperfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["intersection", "is", "member"], "word_order": ["intersection", "is", "member"]}}
{"id": "EMO-PUB_geometry_C01_01", "construction": "C01", "construction_name": "simple_declarative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "triangle", "predicate": "encloses", "obj": "angle"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["triangle", "encloses", "angle"], "word_order": ["triangle", "encloses", "angle"]}, "accept_surfaces": ["triangle encloses angle"]}
{"id": "EMO-PUB_geometry_C01_02", "construction": "C01", "construction_name": "simple_declarative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "circle", "predicate": "bounds", "obj": "region"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["circle", "bounds", "region"], "word_order": ["circle", "bounds", "region"]}, "accept_surfaces": ["circle bounds region"]}
{"id": "EMO-PUB_geometry_C01_03", "construction": "C01", "construction_name": "simple_declarative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "polygon", "predicate": "contains", "obj": "vertex"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["polygon", "contains", "vertex"], "word_order": ["polygon", "contains", "vertex"]}, "accept_surfaces": ["polygon contains vertex"]}
{"id": "EMO-PUB_geometry_C02_01", "construction": "C02", "construction_name": "negation", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "triangle", "predicate": "encloses", "obj": "angle", "negated": true}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["triangle", "not", "angle"], "word_order": ["triangle", "not", "angle"]}}
{"id": "EMO-PUB_geometry_C02_02", "construction": "C02", "construction_name": "negation", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "circle", "predicate": "bounds", "obj": "region", "negated": true}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["circle", "not", "region"], "word_order": ["circle", "not", "region"]}}
{"id": "EMO-PUB_geometry_C02_03", "construction": "C02", "construction_name": "negation", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "polygon", "predicate": "contains", "obj": "vertex", "negated": true}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["polygon", "not", "vertex"], "word_order": ["polygon", "not", "vertex"]}}
{"id": "EMO-PUB_geometry_C03_01", "construction": "C03", "construction_name": "conjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "triangle", "predicate": "encloses", "obj": "angle"}, {"node_id": "n2", "subject": "circle", "predicate": "bounds", "obj": "region"}], "edges": [{"source": "n1", "target": "n2", "relation": "conjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["triangle", "and", "circle"], "word_order": ["triangle", "and", "circle"]}}
{"id": "EMO-PUB_geometry_C03_02", "construction": "C03", "construction_name": "conjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "circle", "predicate": "bounds", "obj": "region"}, {"node_id": "n2", "subject": "polygon", "predicate": "contains", "obj": "vertex"}], "edges": [{"source": "n1", "target": "n2", "relation": "conjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["circle", "and", "polygon"], "word_order": ["circle", "and", "polygon"]}}
{"id": "EMO-PUB_geometry_C03_03", "construction": "C03", "construction_name": "conjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "polygon", "predicate": "contains", "obj": "vertex"}, {"node_id": "n2", "subject": "triangle", "predicate": "encloses", "obj": "angle"}], "edges": [{"source": "n1", "target": "n2", "relation": "conjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["polygon", "and", "triangle"], "word_order": ["polygon", "and", "triangle"]}}
{"id": "EMO-PUB_geometry_C04_01", "construction": "C04", "construction_name": "disjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "triangle", "predicate": "encloses", "obj": "angle"}, {"node_id": "n2", "subject": "circle", "predicate": "bounds", "obj": "region"}], "edges": [{"source": "n1", "target": "n2", "relation": "disjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["triangle", "or", "circle"], "word_order": ["triangle", "or", "circle"]}}
{"id": "EMO-PUB_geometry_C04_02", "construction": "C04", "construction_name": "disjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "circle", "predicate": "bounds", "obj": "region"}, {"node_id": "n2", "subject": "polygon", "predicate": "contains", "obj": "vertex"}], "edges": [{"source": "n1", "target": "n2", "relation": "disjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["circle", "or", "polygon"], "word_order": ["circle", "or", "polygon"]}}
{"id": "EMO-PUB_geometry_C04_03", "construction": "C04", "construction_name": "disjunction", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "polygon", "predicate": "contains", "obj": "vertex"}, {"node_id": "n2", "subject": "triangle", "predicate": "encloses", "obj": "angle"}], "edges": [{"source": "n1", "target": "n2", "relation": "disjunction"}]}, "constraints": {"max_words": 14, "must_contain": ["polygon", "or", "triangle"], "word_order": ["polygon", "or", "triangle"]}}
{"id": "EMO-PUB_geometry_C05_01", "construction": "C05", "construction_name": "complement", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "circle", "predicate": "bounds", "obj": "region"}, {"node_id": "n2", "subject": "triangle", "predicate": "encloses", "obj": "angle"}], "edges": [{"source": "n1", "target": "n2", "relation": "complement"}]}, "constraints": {"max_words": 14, "must_contain": ["circle", "that", "triangle"], "word_order": ["circle", "that", "triangle"]}}
{"id": "EMO-PUB_geometry_C05_02", "construction": "C05", "construction_name": "complement", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "polygon", "predicate": "contains", "obj": "vertex"}, {"node_id": "n2", "subject": "circle", "predicate": "bounds", "obj": "region"}], "edges": [{"source": "n1", "target": "n2", "relation": "complement"}]}, "constraints": {"max_words": 14, "must_contain": ["polygon", "that", "circle"], "word_order": ["polygon", "that", "circle"]}}
{"id": "EMO-PUB_geometry_C05_03", "construction": "C05", "construction_name": "complement", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "triangle", "predicate": "encloses", "obj": "angle"}, {"node_id": "n2", "subject": "polygon", "predicate": "contains", "obj": "vertex"}], "edges": [{"source": "n1", "target": "n2", "relation": "complement"}]}, "constraints": {"max_words": 14, "must_contain": ["triangle", "that", "polygon"], "word_order": ["triangle", "that", "polygon"]}}
{"id": "EMO-PUB_geometry_C06_01", "construction": "C06", "construction_name": "relative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "triangle", "predicate": "encloses", "obj": "angle"}, {"node_id": "n2", "subject": "triangle", "predicate": "bounds", "obj": "region"}], "edges": [{"source": "n1", "target": "n2", "relation": "relative"}]}, "constraints": {"max_words": 14, "must_contain": ["triangle", "which", "region", "angle"]}, "accept_surfaces": ["triangle, which bounds region, encloses angle", "triangle which bounds region encloses angle"]}
{"id": "EMO-PUB_geometry_C06_02", "construction": "C06", "construction_name": "relative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "circle", "predicate": "bounds", "obj": "region"}, {"node_id": "n2", "subject": "circle", "predicate": "contains", "obj": "vertex"}], "edges": [{"source": "n1", "target": "n2", "relation": "relative"}]}, "constraints": {"max_words": 14, "must_contain": ["circle", "which", "vertex", "region"]}, "accept_surfaces": ["circle, which contains vertex, bounds region", "circle which contains vertex bounds region"]}
{"id": "EMO-PUB_geometry_C06_03", "construction": "C06", "construction_name": "relative", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "polygon", "predicate": "contains", "obj": "vertex"}, {"node_id": "n2", "subject": "polygon", "predicate": "encloses", "obj": "angle"}], "edges": [{"source": "n1", "target": "n2", "relation": "relative"}]}, "constraints": {"max_words": 14, "must_contain": ["polygon", "which", "angle", "vertex"]}, "accept_surfaces": ["polygon, which encloses angle, contains vertex", "polygon which encloses angle contains vertex"]}
{"id": "EMO-PUB_geometry_C07_01", "construction": "C07", "construction_name": "universal", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "triangle", "predicate": "encloses", "obj": "angle", "quantifier": "all"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["all", "triangles", "angle"], "word_order": ["all", "triangles", "angle"]}}
{"id": "EMO-PUB_geometry_C07_02", "construction": "C07", "construction_name": "universal", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "circle", "predicate": "bounds", "obj": "region", "quantifier": "all"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["all", "circles", "region"], "word_order": ["all", "circles", "region"]}}
{"id": "EMO-PUB_geometry_C07_03", "construction": "C07", "construction_name": "universal", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "polygon", "predicate": "contains", "obj": "vertex", "quantifier": "all"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["all", "polygons", "vertex"], "word_order": ["all", "polygons", "vertex"]}}
{"id": "EMO-PUB_geometry_C08_01", "construction": "C08", "construction_name": "existential", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "triangle", "predicate": "encloses", "obj": "angle", "quantifier": "some"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["some", "triangles", "angle"], "word_order": ["some", "triangles", "angle"]}}
{"id": "EMO-PUB_geometry_C08_02", "construction": "C08", "construction_name": "existential", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "circle", "predicate": "bounds", "obj": "region", "quantifier": "some"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["some", "circles", "region"], "word_order": ["some", "circles", "region"]}}
{"id": "EMO-PUB_geometry_C08_03", "construction": "C08", "construction_name": "existential", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "polygon", "predicate": "contains", "obj": "vertex", "quantifier": "some"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["some", "polygons", "vertex"], "word_order": ["some", "polygons", "vertex"]}}
{"id": "EMO-PUB_geometry_C09_01", "construction": "C09", "construction_name": "past_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "triangle", "predicate": "encloses", "obj": "angle", "tense": "past"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["triangle", "angle"], "word_order": ["triangle", "angle"]}}
{"id": "EMO-PUB_geometry_C09_02", "construction": "C09", "construction_name": "past_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "circle", "predicate": "bounds", "obj": "region", "tense": "past"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["circle", "region"], "word_order": ["circle", "region"]}}
{"id": "EMO-PUB_geometry_C09_03", "construction": "C09", "construction_name": "past_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "polygon", "predicate": "contains", "obj": "vertex", "tense": "past"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["polygon", "vertex"], "word_order": ["polygon", "vertex"]}}
{"id": "EMO-PUB_geometry_C10_01", "construction": "C10", "construction_name": "present_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "triangle", "predicate": "encloses", "obj": "angle", "tense": "present"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["triangle", "encloses", "angle"], "word_order": ["triangle", "encloses", "angle"]}, "accept_surfaces": ["triangle encloses angle"]}
{"id": "EMO-PUB_geometry_C10_02", "construction": "C10", "construction_name": "present_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "circle", "predicate": "bounds", "obj": "region", "tense": "present"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["circle", "bounds", "region"], "word_order": ["circle", "bounds", "region"]}, "accept_surfaces": ["circle bounds region"]}
{"id": "EMO-PUB_geometry_C10_03", "construction": "C10", "construction_name": "present_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "polygon", "predicate": "contains", "obj": "vertex", "tense": "present"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["polygon", "contains", "vertex"], "word_order": ["polygon", "contains", "vertex"]}, "accept_surfaces": ["polygon contains vertex"]}
{"id": "EMO-PUB_geometry_C11_01", "construction": "C11", "construction_name": "future_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "triangle", "predicate": "encloses", "obj": "angle", "tense": "future"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["triangle", "will", "angle"], "word_order": ["triangle", "will", "angle"]}}
{"id": "EMO-PUB_geometry_C11_02", "construction": "C11", "construction_name": "future_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "circle", "predicate": "bounds", "obj": "region", "tense": "future"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["circle", "will", "region"], "word_order": ["circle", "will", "region"]}}
{"id": "EMO-PUB_geometry_C11_03", "construction": "C11", "construction_name": "future_tense", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "polygon", "predicate": "contains", "obj": "vertex", "tense": "future"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["polygon", "will", "vertex"], "word_order": ["polygon", "will", "vertex"]}}
{"id": "EMO-PUB_geometry_C12_01", "construction": "C12", "construction_name": "perfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "triangle", "predicate": "encloses", "obj": "angle", "aspect": "perfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["triangle", "has", "angle"], "word_order": ["triangle", "has", "angle"]}}
{"id": "EMO-PUB_geometry_C12_02", "construction": "C12", "construction_name": "perfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "circle", "predicate": "bounds", "obj": "region", "aspect": "perfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["circle", "has", "region"], "word_order": ["circle", "has", "region"]}}
{"id": "EMO-PUB_geometry_C12_03", "construction": "C12", "construction_name": "perfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "polygon", "predicate": "contains", "obj": "vertex", "aspect": "perfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["polygon", "has", "vertex"], "word_order": ["polygon", "has", "vertex"]}}
{"id": "EMO-PUB_geometry_C13_01", "construction": "C13", "construction_name": "imperfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "triangle", "predicate": "encloses", "obj": "angle", "aspect": "imperfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["triangle", "is", "angle"], "word_order": ["triangle", "is", "angle"]}}
{"id": "EMO-PUB_geometry_C13_02", "construction": "C13", "construction_name": "imperfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "circle", "predicate": "bounds", "obj": "region", "aspect": "imperfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["circle", "is", "region"], "word_order": ["circle", "is", "region"]}}
{"id": "EMO-PUB_geometry_C13_03", "construction": "C13", "construction_name": "imperfective", "proposition_graph": {"nodes": [{"node_id": "n1", "subject": "polygon", "predicate": "contains", "obj": "vertex", "aspect": "imperfective"}], "edges": []}, "constraints": {"max_words": 12, "must_contain": ["polygon", "is", "vertex"], "word_order": ["polygon", "is", "vertex"]}}
