--- title: Existing Android Phones toc: false ... > Back to [Intro]() Existing products:
Android Phone 1 / Team 1 Android Phone 2 / Team 2 Android Phone PL / Bob
```clafer AndroidPhone1 Connectivity Bluetooth40 GSM WiFi USB Battery LiBattery1450 ``` ```clafer AndroidPhone2 Connectivity Bluetooth21 GSM USB Battery LiBattery1150 ``` Reusable model fragment `Bluetooth`: ```clafer abstract xor Bluetooth Bluetooth20 ? Bluetooth21 ? Bluetooth40 ? ``` Adding the fragment using backquote mechanism: ```clafer abstract MobilePhone Connectivity `Bluetooth GSM LTE ? [LiBattery1400] WiFi ? USB ? xor Battery LiBattery1150 ? LiBattery1400 ? ``` Adding market segments. Low-end phones: ```clafer LowEndPhones : MobilePhone [no WiFi] ``` and high-end phones: ```clafer HighEndPhones : MobilePhone [USB && WiFi] QuadCPU ? ```
```{.clafer .ide} ```