{ "id": "FM__id_0", "name": "FM__id_0", "features": { "_id_0": { "name": "_id_0", "optional": true, "type": "FEATURE", "note": "" }, "_id_1": { "name": "_id_1", "optional": false, "type": "FEATURE", "note": "" }, "_id_10": { "name": "_id_10", "optional": false, "type": "FEATURE", "note": "" }, "_id_11": { "name": "_id_11", "optional": false, "type": "FEATURE", "note": "" }, "_id_12": { "name": "_id_12", "optional": false, "type": "FEATURE", "note": "" }, "_id_13": { "name": "_id_13", "optional": true, "type": "FEATURE", "note": "" }, "_id_14": { "name": "_id_14", "optional": false, "type": "FEATURE", "note": "" }, "_id_15": { "name": "_id_15", "optional": false, "type": "FEATURE", "note": "" }, "_id_16": { "name": "_id_16", "optional": false, "type": "FEATURE", "note": "" }, "_id_17": { "name": "_id_17", "optional": false, "type": "FEATURE", "note": "" }, "_id_18": { "name": "_id_18", "optional": false, "type": "XOR", "note": "" }, "_id_2": { "name": "_id_2", "optional": false, "type": "FEATURE", "note": "" }, "_id_20": { "name": "_id_20", "optional": true, "type": "FEATURE", "note": "" }, "_id_21": { "name": "_id_21", "optional": true, "type": "FEATURE", "note": "" }, "_id_22": { "name": "_id_22", "optional": false, "type": "FEATURE", "note": "" }, "_id_23": { "name": "_id_23", "optional": true, "type": "FEATURE", "note": "" }, "_id_24": { "name": "_id_24", "optional": false, "type": "FEATURE", "note": "" }, "_id_25": { "name": "_id_25", "optional": false, "type": "FEATURE", "note": "" }, "_id_26": { "name": "_id_26", "optional": false, "type": "XOR", "note": "" }, "_id_28": { "name": "_id_28", "optional": true, "type": "FEATURE", "note": "" }, "_id_29": { "name": "_id_29", "optional": true, "type": "FEATURE", "note": "" }, "_id_3": { "name": "_id_3", "optional": false, "type": "FEATURE", "note": "" }, "_id_30": { "name": "_id_30", "optional": false, "type": "FEATURE", "note": "" }, "_id_31": { "name": "_id_31", "optional": false, "type": "FEATURE", "note": "" }, "_id_32": { "name": "_id_32", "optional": false, "type": "FEATURE", "note": "" }, "_id_33": { "name": "_id_33", "optional": false, "type": "XOR", "note": "" }, "_id_35": { "name": "_id_35", "optional": true, "type": "FEATURE", "note": "" }, "_id_36": { "name": "_id_36", "optional": true, "type": "FEATURE", "note": "" }, "_id_37": { "name": "_id_37", "optional": false, "type": "FEATURE", "note": "" }, "_id_38": { "name": "_id_38", "optional": true, "type": "FEATURE", "note": "" }, "_id_39": { "name": "_id_39", "optional": false, "type": "XOR", "note": "" }, "_id_4": { "name": "_id_4", "optional": false, "type": "FEATURE", "note": "" }, "_id_41": { "name": "_id_41", "optional": true, "type": "FEATURE", "note": "" }, "_id_42": { "name": "_id_42", "optional": true, "type": "FEATURE", "note": "" }, "_id_43": { "name": "_id_43", "optional": false, "type": "FEATURE", "note": "" }, "_id_44": { "name": "_id_44", "optional": false, "type": "FEATURE", "note": "" }, "_id_45": { "name": "_id_45", "optional": false, "type": "FEATURE", "note": "" }, "_id_46": { "name": "_id_46", "optional": false, "type": "FEATURE", "note": "" }, "_id_47": { "name": "_id_47", "optional": false, "type": "FEATURE", "note": "" }, "_id_48": { "name": "_id_48", "optional": false, "type": "FEATURE", "note": "" }, "_id_49": { "name": "_id_49", "optional": false, "type": "FEATURE", "note": "" }, "_id_5": { "name": "_id_5", "optional": false, "type": "FEATURE", "note": "" }, "_id_50": { "name": "_id_50", "optional": false, "type": "FEATURE", "note": "" }, "_id_51": { "name": "_id_51", "optional": false, "type": "FEATURE", "note": "" }, "_id_52": { "name": "_id_52", "optional": false, "type": "FEATURE", "note": "" }, "_id_53": { "name": "_id_53", "optional": true, "type": "FEATURE", "note": "" }, "_id_54": { "name": "_id_54", "optional": false, "type": "FEATURE", "note": "" }, "_id_55": { "name": "_id_55", "optional": false, "type": "FEATURE", "note": "" }, "_id_56": { "name": "_id_56", "optional": false, "type": "FEATURE", "note": "" }, "_id_57": { "name": "_id_57", "optional": false, "type": "FEATURE", "note": "" }, "_id_58": { "name": "_id_58", "optional": false, "type": "FEATURE", "note": "" }, "_id_59": { "name": "_id_59", "optional": false, "type": "FEATURE", "note": "" }, "_id_6": { "name": "_id_6", "optional": false, "type": "XOR", "note": "" }, "_id_60": { "name": "_id_60", "optional": false, "type": "XOR", "note": "" }, "_id_62": { "name": "_id_62", "optional": true, "type": "FEATURE", "note": "" }, "_id_63": { "name": "_id_63", "optional": true, "type": "FEATURE", "note": "" }, "_id_64": { "name": "_id_64", "optional": false, "type": "FEATURE", "note": "" }, "_id_8": { "name": "_id_8", "optional": true, "type": "FEATURE", "note": "" }, "_id_9": { "name": "_id_9", "optional": true, "type": "FEATURE", "note": "" }, "communication": { "name": "communication", "optional": true, "type": "FEATURE", "note": "" }, "flood": { "name": "flood", "optional": true, "type": "FEATURE", "note": "" }, "message": { "name": "message", "optional": true, "type": "FEATURE", "note": "" }, "moisture_sensor": { "name": "moisture_sensor", "optional": true, "type": "FEATURE", "note": "" }, "pumping": { "name": "pumping", "optional": true, "type": "FEATURE", "note": "" }, "sprinkler": { "name": "sprinkler", "optional": false, "type": "FEATURE", "note": "" }, "sump_pump": { "name": "sump_pump", "optional": true, "type": "FEATURE", "note": "" }, "water": { "name": "water", "optional": false, "type": "FEATURE", "note": "" } }, "tree": { "id": "_id_0", "children": [ { "id": "_id_1", "children": [ { "id": "_id_15", "children": [ { "id": "_id_16", "children": [ { "id": "_id_17", "children": [ { "id": "_id_18", "children": [ { "id": "_id_20" }, { "id": "_id_21" } ] } ] } ] }, { "id": "_id_22", "children": [ { "id": "_id_23" }, { "id": "water" } ] } ] }, { "id": "_id_2" }, { "id": "_id_3", "children": [ { "id": "_id_10", "children": [ { "id": "_id_11" }, { "id": "_id_12" }, { "id": "message", "children": [ { "id": "_id_13" }, { "id": "_id_14" } ] } ] }, { "id": "_id_4", "children": [ { "id": "_id_5", "children": [ { "id": "_id_6", "children": [ { "id": "_id_8" }, { "id": "_id_9" } ] } ] } ] } ] }, { "id": "flood", "children": [ { "id": "_id_24", "children": [ { "id": "_id_25", "children": [ { "id": "_id_26", "children": [ { "id": "_id_28" }, { "id": "_id_29" } ] } ] } ] }, { "id": "_id_30", "children": [ { "id": "_id_31" }, { "id": "pumping" } ] } ] } ] }, { "id": "_id_32", "children": [ { "id": "_id_33", "children": [ { "id": "_id_35" }, { "id": "_id_36" } ] } ] }, { "id": "_id_43", "children": [ { "id": "_id_44" }, { "id": "_id_45" }, { "id": "moisture_sensor" } ] }, { "id": "_id_46", "children": [ { "id": "sprinkler" }, { "id": "sump_pump" } ] }, { "id": "_id_47", "children": [ { "id": "_id_48" }, { "id": "_id_49", "children": [ { "id": "_id_50" }, { "id": "_id_51" } ] }, { "id": "_id_52", "children": [ { "id": "_id_53" }, { "id": "_id_54" } ] }, { "id": "_id_55" } ] }, { "id": "_id_56", "children": [ { "id": "_id_57" }, { "id": "_id_58" }, { "id": "_id_59", "children": [ { "id": "_id_60", "children": [ { "id": "_id_62" }, { "id": "_id_63" } ] } ] }, { "id": "_id_64" } ] }, { "id": "communication", "children": [ { "id": "_id_37" }, { "id": "_id_38", "children": [ { "id": "_id_39", "children": [ { "id": "_id_41" }, { "id": "_id_42" } ] } ] } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "water" ] }, { "type": "FeatureTerm", "operands": [ "sprinkler" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "pumping" ] }, { "type": "FeatureTerm", "operands": [ "sump_pump" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "message" ] }, { "type": "FeatureTerm", "operands": [ "communication" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "flood" ] }, { "type": "FeatureTerm", "operands": [ "moisture_sensor" ] } ] } } }