{ "id": "FM__r0", "name": "FM__r0", "features": { "_r0": { "name": "_r0", "optional": true, "type": "FEATURE", "note": "" }, "_r1": { "name": "_r1", "optional": true, "type": "FEATURE", "note": "" }, "_r10": { "name": "_r10", "optional": true, "type": "FEATURE", "note": "" }, "_r11": { "name": "_r11", "optional": true, "type": "FEATURE", "note": "" }, "_r12": { "name": "_r12", "optional": false, "type": "FEATURE", "note": "" }, "_r13": { "name": "_r13", "optional": false, "type": "FEATURE", "note": "" }, "_r14": { "name": "_r14", "optional": true, "type": "FEATURE", "note": "" }, "_r15": { "name": "_r15", "optional": true, "type": "FEATURE", "note": "" }, "_r16": { "name": "_r16", "optional": false, "type": "FEATURE", "note": "" }, "_r17": { "name": "_r17", "optional": true, "type": "FEATURE", "note": "" }, "_r18": { "name": "_r18", "optional": true, "type": "XOR", "note": "" }, "_r19": { "name": "_r19", "optional": true, "type": "FEATURE", "note": "" }, "_r2": { "name": "_r2", "optional": false, "type": "FEATURE", "note": "" }, "_r20": { "name": "_r20", "optional": true, "type": "FEATURE", "note": "" }, "_r21": { "name": "_r21", "optional": false, "type": "FEATURE", "note": "" }, "_r22": { "name": "_r22", "optional": true, "type": "FEATURE", "note": "" }, "_r23": { "name": "_r23", "optional": true, "type": "FEATURE", "note": "" }, "_r24": { "name": "_r24", "optional": true, "type": "FEATURE", "note": "" }, "_r25": { "name": "_r25", "optional": false, "type": "FEATURE", "note": "" }, "_r26": { "name": "_r26", "optional": false, "type": "FEATURE", "note": "" }, "_r27": { "name": "_r27", "optional": true, "type": "FEATURE", "note": "" }, "_r28": { "name": "_r28", "optional": false, "type": "FEATURE", "note": "" }, "_r29": { "name": "_r29", "optional": false, "type": "FEATURE", "note": "" }, "_r3": { "name": "_r3", "optional": false, "type": "FEATURE", "note": "" }, "_r30": { "name": "_r30", "optional": false, "type": "FEATURE", "note": "" }, "_r31": { "name": "_r31", "optional": true, "type": "FEATURE", "note": "" }, "_r32": { "name": "_r32", "optional": true, "type": "FEATURE", "note": "" }, "_r33": { "name": "_r33", "optional": false, "type": "FEATURE", "note": "" }, "_r34": { "name": "_r34", "optional": false, "type": "FEATURE", "note": "" }, "_r35": { "name": "_r35", "optional": true, "type": "FEATURE", "note": "" }, "_r36": { "name": "_r36", "optional": true, "type": "FEATURE", "note": "" }, "_r37": { "name": "_r37", "optional": true, "type": "FEATURE", "note": "" }, "_r38": { "name": "_r38", "optional": true, "type": "FEATURE", "note": "" }, "_r39": { "name": "_r39", "optional": false, "type": "FEATURE", "note": "" }, "_r4": { "name": "_r4", "optional": true, "type": "FEATURE", "note": "" }, "_r40": { "name": "_r40", "optional": true, "type": "FEATURE", "note": "" }, "_r41": { "name": "_r41", "optional": true, "type": "FEATURE", "note": "" }, "_r42": { "name": "_r42", "optional": true, "type": "FEATURE", "note": "" }, "_r43": { "name": "_r43", "optional": true, "type": "FEATURE", "note": "" }, "_r44": { "name": "_r44", "optional": false, "type": "FEATURE", "note": "" }, "_r45": { "name": "_r45", "optional": true, "type": "FEATURE", "note": "" }, "_r45_63": { "name": "_r45_63", "optional": true, "type": "FEATURE", "note": "" }, "_r46": { "name": "_r46", "optional": true, "type": "FEATURE", "note": "" }, "_r47": { "name": "_r47", "optional": true, "type": "FEATURE", "note": "" }, "_r48": { "name": "_r48", "optional": true, "type": "FEATURE", "note": "" }, "_r49": { "name": "_r49", "optional": true, "type": "FEATURE", "note": "" }, "_r5": { "name": "_r5", "optional": true, "type": "FEATURE", "note": "" }, "_r50": { "name": "_r50", "optional": true, "type": "FEATURE", "note": "" }, "_r51": { "name": "_r51", "optional": true, "type": "FEATURE", "note": "" }, "_r52": { "name": "_r52", "optional": true, "type": "FEATURE", "note": "" }, "_r53": { "name": "_r53", "optional": true, "type": "FEATURE", "note": "" }, "_r54": { "name": "_r54", "optional": true, "type": "XOR", "note": "" }, "_r55": { "name": "_r55", "optional": true, "type": "FEATURE", "note": "" }, "_r56": { "name": "_r56", "optional": true, "type": "FEATURE", "note": "" }, "_r57": { "name": "_r57", "optional": true, "type": "FEATURE", "note": "" }, "_r58": { "name": "_r58", "optional": false, "type": "FEATURE", "note": "" }, "_r59": { "name": "_r59", "optional": true, "type": "FEATURE", "note": "" }, "_r6": { "name": "_r6", "optional": true, "type": "FEATURE", "note": "" }, "_r60": { "name": "_r60", "optional": true, "type": "FEATURE", "note": "" }, "_r61": { "name": "_r61", "optional": false, "type": "FEATURE", "note": "" }, "_r7": { "name": "_r7", "optional": true, "type": "FEATURE", "note": "" }, "_r8": { "name": "_r8", "optional": false, "type": "FEATURE", "note": "" }, "_r9": { "name": "_r9", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "_r0", "children": [ { "id": "_r1" }, { "id": "_r10" }, { "id": "_r11" }, { "id": "_r12", "children": [ { "id": "_r13", "children": [ { "id": "_r14" }, { "id": "_r15" }, { "id": "_r16" } ] }, { "id": "_r17", "children": [ { "id": "_r18", "children": [ { "id": "_r19" }, { "id": "_r20" } ] }, { "id": "_r21", "children": [ { "id": "_r22" }, { "id": "_r23" } ] } ] } ] }, { "id": "_r2", "children": [ { "id": "_r3", "children": [ { "id": "_r4" }, { "id": "_r5" }, { "id": "_r6" }, { "id": "_r7" }, { "id": "_r8" } ] } ] }, { "id": "_r24" }, { "id": "_r25", "children": [ { "id": "_r26", "children": [ { "id": "_r27" }, { "id": "_r28" }, { "id": "_r29" } ] }, { "id": "_r30", "children": [ { "id": "_r31" }, { "id": "_r32" }, { "id": "_r33" } ] }, { "id": "_r34", "children": [ { "id": "_r35" }, { "id": "_r36" }, { "id": "_r37" }, { "id": "_r38" }, { "id": "_r39" }, { "id": "_r40" }, { "id": "_r41" }, { "id": "_r42" }, { "id": "_r43" } ] }, { "id": "_r44", "children": [ { "id": "_r45", "children": [ { "id": "_r45_63" }, { "id": "_r46" }, { "id": "_r47" }, { "id": "_r48" }, { "id": "_r49" }, { "id": "_r50" }, { "id": "_r51" } ] }, { "id": "_r52" }, { "id": "_r53" }, { "id": "_r54", "children": [ { "id": "_r55" }, { "id": "_r56" }, { "id": "_r57" } ] }, { "id": "_r58" }, { "id": "_r59" }, { "id": "_r60" }, { "id": "_r61" } ] } ] }, { "id": "_r9" } ] }, "constraints": { "Constraint 0": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r37" ] }, { "type": "FeatureTerm", "operands": [ "_r5" ] } ] }, "Constraint 1": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r59" ] }, { "type": "FeatureTerm", "operands": [ "_r32" ] } ] }, "Constraint 2": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r10" ] }, { "type": "FeatureTerm", "operands": [ "_r25" ] } ] }, "Constraint 3": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r40" ] }, { "type": "FeatureTerm", "operands": [ "_r5" ] } ] }, "Constraint 4": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r35" ] }, { "type": "FeatureTerm", "operands": [ "_r8" ] } ] }, "Constraint 5": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r40" ] }, { "type": "FeatureTerm", "operands": [ "_r11" ] } ] }, "Constraint 6": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r39" ] }, { "type": "FeatureTerm", "operands": [ "_r8" ] } ] }, "Constraint 7": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r1" ] }, { "type": "FeatureTerm", "operands": [ "_r11" ] } ] }, "Constraint 8": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r36" ] }, { "type": "FeatureTerm", "operands": [ "_r7" ] } ] }, "Constraint 9": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r9" ] }, { "type": "FeatureTerm", "operands": [ "_r25" ] } ] }, "Constraint 10": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r38" ] }, { "type": "FeatureTerm", "operands": [ "_r11" ] } ] }, "Constraint 11": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r58" ] }, { "type": "FeatureTerm", "operands": [ "_r8" ] } ] }, "Constraint 12": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r1" ] }, { "type": "FeatureTerm", "operands": [ "_r52" ] } ] }, "Constraint 13": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r41" ] }, { "type": "FeatureTerm", "operands": [ "_r6" ] } ] }, "Constraint 14": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r10" ] }, { "type": "FeatureTerm", "operands": [ "_r45_63" ] } ] }, "Constraint 15": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r45" ] }, { "type": "FeatureTerm", "operands": [ "_r5" ] } ] }, "Constraint 16": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r60" ] }, { "type": "FeatureTerm", "operands": [ "_r8" ] } ] }, "Constraint 17": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r10" ] }, { "type": "FeatureTerm", "operands": [ "_r52" ] } ] }, "Constraint 18": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r15" ] }, { "type": "FeatureTerm", "operands": [ "_r23" ] } ] }, "Constraint 19": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r61" ] }, { "type": "FeatureTerm", "operands": [ "_r8" ] } ] }, "Constraint 20": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r1" ] }, { "type": "FeatureTerm", "operands": [ "_r25" ] } ] }, "Constraint 21": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r54" ] }, { "type": "FeatureTerm", "operands": [ "_r5" ] } ] }, "Constraint 22": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r9" ] }, { "type": "FeatureTerm", "operands": [ "_r38" ] } ] }, "Constraint 23": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r35" ] }, { "type": "FeatureTerm", "operands": [ "_r11" ] } ] }, "Constraint 24": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r25" ] }, { "type": "FeatureTerm", "operands": [ "_r12" ] } ] }, "Constraint 25": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r42" ] }, { "type": "FeatureTerm", "operands": [ "_r4" ] } ] }, "Constraint 26": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r38" ] }, { "type": "FeatureTerm", "operands": [ "_r5" ] } ] }, "Constraint 27": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r32" ] }, { "type": "FeatureTerm", "operands": [ "_r8" ] } ] }, "Constraint 28": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r15" ] }, { "type": "FeatureTerm", "operands": [ "_r54" ] } ] }, "Constraint 29": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r24" ] }, { "type": "FeatureTerm", "operands": [ "_r25" ] } ] }, "Constraint 30": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r23" ] }, { "type": "FeatureTerm", "operands": [ "_r15" ] } ] }, "Constraint 31": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r9" ] }, { "type": "FeatureTerm", "operands": [ "_r10" ] } ] }, "Constraint 32": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r25" ] }, { "type": "FeatureTerm", "operands": [ "_r2" ] } ] }, "Constraint 33": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r54" ] }, { "type": "FeatureTerm", "operands": [ "_r15" ] } ] }, "Constraint 34": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r43" ] }, { "type": "FeatureTerm", "operands": [ "_r11" ] } ] }, "Constraint 35": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r43" ] }, { "type": "FeatureTerm", "operands": [ "_r8" ] } ] }, "Constraint 36": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r53" ] }, { "type": "FeatureTerm", "operands": [ "_r6" ] } ] }, "Constraint 37": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r37" ] }, { "type": "FeatureTerm", "operands": [ "_r11" ] } ] }, "Constraint 38": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r10" ] }, { "type": "FeatureTerm", "operands": [ "_r11" ] } ] }, "Constraint 39": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r59" ] }, { "type": "FeatureTerm", "operands": [ "_r8" ] } ] }, "Constraint 40": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r54" ] }, { "type": "FeatureTerm", "operands": [ "_r23" ] } ] }, "Constraint 41": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r33" ] }, { "type": "FeatureTerm", "operands": [ "_r8" ] } ] }, "Constraint 42": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r36" ] }, { "type": "FeatureTerm", "operands": [ "_r11" ] } ] }, "Constraint 43": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r31" ] }, { "type": "FeatureTerm", "operands": [ "_r4" ] } ] }, "Constraint 44": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r52" ] }, { "type": "FeatureTerm", "operands": [ "_r5" ] } ] }, "Constraint 45": { "type": "ImpliesTerm", "operands": [ { "type": "FeatureTerm", "operands": [ "_r23" ] }, { "type": "FeatureTerm", "operands": [ "_r54" ] } ] } } }