{
    "id": "FM_Pizzas",
    "name": "FM_Pizzas",
    "features": {
        "4_cheeses": {
            "name": "4_cheeses",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Anchovies": {
            "name": "Anchovies",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Bell_pepper": {
            "name": "Bell_pepper",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Big": {
            "name": "Big",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Black_olives": {
            "name": "Black_olives",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Capers": {
            "name": "Capers",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Chicken": {
            "name": "Chicken",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Cream": {
            "name": "Cream",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Egg": {
            "name": "Egg",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Familiar": {
            "name": "Familiar",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Garlic_bread": {
            "name": "Garlic_bread",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Ham": {
            "name": "Ham",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Ingredients": {
            "name": "Ingredients",
            "optional": true,
            "type": "OR",
            "note": ""
        },
        "Kebab_meat": {
            "name": "Kebab_meat",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Medium": {
            "name": "Medium",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Minced_chicken": {
            "name": "Minced_chicken",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Mozzarella": {
            "name": "Mozzarella",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Mushrooms": {
            "name": "Mushrooms",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Onion": {
            "name": "Onion",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Pepperoni": {
            "name": "Pepperoni",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Pineapple": {
            "name": "Pineapple",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Pizzas": {
            "name": "Pizzas",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Roasted_beef_meat": {
            "name": "Roasted_beef_meat",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Roasted_chicken_meat": {
            "name": "Roasted_chicken_meat",
            "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": ""
        },
        "Spinach": {
            "name": "Spinach",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Tomato_sauce": {
            "name": "Tomato_sauce",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Tuna": {
            "name": "Tuna",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Turkey": {
            "name": "Turkey",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Yogurt_sauce": {
            "name": "Yogurt_sauce",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        }
    },
    "tree": {
        "id": "Pizzas",
        "children": [
            {
                "id": "Garlic_bread"
            },
            {
                "id": "Ingredients",
                "children": [
                    {
                        "id": "4_cheeses"
                    },
                    {
                        "id": "Anchovies"
                    },
                    {
                        "id": "Bell_pepper"
                    },
                    {
                        "id": "Black_olives"
                    },
                    {
                        "id": "Capers"
                    },
                    {
                        "id": "Chicken"
                    },
                    {
                        "id": "Cream"
                    },
                    {
                        "id": "Egg"
                    },
                    {
                        "id": "Ham"
                    },
                    {
                        "id": "Kebab_meat"
                    },
                    {
                        "id": "Minced_chicken"
                    },
                    {
                        "id": "Mozzarella"
                    },
                    {
                        "id": "Mushrooms"
                    },
                    {
                        "id": "Onion"
                    },
                    {
                        "id": "Pepperoni"
                    },
                    {
                        "id": "Pineapple"
                    },
                    {
                        "id": "Roasted_beef_meat"
                    },
                    {
                        "id": "Roasted_chicken_meat"
                    },
                    {
                        "id": "Salami"
                    },
                    {
                        "id": "Shrimps"
                    },
                    {
                        "id": "Spinach"
                    },
                    {
                        "id": "Tomato_sauce"
                    },
                    {
                        "id": "Tuna"
                    },
                    {
                        "id": "Turkey"
                    },
                    {
                        "id": "Yogurt_sauce"
                    }
                ]
            },
            {
                "id": "Size",
                "children": [
                    {
                        "id": "Big"
                    },
                    {
                        "id": "Familiar"
                    },
                    {
                        "id": "Medium"
                    }
                ]
            }
        ]
    },
    "constraints": {
        "Constraint 0": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "Garlic_bread"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "Ingredients"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 1": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "Ingredients"
                    ]
                },
                {
                    "type": "AndTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "Tomato_sauce"
                            ]
                        },
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "Mozzarella"
                            ]
                        }
                    ]
                }
            ]
        }
    }
}