{ "id": "FM__id_0", "name": "FM__id_0", "features": { "_id_0": { "name": "_id_0", "optional": true, "type": "FEATURE", "note": "" }, "_id_0_39": { "name": "_id_0_39", "optional": true, "type": "FEATURE", "note": "" }, "_id_0_39_40": { "name": "_id_0_39_40", "optional": false, "type": "FEATURE", "note": "" }, "_id_0_39_41": { "name": "_id_0_39_41", "optional": true, "type": "FEATURE", "note": "" }, "_id_0_41": { "name": "_id_0_41", "optional": false, "type": "FEATURE", "note": "" }, "_id_0_41_42": { "name": "_id_0_41_42", "optional": true, "type": "FEATURE", "note": "" }, "_id_0_41_43": { "name": "_id_0_41_43", "optional": false, "type": "FEATURE", "note": "" }, "_id_0_41_59": { "name": "_id_0_41_59", "optional": true, "type": "FEATURE", "note": "" }, "_id_0_42": { "name": "_id_0_42", "optional": true, "type": "FEATURE", "note": "" }, "_id_0_42_43": { "name": "_id_0_42_43", "optional": false, "type": "FEATURE", "note": "" }, "_id_0_42_43_45": { "name": "_id_0_42_43_45", "optional": false, "type": "FEATURE", "note": "" }, "_id_0_44": { "name": "_id_0_44", "optional": true, "type": "FEATURE", "note": "" }, "_id_0_44_45": { "name": "_id_0_44_45", "optional": true, "type": "FEATURE", "note": "" }, "_id_0_44_45_46": { "name": "_id_0_44_45_46", "optional": true, "type": "FEATURE", "note": "" }, "_id_0_44_45_47": { "name": "_id_0_44_45_47", "optional": true, "type": "FEATURE", "note": "" }, "_id_0_44_45_49": { "name": "_id_0_44_45_49", "optional": false, "type": "FEATURE", "note": "" }, "_id_0_44_51": { "name": "_id_0_44_51", "optional": true, "type": "FEATURE", "note": "" }, "_id_0_44_51_52": { "name": "_id_0_44_51_52", "optional": false, "type": "FEATURE", "note": "" }, "_id_0_44_51_53": { "name": "_id_0_44_51_53", "optional": true, "type": "FEATURE", "note": "" }, "_id_0_46": { "name": "_id_0_46", "optional": true, "type": "FEATURE", "note": "" }, "_id_0_46_47": { "name": "_id_0_46_47", "optional": false, "type": "FEATURE", "note": "" }, "_id_0_46_47_48": { "name": "_id_0_46_47_48", "optional": false, "type": "FEATURE", "note": "" }, "_id_0_50": { "name": "_id_0_50", "optional": false, "type": "FEATURE", "note": "" }, "_id_0_50_51": { "name": "_id_0_50_51", "optional": true, "type": "FEATURE", "note": "" }, "_id_0_50_52": { "name": "_id_0_50_52", "optional": false, "type": "FEATURE", "note": "" }, "_id_0_50_58": { "name": "_id_0_50_58", "optional": true, "type": "FEATURE", "note": "" }, "_id_0_54": { "name": "_id_0_54", "optional": true, "type": "FEATURE", "note": "" }, "_id_0_54_55": { "name": "_id_0_54_55", "optional": false, "type": "FEATURE", "note": "" }, "_id_0_54_56": { "name": "_id_0_54_56", "optional": true, "type": "FEATURE", "note": "" }, "_id_1": { "name": "_id_1", "optional": false, "type": "FEATURE", "note": "" }, "_id_10": { "name": "_id_10", "optional": true, "type": "FEATURE", "note": "" }, "_id_11": { "name": "_id_11", "optional": false, "type": "FEATURE", "note": "" }, "_id_12": { "name": "_id_12", "optional": true, "type": "FEATURE", "note": "" }, "_id_13": { "name": "_id_13", "optional": true, "type": "FEATURE", "note": "" }, "_id_14": { "name": "_id_14", "optional": false, "type": "FEATURE", "note": "" }, "_id_19": { "name": "_id_19", "optional": false, "type": "FEATURE", "note": "" }, "_id_19_57": { "name": "_id_19_57", "optional": true, "type": "FEATURE", "note": "" }, "_id_1_49": { "name": "_id_1_49", "optional": true, "type": "FEATURE", "note": "" }, "_id_1_49_50": { "name": "_id_1_49_50", "optional": false, "type": "FEATURE", "note": "" }, "_id_1_49_51": { "name": "_id_1_49_51", "optional": true, "type": "FEATURE", "note": "" }, "_id_20": { "name": "_id_20", "optional": true, "type": "FEATURE", "note": "" }, "_id_22": { "name": "_id_22", "optional": true, "type": "FEATURE", "note": "" }, "_id_23": { "name": "_id_23", "optional": false, "type": "FEATURE", "note": "" }, "_id_24": { "name": "_id_24", "optional": false, "type": "FEATURE", "note": "" }, "_id_25": { "name": "_id_25", "optional": true, "type": "FEATURE", "note": "" }, "_id_26": { "name": "_id_26", "optional": true, "type": "FEATURE", "note": "" }, "_id_27": { "name": "_id_27", "optional": false, "type": "FEATURE", "note": "" }, "_id_27_39": { "name": "_id_27_39", "optional": false, "type": "FEATURE", "note": "" }, "_id_28": { "name": "_id_28", "optional": true, "type": "FEATURE", "note": "" }, "_id_30": { "name": "_id_30", "optional": true, "type": "FEATURE", "note": "" }, "_id_31": { "name": "_id_31", "optional": true, "type": "FEATURE", "note": "" }, "_id_32": { "name": "_id_32", "optional": true, "type": "FEATURE", "note": "" }, "_id_33": { "name": "_id_33", "optional": true, "type": "FEATURE", "note": "" }, "_id_34": { "name": "_id_34", "optional": true, "type": "FEATURE", "note": "" }, "_id_5": { "name": "_id_5", "optional": false, "type": "FEATURE", "note": "" }, "_id_6": { "name": "_id_6", "optional": false, "type": "FEATURE", "note": "" }, "_id_7": { "name": "_id_7", "optional": true, "type": "FEATURE", "note": "" }, "_id_8": { "name": "_id_8", "optional": false, "type": "FEATURE", "note": "" }, "_id_9": { "name": "_id_9", "optional": false, "type": "FEATURE", "note": "" } }, "tree": { "id": "_id_0", "children": [ { "id": "_id_0_39", "children": [ { "id": "_id_0_39_40" }, { "id": "_id_0_39_41" } ] }, { "id": "_id_0_41", "children": [ { "id": "_id_0_41_42" }, { "id": "_id_0_41_43" }, { "id": "_id_0_41_59" } ] }, { "id": "_id_0_42", "children": [ { "id": "_id_0_42_43", "children": [ { "id": "_id_0_42_43_45" } ] } ] }, { "id": "_id_0_44", "children": [ { "id": "_id_0_44_45", "children": [ { "id": "_id_0_44_45_46" }, { "id": "_id_0_44_45_47" }, { "id": "_id_0_44_45_49" } ] }, { "id": "_id_0_44_51", "children": [ { "id": "_id_0_44_51_52" }, { "id": "_id_0_44_51_53" } ] } ] }, { "id": "_id_0_46", "children": [ { "id": "_id_0_46_47", "children": [ { "id": "_id_0_46_47_48" } ] } ] }, { "id": "_id_0_50", "children": [ { "id": "_id_0_50_51" }, { "id": "_id_0_50_52" }, { "id": "_id_0_50_58" } ] }, { "id": "_id_0_54", "children": [ { "id": "_id_0_54_55" }, { "id": "_id_0_54_56" } ] }, { "id": "_id_1", "children": [ { "id": "_id_1_49", "children": [ { "id": "_id_1_49_50" }, { "id": "_id_1_49_51" } ] }, { "id": "_id_5", "children": [ { "id": "_id_6" }, { "id": "_id_7" } ] }, { "id": "_id_8", "children": [ { "id": "_id_10" }, { "id": "_id_9" } ] } ] }, { "id": "_id_11", "children": [ { "id": "_id_12" }, { "id": "_id_13" }, { "id": "_id_14" } ] }, { "id": "_id_19", "children": [ { "id": "_id_19_57" }, { "id": "_id_20" }, { "id": "_id_22" } ] }, { "id": "_id_23", "children": [ { "id": "_id_24", "children": [ { "id": "_id_25" }, { "id": "_id_26" } ] }, { "id": "_id_27", "children": [ { "id": "_id_27_39" }, { "id": "_id_28" }, { "id": "_id_30" } ] } ] }, { "id": "_id_31", "children": [ { "id": "_id_32" }, { "id": "_id_33" }, { "id": "_id_34" } ] } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_id_0_44_45" ] }, { "type": "FeatureTerm", "operands": [ "_id_0_46_47" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_id_0_44_45" ] }, { "type": "FeatureTerm", "operands": [ "_id_0_42_43" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_id_27" ] }, { "type": "FeatureTerm", "operands": [ "_id_0_44_45" ] } ] } } }