{
    "id": "FM_Pizza",
    "name": "FM_Pizza",
    "features": {
        "BBQ_sauce": {
            "name": "BBQ_sauce",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Bacon": {
            "name": "Bacon",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Beef": {
            "name": "Beef",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Big": {
            "name": "Big",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Broccoli": {
            "name": "Broccoli",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Cheese": {
            "name": "Cheese",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Chicken": {
            "name": "Chicken",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Chicken_kebab": {
            "name": "Chicken_kebab",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Corn": {
            "name": "Corn",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Cream": {
            "name": "Cream",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Curry_sauce": {
            "name": "Curry_sauce",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "CustomMade": {
            "name": "CustomMade",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Egg": {
            "name": "Egg",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Gouda": {
            "name": "Gouda",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Half___Half": {
            "name": "Half___Half",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Medium": {
            "name": "Medium",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Mince": {
            "name": "Mince",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Mozzarella": {
            "name": "Mozzarella",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Mushroom": {
            "name": "Mushroom",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Mussels": {
            "name": "Mussels",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Olives": {
            "name": "Olives",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Onion": {
            "name": "Onion",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Oregano": {
            "name": "Oregano",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Parmesan": {
            "name": "Parmesan",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Pepper": {
            "name": "Pepper",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Pepperoni": {
            "name": "Pepperoni",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Pineapple": {
            "name": "Pineapple",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Pizza": {
            "name": "Pizza",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Roquefort": {
            "name": "Roquefort",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Salami": {
            "name": "Salami",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Shrimps": {
            "name": "Shrimps",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Size": {
            "name": "Size",
            "optional": false,
            "type": "XOR",
            "note": ""
        },
        "Spicy": {
            "name": "Spicy",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Spinach": {
            "name": "Spinach",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Tomato": {
            "name": "Tomato",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Topping": {
            "name": "Topping",
            "optional": false,
            "type": "OR",
            "note": ""
        },
        "Tuna": {
            "name": "Tuna",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "York_ham": {
            "name": "York_ham",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        }
    },
    "tree": {
        "id": "Pizza",
        "children": [
            {
                "id": "CustomMade"
            },
            {
                "id": "Half___Half"
            },
            {
                "id": "Size",
                "children": [
                    {
                        "id": "Big"
                    },
                    {
                        "id": "Medium"
                    }
                ]
            },
            {
                "id": "Topping",
                "children": [
                    {
                        "id": "BBQ_sauce"
                    },
                    {
                        "id": "Bacon"
                    },
                    {
                        "id": "Beef"
                    },
                    {
                        "id": "Broccoli"
                    },
                    {
                        "id": "Cheese"
                    },
                    {
                        "id": "Chicken"
                    },
                    {
                        "id": "Chicken_kebab"
                    },
                    {
                        "id": "Corn"
                    },
                    {
                        "id": "Cream"
                    },
                    {
                        "id": "Curry_sauce"
                    },
                    {
                        "id": "Egg"
                    },
                    {
                        "id": "Gouda"
                    },
                    {
                        "id": "Mince"
                    },
                    {
                        "id": "Mozzarella"
                    },
                    {
                        "id": "Mushroom"
                    },
                    {
                        "id": "Mussels"
                    },
                    {
                        "id": "Olives"
                    },
                    {
                        "id": "Onion"
                    },
                    {
                        "id": "Oregano"
                    },
                    {
                        "id": "Parmesan"
                    },
                    {
                        "id": "Pepper"
                    },
                    {
                        "id": "Pepperoni"
                    },
                    {
                        "id": "Pineapple"
                    },
                    {
                        "id": "Roquefort"
                    },
                    {
                        "id": "Salami"
                    },
                    {
                        "id": "Shrimps"
                    },
                    {
                        "id": "Spicy"
                    },
                    {
                        "id": "Spinach"
                    },
                    {
                        "id": "Tomato"
                    },
                    {
                        "id": "Tuna"
                    },
                    {
                        "id": "York_ham"
                    }
                ]
            }
        ]
    },
    "constraints": {
        "Constraint 0": {
            "type": "FeatureTerm",
            "operands": [
                "Oregano"
            ]
        },
        "Constraint 1": {
            "type": "OrTerm",
            "operands": [
                {
                    "type": "OrTerm",
                    "operands": [
                        {
                            "type": "OrTerm",
                            "operands": [
                                {
                                    "type": "FeatureTerm",
                                    "operands": [
                                        "Tomato"
                                    ]
                                },
                                {
                                    "type": "FeatureTerm",
                                    "operands": [
                                        "Cream"
                                    ]
                                }
                            ]
                        },
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "BBQ_sauce"
                            ]
                        }
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "Curry_sauce"
                    ]
                }
            ]
        },
        "Constraint 2": {
            "type": "FeatureTerm",
            "operands": [
                "Cheese"
            ]
        },
        "Constraint 3": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "Medium"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "Half___Half"
                            ]
                        }
                    ]
                }
            ]
        }
    }
}