{
    "id": "FM_SmartWatch",
    "name": "FM_SmartWatch",
    "features": {
        "AMOLED": {
            "name": "AMOLED",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Accelerometer": {
            "name": "Accelerometer",
            "optional": false,
            "type": "FEATURE",
            "note": ""
        },
        "BLE": {
            "name": "BLE",
            "optional": true,
            "type": "XOR",
            "note": ""
        },
        "BLEv40": {
            "name": "BLEv40",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "BLEv42": {
            "name": "BLEv42",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "BLEv50": {
            "name": "BLEv50",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "BLEv52": {
            "name": "BLEv52",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "BT40": {
            "name": "BT40",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Bluetooth": {
            "name": "Bluetooth",
            "optional": false,
            "type": "XOR",
            "note": ""
        },
        "Call": {
            "name": "Call",
            "optional": false,
            "type": "FEATURE",
            "note": ""
        },
        "CapacitivitySensing": {
            "name": "CapacitivitySensing",
            "optional": false,
            "type": "FEATURE",
            "note": ""
        },
        "CapacityButton": {
            "name": "CapacityButton",
            "optional": false,
            "type": "FEATURE",
            "note": ""
        },
        "Connectivity": {
            "name": "Connectivity",
            "optional": false,
            "type": "FEATURE",
            "note": ""
        },
        "ContactlessPayment": {
            "name": "ContactlessPayment",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "FitnessMonitor": {
            "name": "FitnessMonitor",
            "optional": false,
            "type": "FEATURE",
            "note": ""
        },
        "FullColor": {
            "name": "FullColor",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Functionalities": {
            "name": "Functionalities",
            "optional": false,
            "type": "FEATURE",
            "note": ""
        },
        "Gyroscope": {
            "name": "Gyroscope",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "HeartRateSensor": {
            "name": "HeartRateSensor",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Infrared": {
            "name": "Infrared",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Microphone": {
            "name": "Microphone",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "MovementFilter": {
            "name": "MovementFilter",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "NFC": {
            "name": "NFC",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Notification": {
            "name": "Notification",
            "optional": false,
            "type": "FEATURE",
            "note": ""
        },
        "OLED": {
            "name": "OLED",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Pedometer": {
            "name": "Pedometer",
            "optional": false,
            "type": "FEATURE",
            "note": ""
        },
        "Photoplethysmogram": {
            "name": "Photoplethysmogram",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "ProximitySensor": {
            "name": "ProximitySensor",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "Screen": {
            "name": "Screen",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "ScreenType": {
            "name": "ScreenType",
            "optional": false,
            "type": "XOR",
            "note": ""
        },
        "Sensors": {
            "name": "Sensors",
            "optional": false,
            "type": "FEATURE",
            "note": ""
        },
        "SleepTracker": {
            "name": "SleepTracker",
            "optional": false,
            "type": "FEATURE",
            "note": ""
        },
        "SmartWatch": {
            "name": "SmartWatch",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "SpO2": {
            "name": "SpO2",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "TouchScreen": {
            "name": "TouchScreen",
            "optional": true,
            "type": "FEATURE",
            "note": ""
        },
        "VibrateAlert": {
            "name": "VibrateAlert",
            "optional": false,
            "type": "FEATURE",
            "note": ""
        }
    },
    "tree": {
        "id": "SmartWatch",
        "children": [
            {
                "id": "Connectivity",
                "children": [
                    {
                        "id": "Bluetooth",
                        "children": [
                            {
                                "id": "BLE",
                                "children": [
                                    {
                                        "id": "BLEv40"
                                    },
                                    {
                                        "id": "BLEv42"
                                    },
                                    {
                                        "id": "BLEv50"
                                    },
                                    {
                                        "id": "BLEv52"
                                    }
                                ]
                            },
                            {
                                "id": "BT40"
                            }
                        ]
                    },
                    {
                        "id": "NFC"
                    }
                ]
            },
            {
                "id": "Functionalities",
                "children": [
                    {
                        "id": "ContactlessPayment"
                    },
                    {
                        "id": "FitnessMonitor"
                    },
                    {
                        "id": "SleepTracker"
                    },
                    {
                        "id": "VibrateAlert",
                        "children": [
                            {
                                "id": "Call"
                            },
                            {
                                "id": "Notification"
                            }
                        ]
                    }
                ]
            },
            {
                "id": "Screen",
                "children": [
                    {
                        "id": "ScreenType",
                        "children": [
                            {
                                "id": "AMOLED",
                                "children": [
                                    {
                                        "id": "CapacitivitySensing"
                                    }
                                ]
                            },
                            {
                                "id": "OLED",
                                "children": [
                                    {
                                        "id": "CapacityButton"
                                    }
                                ]
                            }
                        ]
                    },
                    {
                        "id": "TouchScreen",
                        "children": [
                            {
                                "id": "FullColor"
                            }
                        ]
                    }
                ]
            },
            {
                "id": "Sensors",
                "children": [
                    {
                        "id": "Accelerometer"
                    },
                    {
                        "id": "Gyroscope"
                    },
                    {
                        "id": "HeartRateSensor",
                        "children": [
                            {
                                "id": "Photoplethysmogram"
                            }
                        ]
                    },
                    {
                        "id": "Infrared"
                    },
                    {
                        "id": "Microphone"
                    },
                    {
                        "id": "Pedometer",
                        "children": [
                            {
                                "id": "MovementFilter"
                            }
                        ]
                    },
                    {
                        "id": "ProximitySensor"
                    },
                    {
                        "id": "SpO2"
                    }
                ]
            }
        ]
    },
    "constraints": {
        "Constraint 0": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "MovementFilter"
                    ]
                },
                {
                    "type": "AndTerm",
                    "operands": [
                        {
                            "type": "NotTerm",
                            "operands": [
                                {
                                    "type": "FeatureTerm",
                                    "operands": [
                                        "HeartRateSensor"
                                    ]
                                }
                            ]
                        },
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "BLEv40"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 1": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "BLE"
                    ]
                },
                {
                    "type": "OrTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "HeartRateSensor"
                            ]
                        },
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "MovementFilter"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 2": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "BT40"
                    ]
                },
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "Screen"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 3": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "NotTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "Screen"
                            ]
                        }
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "BT40"
                    ]
                }
            ]
        },
        "Constraint 4": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "NFC"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "TouchScreen"
                    ]
                }
            ]
        },
        "Constraint 5": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "TouchScreen"
                    ]
                },
                {
                    "type": "OrTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "BLEv42"
                            ]
                        },
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "BLEv50"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 6": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "AMOLED"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "BLEv50"
                    ]
                }
            ]
        },
        "Constraint 7": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "BLEv50"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "AMOLED"
                    ]
                }
            ]
        },
        "Constraint 8": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "AMOLED"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "Gyroscope"
                    ]
                }
            ]
        },
        "Constraint 9": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "Gyroscope"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "AMOLED"
                    ]
                }
            ]
        },
        "Constraint 10": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "AMOLED"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "ProximitySensor"
                    ]
                }
            ]
        },
        "Constraint 11": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "ProximitySensor"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "AMOLED"
                    ]
                }
            ]
        },
        "Constraint 12": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "BLEv50"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "FullColor"
                    ]
                }
            ]
        },
        "Constraint 13": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "FullColor"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "BLEv50"
                    ]
                }
            ]
        },
        "Constraint 14": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "OrTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "Infrared"
                            ]
                        },
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "Microphone"
                            ]
                        }
                    ]
                },
                {
                    "type": "AndTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "NFC"
                            ]
                        },
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "Photoplethysmogram"
                            ]
                        }
                    ]
                }
            ]
        },
        "Constraint 15": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "NFC"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "ContactlessPayment"
                    ]
                }
            ]
        },
        "Constraint 16": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "ContactlessPayment"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "NFC"
                    ]
                }
            ]
        },
        "Constraint 17": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "Photoplethysmogram"
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "BLEv50"
                    ]
                }
            ]
        },
        "Constraint 18": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "OrTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "Microphone"
                            ]
                        },
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "Infrared"
                            ]
                        }
                    ]
                },
                {
                    "type": "FeatureTerm",
                    "operands": [
                        "Photoplethysmogram"
                    ]
                }
            ]
        },
        "Constraint 19": {
            "type": "ImpliesTerm",
            "operands": [
                {
                    "type": "AndTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "NFC"
                            ]
                        },
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "Photoplethysmogram"
                            ]
                        }
                    ]
                },
                {
                    "type": "AndTerm",
                    "operands": [
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "Microphone"
                            ]
                        },
                        {
                            "type": "FeatureTerm",
                            "operands": [
                                "Infrared"
                            ]
                        }
                    ]
                }
            ]
        }
    }
}