{
    "id": "FM__id_0",
    "name": "FM__id_0",
    "features": {
        "_id_0": {
            "name": "_id_0",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "_id_2_48": {
            "name": "_id_2_48",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "_id_2_49": {
            "name": "_id_2_49",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "adamo": {
            "name": "adamo",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "bluraydisc": {
            "name": "bluraydisc",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "cddvdrw": {
            "name": "cddvdrw",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "desktopreplacement": {
            "name": "desktopreplacement",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "dvdromdriveanddvdrw": {
            "name": "dvdromdriveanddvdrw",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "dvdrwandcdrwcombo": {
            "name": "dvdrwandcdrwcombo",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "harddrive": {
            "name": "harddrive",
            "optional": false,
            "type": "XOR",
            "note": ""
        },
        "hd120gb": {
            "name": "hd120gb",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "hd128gbsolidstate": {
            "name": "hd128gbsolidstate",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "hd160gb": {
            "name": "hd160gb",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "hd250gb": {
            "name": "hd250gb",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "hd320gb": {
            "name": "hd320gb",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "hd500gb": {
            "name": "hd500gb",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "hd80gb": {
            "name": "hd80gb",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "inspironlaptops": {
            "name": "inspironlaptops",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "intelatom": {
            "name": "intelatom",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "intelceleron": {
            "name": "intelceleron",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "intelcore2duo": {
            "name": "intelcore2duo",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "intelpentiumdualcore": {
            "name": "intelpentiumdualcore",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "laptopweight": {
            "name": "laptopweight",
            "optional": false,
            "type": "XOR",
            "note": ""
        },
        "lessthanus400": {
            "name": "lessthanus400",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "light": {
            "name": "light",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "mem1gb": {
            "name": "mem1gb",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "mem2gb": {
            "name": "mem2gb",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "mem3gb": {
            "name": "mem3gb",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "mem4gb": {
            "name": "mem4gb",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "memory": {
            "name": "memory",
            "optional": false,
            "type": "XOR",
            "note": ""
        },
        "mininotebooks": {
            "name": "mininotebooks",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "morethan4g": {
            "name": "morethan4g",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "morethanus1200": {
            "name": "morethanus1200",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "operatingsystem": {
            "name": "operatingsystem",
            "optional": false,
            "type": "XOR",
            "note": ""
        },
        "opticaldrive": {
            "name": "opticaldrive",
            "optional": true,
            "type": "XOR",
            "note": ""
        },
        "price": {
            "name": "price",
            "optional": false,
            "type": "XOR",
            "note": ""
        },
        "processor": {
            "name": "processor",
            "optional": false,
            "type": "XOR",
            "note": ""
        },
        "productcategory": {
            "name": "productcategory",
            "optional": false,
            "type": "XOR",
            "note": ""
        },
        "studiolaptops": {
            "name": "studiolaptops",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "studioxpslaptops": {
            "name": "studioxpslaptops",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "ubuntulinux": {
            "name": "ubuntulinux",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "ultralight": {
            "name": "ultralight",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "us400us800": {
            "name": "us400us800",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "us800us1200": {
            "name": "us800us1200",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "windowsvista64bit": {
            "name": "windowsvista64bit",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "windowsxphome": {
            "name": "windowsxphome",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "xpslaptops": {
            "name": "xpslaptops",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        }
    },
    "tree": {
        "id": "_id_0",
        "children": [
            {
                "id": "harddrive",
                "children": [
                    {
                        "id": "hd120gb"
                    },
                    {
                        "id": "hd128gbsolidstate"
                    },
                    {
                        "id": "hd160gb"
                    },
                    {
                        "id": "hd250gb"
                    },
                    {
                        "id": "hd320gb"
                    },
                    {
                        "id": "hd500gb"
                    },
                    {
                        "id": "hd80gb"
                    }
                ]
            },
            {
                "id": "laptopweight",
                "children": [
                    {
                        "id": "desktopreplacement"
                    },
                    {
                        "id": "light"
                    },
                    {
                        "id": "ultralight"
                    }
                ]
            },
            {
                "id": "memory",
                "children": [
                    {
                        "id": "mem1gb"
                    },
                    {
                        "id": "mem2gb"
                    },
                    {
                        "id": "mem3gb"
                    },
                    {
                        "id": "mem4gb"
                    },
                    {
                        "id": "morethan4g"
                    }
                ]
            },
            {
                "id": "operatingsystem",
                "children": [
                    {
                        "id": "_id_2_48"
                    },
                    {
                        "id": "_id_2_49"
                    },
                    {
                        "id": "ubuntulinux"
                    },
                    {
                        "id": "windowsvista64bit"
                    },
                    {
                        "id": "windowsxphome"
                    }
                ]
            },
            {
                "id": "opticaldrive",
                "children": [
                    {
                        "id": "bluraydisc"
                    },
                    {
                        "id": "cddvdrw"
                    },
                    {
                        "id": "dvdromdriveanddvdrw"
                    },
                    {
                        "id": "dvdrwandcdrwcombo"
                    }
                ]
            },
            {
                "id": "price",
                "children": [
                    {
                        "id": "lessthanus400"
                    },
                    {
                        "id": "morethanus1200"
                    },
                    {
                        "id": "us400us800"
                    },
                    {
                        "id": "us800us1200"
                    }
                ]
            },
            {
                "id": "processor",
                "children": [
                    {
                        "id": "intelatom"
                    },
                    {
                        "id": "intelceleron"
                    },
                    {
                        "id": "intelcore2duo"
                    },
                    {
                        "id": "intelpentiumdualcore"
                    }
                ]
            },
            {
                "id": "productcategory",
                "children": [
                    {
                        "id": "adamo"
                    },
                    {
                        "id": "inspironlaptops"
                    },
                    {
                        "id": "mininotebooks"
                    },
                    {
                        "id": "studiolaptops"
                    },
                    {
                        "id": "studioxpslaptops"
                    },
                    {
                        "id": "xpslaptops"
                    }
                ]
            }
        ]
    },
    "constraints": {
        "Constraint 0": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "xpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "dvdrwandcdrwcombo"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 1": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "xpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "mem2gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 2": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "xpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd80gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 3": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "xpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "dvdromdriveanddvdrw"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 4": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "xpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd128gbsolidstate"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 5": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "xpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd120gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 6": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "xpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "ubuntulinux"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 7": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "xpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd160gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 8": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "xpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "intelceleron"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 9": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "xpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "intelpentiumdualcore"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 10": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "xpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "mem1gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 11": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "ubuntulinux"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 12": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd500gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 13": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd320gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 14": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "xpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "intelatom"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 15": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "xpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "lessthanus400"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 16": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "windowsxphome"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 17": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd160gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 18": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd250gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 19": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd80gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 20": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd120gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 21": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "inspironlaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "morethan4g"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 22": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "inspironlaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "mem1gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 23": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "inspironlaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "ultralight"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 24": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "inspironlaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "desktopreplacement"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 25": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studiolaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "windowsxphome"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 26": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "inspironlaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "intelatom"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 27": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "inspironlaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "morethanus1200"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 28": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studiolaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "ubuntulinux"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 29": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studiolaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd160gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 30": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studiolaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd128gbsolidstate"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 31": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studiolaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd120gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 32": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studiolaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd80gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 33": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studiolaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "morethan4g"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 34": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studiolaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "mem2gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 35": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studiolaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "mem1gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 36": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studiolaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "intelceleron"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 37": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studiolaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "intelatom"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 38": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studiolaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "lessthanus400"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 39": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studiolaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "morethanus1200"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 40": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "xpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "windowsxphome"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 41": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studioxpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "bluraydisc"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 42": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studioxpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "dvdrwandcdrwcombo"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 43": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studioxpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "dvdromdriveanddvdrw"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 44": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studioxpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd80gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 45": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "inspironlaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "bluraydisc"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 46": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "inspironlaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "dvdrwandcdrwcombo"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 47": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "inspironlaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "dvdromdriveanddvdrw"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 48": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "inspironlaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "windowsxphome"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 49": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "inspironlaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "windowsvista64bit"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 50": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "mininotebooks"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "morethanus1200"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 51": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "inspironlaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd80gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 52": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "inspironlaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd120gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 53": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "inspironlaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd128gbsolidstate"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 54": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "inspironlaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "ubuntulinux"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 55": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studioxpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "morethanus1200"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 56": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "mininotebooks"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "intelpentiumdualcore"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 57": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "mininotebooks"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "intelcore2duo"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 58": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "mininotebooks"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "us800us1200"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 59": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "mininotebooks"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "intelceleron"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 60": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "mininotebooks"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "light"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 61": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "mininotebooks"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "bluraydisc"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 62": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "mininotebooks"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "morethan4g"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 63": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "mininotebooks"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "desktopreplacement"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 64": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "mininotebooks"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "mem3gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 65": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "mininotebooks"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "mem4gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 66": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "bluraydisc"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 67": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studioxpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "desktopreplacement"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 68": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "dvdrwandcdrwcombo"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 69": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studioxpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "morethan4g"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 70": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "dvdromdriveanddvdrw"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 71": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "cddvdrw"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 72": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "desktopreplacement"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 73": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "light"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 74": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studioxpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "us400us800"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 75": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studioxpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "lessthanus400"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 76": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "morethan4g"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 77": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studioxpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "intelatom"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 78": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studioxpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "intelceleron"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 79": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studioxpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "intelpentiumdualcore"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 80": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "intelpentiumdualcore"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 81": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studioxpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "mem1gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 82": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "intelceleron"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 83": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studioxpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "mem2gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 84": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "mem3gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 85": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "mem1gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 86": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studioxpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "mem3gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 87": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "mininotebooks"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd128gbsolidstate"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 88": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "lessthanus400"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 89": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "mininotebooks"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd250gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 90": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "intelatom"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 91": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "mininotebooks"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd320gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 92": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "us800us1200"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 93": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "mininotebooks"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd500gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 94": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "adamo"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "us400us800"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 95": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "mininotebooks"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "dvdrwandcdrwcombo"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 96": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "mininotebooks"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "dvdromdriveanddvdrw"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 97": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "mininotebooks"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "cddvdrw"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 98": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studioxpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "windowsxphome"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 99": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studioxpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "ubuntulinux"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 100": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studioxpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd250gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 101": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "mininotebooks"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "windowsvista64bit"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 102": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studioxpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd160gb"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 103": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studioxpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd128gbsolidstate"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 104": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "studioxpslaptops"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "hd120gb"
                            ]
                        }
                    ]
                }
            ]
        }
    }
}