Restaurant / gen3

Your task is to generate a complete and diverse instance, in plain English, for a given category and based on a provided conceptual model description. The instance must adhere to these requirements: - Be self-contained: Include all required attributes, relationships, and related entities in full detail. - Conform to the model: Fulfill the constraints, multiplicities, relationships, and attributes defined in the class diagram model. - Understand the context: Ensure that its attributes and relationships are relevant. - Avoid duplication of instances: Take into consideration those instances previously built to avoid redundancy. - Semantic diversity: From a semantic point of view, incorporate varied scenarios, including regional, linguistic, or cultural differences. - Structural diversity: Include instances with different numbers of elements, different numbers of relationships and complexity, and create varied examples by changing entity attributes.

You are tasked with creating instances of a conceptual model in the UML-based Specification Environment (USE). You will receive: 1. The UML class diagram that the instance follows. 2. A sample syntax of instances creation. 3. A description of the instance that needs to be created.  Your goal is to generate these instances based on the provided description, adhering strictly to these requirements: - The output must be in plain text, with no additional comments, descriptions, or explanations. - Ensure that the created instance adheres to the provided description. - Follow the syntax sample provided, without deviation. - Take into account previously created instances to avoid using duplicate naming.

<role>
You are an expert software and system modeler. You are able to assess the semantic quality of object models that have been created to conform to a domain model. The models are defined in USE (UML-based Specification Environment) and OCL (Object Constraint Language).

Your primary capability is "Semantic Reality Checking". You do not just check for syntactic correctness; you check for real-world plausibility and logical consistency within a given domain.
</role>

<context>
The user will provide two types of content:
1. **Domain Model (.use)**: A class diagram definition including classes, attributes, enums, relationships, multiplicities and roles.
2. **Object Model (.soil)**: An object model. This object model can be seen as a script composed of instructions for the creation of objects, relationships and setting attribute values (snapshot).

Your goal is to act as a judge to determine if the object model represents a **REALISTIC** scenario based on the domain model and common sense real-world logic.
</context>

<definitions>
- **Realistic**: The object model is syntactically correct AND semantically plausible (e.g., A 'Person' has an age between 0 and 120; a 'Car' has a positive price).
- **Unrealistic**: The object model contains contradictions, impossible physical values, or nonsensical relationships (e.g., A 'Person' is their own father; a 'Product' has a negative weight).
- **Doubtful**: You cannot determine whether the object model is realistic or not.
</definitions>

<instructions>
Follow this thinking process strictly before generating the final output:

1. **Analyze the Domain (.use)**: Understand the classes and what they represent in the real world.
2. **Analyze the Instances (.soil)**: Map the created objects to their classes. Look at the specific values assigned to attributes and the relationships created between objects.
3. **Evaluate Semantics**:
    - Apply "Common Sense Knowledge" to the attribute values.
    - Check cardinality and relationship logic beyond simple OCL constraints.
    - Identify any outliers or logical fallacies.
4. **Determine Verdict**: Select one of the defined labels (Realistic/Unrealistic/Doubtful).
</instructions>

<constraints>
- **Tone**: Objective, Analytical, Technical.
- **Verbosity**: Low. Be direct.
- **Reasoning**: The "Why" section must be concise and specific, citing variable names, objects, or relationships when possible.
- Do not output the internal thinking process. Only output the final formatted result.
</constraints>

<output_format>
Structure your response exactly as follows:

**Response**: [Realistic | Unrealistic | Doubtful]
**Why**: [Concise explanation of your reasoning. If Unrealistic, specify the exact objects, values or relationships that break realism.]
</output_format>

<examples>
Example 1:
Input:

<domain_model>
class Person
attributes
    age: Integer
end
class Pet
attributes
    name: String
end
association Ownership between
    Person [1] role owner
    Pet [*] role pets
end
</domain_model>
<object_model>
!new Person('p1')
!p1.age := 250
!new Pet('pet1')
!pet1.name := 'Luna'
… 1.000 more pets creation …
!pet1000.name := 'Max'
!insert (p1, pet1) into Ownership
…1.000 more pets associated with p1 …
!insert (p1, pet1000) into Ownership
</object_model>

Output:

**Response**: Unrealistic
**Why**: The object 'p1' of class 'Person' has an age of 250, which exceeds the biologically plausible lifespan of a human. Although it is not plausible that 1 same person owns 1.000 pets.


Example 2:
Input:

<domain_model>
class Car
attributes
    brand: String
end
class Person
attributes
    name: String
end
association Ownership between
    Person [1] role owner
    Car [*] role cars
end
</domain_model>
<object_model>
!new Person('p1')
!p1.age := 19
!new Car('c1')
!c1.brand := 'Toyota'
!insert (p1, c1) into Ownership
</object_model>

Output:

**Response**: Realistic
**Why**: The object 'c1' has a valid, recognized real-world car brand assigned, and its plausible that a teenager has only one car.


Example 3:
Input:

<domain_model>
class Component
attributes
    setting_val: Integer
    config_mode: String
end
</domain_model>
<object_model>
!new Component('c1')
!c1.setting_val := 8080
!c1.config_mode := 'Legacy'
</object_model>

Output:

**Response**: Doubtful
**Why**: The class 'Component' and attribute 'setting_val' are generic and lack specific real-world semantic context. Without knowing what specific physical or software system this represents, it is impossible to determine if '8080' is a realistic value or an outlier.

</examples>

For the same category and model description, generate another instance that is structurally and semantically different from the previous ones

Continue with the following description, creating the instance according to the syntax example and this specification: 
### Restaurant Scenario

In the vibrant streets of Mexico City lies "El Buen Sabor," a family-friendly Mexican restaurant known for its authentic flavors and welcoming atmosphere. "El Buen Sabor" offers traditional dishes with a modern twist, often bustling with locals and tourists alike.

**Restaurant Instance:**
- **Name:** El Buen Sabor

**Owner Instances:**
- **Name:** Carlos Hernandez
- **Shares:** 70%
- **Language:** Spanish
- **Related Restaurant:** El Buen Sabor

- **Name:** Lucia Ramirez
- **Shares:** 30%
- **Language:** Spanish
- **Related Restaurant:** El Buen Sabor

**Table Instances:**
- **Table 1**
  - **Number:** 101
  - **Description:** Booth near the mariachi stage.
  - **Capacity:** 6

- **Table 2**
  - **Number:** 202
  - **Description:** Intimate table for two by the window.
  - **Capacity:** 2

- **Table 3**
  - **Number:** 305
  - **Description:** Large communal table.
  - **Capacity:** 10

**Regular Customer Instances:**
- **Name:** Maria Lopez
- **Preferred Language:** Spanish
- **Reservation Type:** Individual Reservation
- Associated with El Buen Sabor

- **Name:** Oliver White
- **Preferred Language:** English
- **Reservation Type:** Banquet Reservation
- Associated with El Buen Sabor

**Reservation Instances:**
- **Individual Reservation for Maria Lopez**
  - **Date:** 2023-12-01
  - **Time:** 20:00
  - **Seating Preference:** Inside
  - **Smoking Preference:** NonSmoking
  - **Assigned Table:** Table 2 (Capacity 2)
  - **Associated Waiter:** Sofia Cruz

- **Banquet Reservation for Oliver's Anniversary Celebration**
  - **Date:** 2023-12-01
  - **Time:** 19:00
  - **Number of People:** 12
  - **Payment Method:** CreditCard
  - **Assigned Table:** Table 305 (Capacity 10) and Table 1 (Capacity 6)
  - **Bus Driver:** Diego Morales
  - **Associated Waiters:** Sofia Cruz and Juan Garcia

**Waiter Instances:**
- **Name:** Sofia Cruz
- **Languages Spoken:** Spanish, English
- **Experience:** 2 years
- Associated with El Buen Sabor and both Reservations

- **Name:** Juan Garcia
- **Languages Spoken:** Spanish, French
- **Experience:** 4 years
- Associated with El Buen Sabor and Banquet Reservation

**Head Waiter Instance:**
- **Name:** Teresa Montes
- **Languages Spoken:** Spanish, English, Italian
- **Experience:** 12 years
- **Responsible for:** Sofia Cruz and Juan Garcia

**Bus Driver Instance:**
- **Name:** Diego Morales
- **Experience:** 20 years
- Associated with Oliver's Banquet

**Chef Instance:**
- **Name:** Rosa Castillo
- **Languages Spoken:** Spanish, English
- **Experience:** 15 years
- **Supervises Cooks:** Pedro Fernandez

**Cook Instance:**
- **Name:** Pedro Fernandez
- **Languages Spoken:** Spanish
- **Experience:** 5 years
- Supervised by Rosa Castillo

**MenuItem Instances:**
- **Taco de Cochinita Pibil**
  - **Description:** Slow-roasted pork marinated in citrus juice and annatto.
  - **Preparation Time:** 50 minutes
  - **Classification:** Main
  - **Designed by Chef:** Rosa Castillo
  - **Food Items Used:** Pork, Tortilla

- **Churros with Chocolate Sauce**
  - **Description:** Crispy fried dough pastries dusted with cinnamon sugar served with chocolate dipping sauce.
  - **Preparation Time:** 25 minutes
  - **Classification:** Dessert
  - **Designed by Chef:** Rosa Castillo
  - **Food Items Used:** Dough, Chocolate

**FoodItem Instances:**
- **Pork**
  - **Unit:** Pound
  - **Purchase:** True
  - **Allergens:** None

- **Tortilla**
  - **Unit:** Dozen
  - **Purchase:** True
  - **Allergens:** Gluten

- **Chocolate**
  - **Unit:** Ounce
  - **Purchase:** True
  - **Allergens:** None

**Allergen Instances:**
- **Gluten**
  - Associated with Food Item: Tortilla

This instance of "El Buen Sabor" captures the essence of a lively Mexican dining experience, incorporating cultural elements and ensuring a comprehensive overview of the operational structure while respecting relationships and constraints defined in the model.

<domain_model>
model Restaurant

dataType Date
operations
    Date (date : String)
end

dataType Time
operations
   Time (time : String)
end

enum SeatingPreference {
    Inside,
    Patio
}

enum SmokingPreference {
    Smoking,
    NonSmoking
}

enum PaymentMethod {
    Cash,
    CreditCard
}

enum ItemType {
    Apetizer,
    Main,
    Dessert,
    Beverage
}

enum UnitOfMeasure {
    Ounce,
    Sheet,
    Pound,
    Gram,
    Dozen
}

enum AllergenType {
    Lactose,
    Seafood,
    Nuts,
    Gluten
}

enum Diet {
    Vegetarian,
    Vegan,
    Kosher,
    Halal
}

enum Language {
    English,
    Spanish,
    German,
    Italian
}

class Restaurant
attributes
    name : String
end

abstract class Reservation
attributes
    time : Time
    date : Date
    numberPeople : Integer
    name : String
    phoneNumber : String
    number : Integer
end

class Individual < Reservation
attributes
    seating : SeatingPreference
    smoking : SmokingPreference
end

class Banquet < Reservation
attributes
    groupName : String
    paymentMethod : PaymentMethod
    busService : Boolean
end

class Table
attributes
	number : Integer
    description : String
    capacity : Integer
end

class ItemOrder
attributes
    time : Time
end

class MenuItem
attributes
    description : String
    prepTime : Real
    classification : ItemType
end

class FoodItem
attributes
    number : Integer
    description : String
    purchaseFlag : Boolean
    unit : UnitOfMeasure
end

class Allergen
attributes
    type : AllergenType
end

class Person
attributes
	name : String
end

class Owner < Person
attributes
	percentageShares : Integer
end

class RegularCustomer < Person
attributes
	prefferedLanguage : Language
end

class DietaryRequirement
attributes
	diet : Diet
end

class ReportedAllergy
attributes
	allergen : AllergenType
end

abstract class Worker < Person
attributes
	dateOfBirth : Date
    phoneNumber : String
end

class HeadWaiter < Worker
end

class Waiter < Worker
attributes
    spokenLanguage : Language
end

class Manager < Worker
end

class Cook < Worker
attributes
    yearsOfExperience : Integer
end

class Chef < Worker
end

class BusDriver < Worker
attributes
    driverLicenseNr : String
end


association RestaurantOwner between
    Restaurant [1..*]
    Owner [1..*]
end

association RestaurantReservation between
    Restaurant [0..1]
    Reservation [0..*]
end

association ReservationCustomer between
    Reservation [0..*]
    RegularCustomer [0..1]
end

association ReservationWaiter between
    Reservation [*]
    Waiter [1..*] role servedBy
 end

association BanquetBusDriver between
    Banquet [1]
    BusDriver [0..*]
end

association ReservationTable between
    Reservation [1]
    Table [1..*] role assignedTo
end

association ReservationItemOrdered between
    Reservation [1]
    ItemOrder [0..*]
end

association ItemOrderMenuItem between
    ItemOrder [*]
    MenuItem [1] role item
end

association MenuItemFoodItem between
    MenuItem [*] role isUtilized
    FoodItem [*] role utilizes
end

association FoodItemAllergen between
    FoodItem [*]
    Allergen [*] role contains
end

association MenuItemChef between
    MenuItem [*] role designs
    Chef [1] role designedBy
end

association ChefCook between
    Chef [1] role underSupervisionOf
    Cook [1..*] role supervises
end

association HeadWaiterWaiter between
    HeadWaiter [1]
    Waiter [1..*] role responsibleFor
end


constraints
context Table inv PositiveCapacity:
    self.capacity > 0

context Cook inv PositiveExperience:
    self.yearsOfExperience >= 0

context Restaurant inv TotalOwnerShares:
    self.owner -> collect(o | o.percentageShares) -> sum() = 100

context Reservation inv TablesCapacityGreaterThanPeople:
    self.assignedTo -> collect(t | t.capacity) -> sum() >= self.numberPeople
</domain_model>

<object_model>
!new Restaurant('restaurant15')
!restaurant15.name := 'El Buen Sabor'

!new Owner('owner30')
!owner30.name := 'Carlos Hernandez'
!owner30.percentageShares := 70

!new Owner('owner31')
!owner31.name := 'Lucia Ramirez'
!owner31.percentageShares := 30

!insert (restaurant15, owner30) into RestaurantOwner
!insert (restaurant15, owner31) into RestaurantOwner

!new Table('table39')
!table39.number := 101
!table39.description := 'Booth near the mariachi stage.'
!table39.capacity := 6

!new Table('table40')
!table40.number := 202
!table40.description := 'Intimate table for two by the window.'
!table40.capacity := 2

!new Table('table41')
!table41.number := 305
!table41.description := 'Large communal table.'
!table41.capacity := 10

!new RegularCustomer('customer10')
!customer10.name := 'Maria Lopez'
!customer10.prefferedLanguage := #Spanish

!new RegularCustomer('customer11')
!customer11.name := 'Oliver White'
!customer11.prefferedLanguage := #English

!new Individual('individualReservation8')
!individualReservation8.date := Date('2023-12-01')
!individualReservation8.time := Time('20:00')
!individualReservation8.numberPeople := 1
!individualReservation8.name := 'Maria Lopez'
!individualReservation8.phoneNumber := '9876543210'  -- Arbitrary phone number
!individualReservation8.seating := #Inside
!individualReservation8.smoking := #NonSmoking
!individualReservation8.number := 8

!insert (restaurant15, individualReservation8) into RestaurantReservation
!insert (individualReservation8, customer10) into ReservationCustomer
!insert (individualReservation8, table40) into ReservationTable

!new Banquet('banquet12')
!banquet12.date := Date('2023-12-01')
!banquet12.time := Time('19:00')
!banquet12.groupName := 'Oliver\'s Anniversary Celebration'
!banquet12.numberPeople := 12
!banquet12.paymentMethod := #CreditCard

!insert (restaurant15, banquet12) into RestaurantReservation
!insert (banquet12, customer11) into ReservationCustomer
!insert (banquet12, table41) into ReservationTable
!insert (banquet12, table39) into ReservationTable

!new Waiter('waiter25')
!waiter25.name := 'Sofia Cruz'
!waiter25.dateOfBirth := Date('1995-01-01')     -- Arbitrary date of birth
!waiter25.phoneNumber := '1111111111'           -- Arbitrary phone number
!waiter25.spokenLanguage := #Spanish

!new Waiter('waiter26')
!waiter26.name := 'Juan Garcia'
!waiter26.dateOfBirth := Date('1993-01-01')     -- Arbitrary date of birth
!waiter26.phoneNumber := '2222222222'           -- Arbitrary phone number
!waiter26.spokenLanguage := #Spanish

!insert (individualReservation8, waiter25) into ReservationWaiter
!insert (banquet12, waiter25) into ReservationWaiter
!insert (banquet12, waiter26) into ReservationWaiter

!new HeadWaiter('headwaiter11')
!headwaiter11.name := 'Teresa Montes'
!headwaiter11.dateOfBirth := Date('1981-01-01')  -- Arbitrary date of birth
!headwaiter11.phoneNumber := '3333333333'        -- Arbitrary phone number

!insert (headwaiter11, waiter25) into HeadWaiterWaiter
!insert (headwaiter11, waiter26) into HeadWaiterWaiter

!new BusDriver('busdriver12')
!busdriver12.name := 'Diego Morales'

!insert (banquet12, busdriver12) into BanquetBusDriver

!new Chef('chef15')
!chef15.name := 'Rosa Castillo'
!chef15.dateOfBirth := Date('1970-01-01')       -- Arbitrary date of birth
!chef15.phoneNumber := '4444444444'             -- Arbitrary phone number

!new Cook('cook18')
!cook18.name := 'Pedro Fernandez'
!cook18.dateOfBirth := Date('1988-01-01')       -- Arbitrary date of birth
!cook18.phoneNumber := '5555555555'             -- Arbitrary phone number
!cook18.yearsOfExperience := 5

!insert (chef15, cook18) into ChefCook

!new MenuItem('menuitem20')
!menuitem20.description := 'Slow-roasted pork marinated in citrus juice and annatto.'
!menuitem20.prepTime := 50.0
!menuitem20.classification := #Main

!insert (menuitem20, chef15) into MenuItemChef

!new FoodItem('fooditem32')
!fooditem32.number := 32
!fooditem32.description := 'Pork'
!fooditem32.purchaseFlag := true
!fooditem32.unit := #Pound

!new FoodItem('fooditem33')
!fooditem33.number := 33
!fooditem33.description := 'Tortilla'
!fooditem33.purchaseFlag := true
!fooditem33.unit := #Dozen

!insert (menuitem20, fooditem32) into MenuItemFoodItem
!insert (menuitem20, fooditem33) into MenuItemFoodItem

!new MenuItem('menuitem21')
!menuitem21.description := 'Crispy fried dough pastries dusted with cinnamon sugar served with chocolate dipping sauce.'
!menuitem21.prepTime := 25.0
!menuitem21.classification := #Dessert

!insert (menuitem21, chef15) into MenuItemChef

!new FoodItem('fooditem34')
!fooditem34.number := 34
!fooditem34.description := 'Dough'
!fooditem34.purchaseFlag := true
!fooditem34.unit := #Pound

!new FoodItem('fooditem35')
!fooditem35.number := 35
!fooditem35.description := 'Chocolate'
!fooditem35.purchaseFlag := true
!fooditem35.unit := #Ounce

!insert (menuitem21, fooditem34) into MenuItemFoodItem
!insert (menuitem21, fooditem35) into MenuItemFoodItem

!new Allergen('allergen13')
!allergen13.type := #Gluten

!insert (fooditem33, allergen13) into FoodItemAllergen
</object_model>

Your task is to generate a complete and diverse instance, in plain English, for a given category and based on a provided conceptual model description. The instance must adhere to these requirements: - Be self-contained: Include all required attributes, relationships, and related entities in full detail. - Conform to the model: Fulfill the constraints, multiplicities, relationships, and attributes defined in the class diagram model. - Understand the context: Ensure that its attributes and relationships are relevant. - Avoid duplication of instances: Take into consideration those instances previously built to avoid redundancy. - Semantic diversity: From a semantic point of view, incorporate varied scenarios, including regional, linguistic, or cultural differences. - Structural diversity: Include instances with different numbers of elements, different numbers of relationships and complexity, and create varied examples by changing entity attributes.

You are tasked with creating instances of a conceptual model in the UML-based Specification Environment (USE). You will receive: 1. The UML class diagram that the instance follows. 2. A sample syntax of instances creation. 3. A description of the instance that needs to be created.  Your goal is to generate these instances based on the provided description, adhering strictly to these requirements: - The output must be in plain text, with no additional comments, descriptions, or explanations. - Ensure that the created instance adheres to the provided description. - Follow the syntax sample provided, without deviation. - Take into account previously created instances to avoid using duplicate naming.

<role>
You are an expert software and system modeler. You are able to assess the semantic quality of object models that have been created to conform to a domain model. The models are defined in USE (UML-based Specification Environment) and OCL (Object Constraint Language).

Your primary capability is "Semantic Reality Checking". You do not just check for syntactic correctness; you check for real-world plausibility and logical consistency within a given domain.
</role>

<context>
The user will provide two types of content:
1. **Domain Model (.use)**: A class diagram definition including classes, attributes, enums, relationships, multiplicities and roles.
2. **Object Model (.soil)**: An object model. This object model can be seen as a script composed of instructions for the creation of objects, relationships and setting attribute values (snapshot).

Your goal is to act as a judge to determine if the object model represents a **REALISTIC** scenario based on the domain model and common sense real-world logic.
</context>

<definitions>
- **Realistic**: The object model is syntactically correct AND semantically plausible (e.g., A 'Person' has an age between 0 and 120; a 'Car' has a positive price).
- **Unrealistic**: The object model contains contradictions, impossible physical values, or nonsensical relationships (e.g., A 'Person' is their own father; a 'Product' has a negative weight).
- **Doubtful**: You cannot determine whether the object model is realistic or not.
</definitions>

<instructions>
Follow this thinking process strictly before generating the final output:

1. **Analyze the Domain (.use)**: Understand the classes and what they represent in the real world.
2. **Analyze the Instances (.soil)**: Map the created objects to their classes. Look at the specific values assigned to attributes and the relationships created between objects.
3. **Evaluate Semantics**:
    - Apply "Common Sense Knowledge" to the attribute values.
    - Check cardinality and relationship logic beyond simple OCL constraints.
    - Identify any outliers or logical fallacies.
4. **Determine Verdict**: Select one of the defined labels (Realistic/Unrealistic/Doubtful).
</instructions>

<constraints>
- **Tone**: Objective, Analytical, Technical.
- **Verbosity**: Low. Be direct.
- **Reasoning**: The "Why" section must be concise and specific, citing variable names, objects, or relationships when possible.
- Do not output the internal thinking process. Only output the final formatted result.
</constraints>

<output_format>
Structure your response exactly as follows:

**Response**: [Realistic | Unrealistic | Doubtful]
**Why**: [Concise explanation of your reasoning. If Unrealistic, specify the exact objects, values or relationships that break realism.]
</output_format>

<examples>
Example 1:
Input:

<domain_model>
class Person
attributes
    age: Integer
end
class Pet
attributes
    name: String
end
association Ownership between
    Person [1] role owner
    Pet [*] role pets
end
</domain_model>
<object_model>
!new Person('p1')
!p1.age := 250
!new Pet('pet1')
!pet1.name := 'Luna'
… 1.000 more pets creation …
!pet1000.name := 'Max'
!insert (p1, pet1) into Ownership
…1.000 more pets associated with p1 …
!insert (p1, pet1000) into Ownership
</object_model>

Output:

**Response**: Unrealistic
**Why**: The object 'p1' of class 'Person' has an age of 250, which exceeds the biologically plausible lifespan of a human. Although it is not plausible that 1 same person owns 1.000 pets.


Example 2:
Input:

<domain_model>
class Car
attributes
    brand: String
end
class Person
attributes
    name: String
end
association Ownership between
    Person [1] role owner
    Car [*] role cars
end
</domain_model>
<object_model>
!new Person('p1')
!p1.age := 19
!new Car('c1')
!c1.brand := 'Toyota'
!insert (p1, c1) into Ownership
</object_model>

Output:

**Response**: Realistic
**Why**: The object 'c1' has a valid, recognized real-world car brand assigned, and its plausible that a teenager has only one car.


Example 3:
Input:

<domain_model>
class Component
attributes
    setting_val: Integer
    config_mode: String
end
</domain_model>
<object_model>
!new Component('c1')
!c1.setting_val := 8080
!c1.config_mode := 'Legacy'
</object_model>

Output:

**Response**: Doubtful
**Why**: The class 'Component' and attribute 'setting_val' are generic and lack specific real-world semantic context. Without knowing what specific physical or software system this represents, it is impossible to determine if '8080' is a realistic value or an outlier.

</examples>

For the same category and model description, generate another instance that is structurally and semantically different from the previous ones

Continue with the following description, creating the instance according to the syntax example and this specification: 
## Boundary Case Instance: Restaurant System

### Restaurant Details
- **Restaurant Name**: "Global Gourmets"

### Owners
1. **Owner 1**: 
   - Name: Hiro Tanaka
   - Percentage Shares: 60%
2. **Owner 2**: 
   - Name: Linda Chen
   - Percentage Shares: 40%

### Regular Customers
1. **Regular Customer**:
   - Name: Fatimah Noor
   - Preferred Language: English

### Workers
1. **Head Waiter**: 
   - Name: Ivan Petrov
   - Years of Experience: 6
   - Languages Spoken: Russian, English

2. **Waiters**:
   - Name: Jasmine Oladele
   - Years of Experience: 3
   - Languages Spoken: English, Yoruba
   - Head Waiter: Ivan Petrov

3. **Chefs**:
   - Name: Ewan McGregor
   - Years of Experience: 12
   - Languages Spoken: English, Gaelic

4. **Cooks**:
   - Name: Kofi Mensah
   - Years of Experience: 5

### Tables
1. **Table 1**: 
   - Number: 21
   - Description: "Rooftop terrace seating"
   - Capacity: 2

2. **Table 2**: 
   - Number: 22
   - Description: "Private booth"
   - Capacity: 2

3. **Table 3**: 
   - Number: 23
   - Description: "Compact family table"
   - Capacity: 3

### Menu Items
1. **Menu Item**: 
   - Name: "Spicy Fusion Rolls"
   - Description: "A blend of Asian spices with a Western twist."
   - Preparation Time: 25 minutes
   - Classifications: Main
   - Designer: Ewan McGregor

### Food Items
1. **Food Item**: 
   - Name: "Wasabi"
   - Unit: Gram
   - Purchase Flag: True

2. **Food Item**: 
   - Name: "Rice Paper"
   - Unit: Sheet
   - Purchase Flag: False

### Allergens
1. **Allergen**: 
   - Allergen Type: Seafood

### Reservations
1. **Reservation (Individual)**:
   - Reservation Date: "2023-11-15"
   - Reservation Time: "19:00"
   - Reserved By: Fatimah Noor
   - Seating Preference: Patio
   - Smoking Preference: NonSmoking
   - Serving Waiter: Jasmine Oladele
   - Assigned Tables: Table 1, Table 2 (Combining small tables for a single reservation)
   - Number of People: 2

### Item Orders
1. **Item Order**:
   - Time Ordered: "19:10"
   - Associated Reservation: Individual Reservation made by Fatimah Noor
   - Ordered Menu Item: Spicy Fusion Rolls

### Relationships
- The restaurant "Global Gourmets" demonstrates diversity with owners Hiro Tanaka and Linda Chen sharing ownership in a 60/40 split, complying with TotalOwnerShares constraint.
- Regular customer Fatimah Noor prefers English and enjoys a reserved dining experience via a non-smoking patio setting.
- Ivan Petrov, the experienced head waiter, ensures service excellence, with Jasmine Oladele as a multilingual server handling the reservation.
- Chef Ewan McGregor’s distinctive creation, Spicy Fusion Rolls, includes appealing food items like Wasabi and Rice Paper, maintaining allergen awareness of Seafood.
- The facility features a compact seating arrangement where smaller tables are collectively used to meet reservation requirements, highlighting creative capacity management within set constraints.

This boundary instance illustrates a mix of private, compact seating for individual reservations and diverse linguistic capabilities while maintaining clear ownership and culinary distinctiveness.

The last output is partially incorrect: 
checking structure...
Multiplicity constraint violation in association `ReservationTable':
  Object `table33' of class `Table' is connected to 0 objects of class `Reservation'
  at association end `reservation' but the multiplicity is specified as `1'.

Please provide the complete output corrected

<domain_model>
model Restaurant

dataType Date
operations
    Date (date : String)
end

dataType Time
operations
   Time (time : String)
end

enum SeatingPreference {
    Inside,
    Patio
}

enum SmokingPreference {
    Smoking,
    NonSmoking
}

enum PaymentMethod {
    Cash,
    CreditCard
}

enum ItemType {
    Apetizer,
    Main,
    Dessert,
    Beverage
}

enum UnitOfMeasure {
    Ounce,
    Sheet,
    Pound,
    Gram,
    Dozen
}

enum AllergenType {
    Lactose,
    Seafood,
    Nuts,
    Gluten
}

enum Diet {
    Vegetarian,
    Vegan,
    Kosher,
    Halal
}

enum Language {
    English,
    Spanish,
    German,
    Italian
}

class Restaurant
attributes
    name : String
end

abstract class Reservation
attributes
    time : Time
    date : Date
    numberPeople : Integer
    name : String
    phoneNumber : String
    number : Integer
end

class Individual < Reservation
attributes
    seating : SeatingPreference
    smoking : SmokingPreference
end

class Banquet < Reservation
attributes
    groupName : String
    paymentMethod : PaymentMethod
    busService : Boolean
end

class Table
attributes
	number : Integer
    description : String
    capacity : Integer
end

class ItemOrder
attributes
    time : Time
end

class MenuItem
attributes
    description : String
    prepTime : Real
    classification : ItemType
end

class FoodItem
attributes
    number : Integer
    description : String
    purchaseFlag : Boolean
    unit : UnitOfMeasure
end

class Allergen
attributes
    type : AllergenType
end

class Person
attributes
	name : String
end

class Owner < Person
attributes
	percentageShares : Integer
end

class RegularCustomer < Person
attributes
	prefferedLanguage : Language
end

class DietaryRequirement
attributes
	diet : Diet
end

class ReportedAllergy
attributes
	allergen : AllergenType
end

abstract class Worker < Person
attributes
	dateOfBirth : Date
    phoneNumber : String
end

class HeadWaiter < Worker
end

class Waiter < Worker
attributes
    spokenLanguage : Language
end

class Manager < Worker
end

class Cook < Worker
attributes
    yearsOfExperience : Integer
end

class Chef < Worker
end

class BusDriver < Worker
attributes
    driverLicenseNr : String
end


association RestaurantOwner between
    Restaurant [1..*]
    Owner [1..*]
end

association RestaurantReservation between
    Restaurant [0..1]
    Reservation [0..*]
end

association ReservationCustomer between
    Reservation [0..*]
    RegularCustomer [0..1]
end

association ReservationWaiter between
    Reservation [*]
    Waiter [1..*] role servedBy
 end

association BanquetBusDriver between
    Banquet [1]
    BusDriver [0..*]
end

association ReservationTable between
    Reservation [1]
    Table [1..*] role assignedTo
end

association ReservationItemOrdered between
    Reservation [1]
    ItemOrder [0..*]
end

association ItemOrderMenuItem between
    ItemOrder [*]
    MenuItem [1] role item
end

association MenuItemFoodItem between
    MenuItem [*] role isUtilized
    FoodItem [*] role utilizes
end

association FoodItemAllergen between
    FoodItem [*]
    Allergen [*] role contains
end

association MenuItemChef between
    MenuItem [*] role designs
    Chef [1] role designedBy
end

association ChefCook between
    Chef [1] role underSupervisionOf
    Cook [1..*] role supervises
end

association HeadWaiterWaiter between
    HeadWaiter [1]
    Waiter [1..*] role responsibleFor
end


constraints
context Table inv PositiveCapacity:
    self.capacity > 0

context Cook inv PositiveExperience:
    self.yearsOfExperience >= 0

context Restaurant inv TotalOwnerShares:
    self.owner -> collect(o | o.percentageShares) -> sum() = 100

context Reservation inv TablesCapacityGreaterThanPeople:
    self.assignedTo -> collect(t | t.capacity) -> sum() >= self.numberPeople
</domain_model>

<object_model>
!new Restaurant('restaurant12')
!restaurant12.name := 'Global Gourmets'

!new Owner('owner23')
!owner23.name := 'Hiro Tanaka'
!owner23.percentageShares := 60

!new Owner('owner24')
!owner24.name := 'Linda Chen'
!owner24.percentageShares := 40

!insert (restaurant12, owner23) into RestaurantOwner
!insert (restaurant12, owner24) into RestaurantOwner

!new RegularCustomer('customer8')
!customer8.name := 'Fatimah Noor'
!customer8.prefferedLanguage := #English

!new HeadWaiter('headwaiter10')
!headwaiter10.name := 'Ivan Petrov'
!headwaiter10.dateOfBirth := Date('1987-01-01')  -- Arbitrary date of birth
!headwaiter10.phoneNumber := '1234567890'        -- Arbitrary phone number

!new Waiter('waiter19')
!waiter19.name := 'Jasmine Oladele'
!waiter19.dateOfBirth := Date('1990-01-01')      -- Arbitrary date of birth
!waiter19.phoneNumber := '0987654321'            -- Arbitrary phone number
!waiter19.spokenLanguage := #English

!insert (headwaiter10, waiter19) into HeadWaiterWaiter

!new Chef('chef13')
!chef13.name := 'Ewan McGregor'
!chef13.dateOfBirth := Date('1980-01-01')        -- Arbitrary date of birth
!chef13.phoneNumber := '1029384756'              -- Arbitrary phone number

!new Cook('cook15')
!cook15.name := 'Kofi Mensah'
!cook15.dateOfBirth := Date('1995-01-01')        -- Arbitrary date of birth
!cook15.phoneNumber := '5647382910'              -- Arbitrary phone number
!cook15.yearsOfExperience := 5

!insert (chef13, cook15) into ChefCook

!new Table('table31')
!table31.number := 21
!table31.description := 'Rooftop terrace seating'
!table31.capacity := 2

!new Table('table32')
!table32.number := 22
!table32.description := 'Private booth'
!table32.capacity := 2

!new Table('table33')
!table33.number := 23
!table33.description := 'Compact family table'
!table33.capacity := 3

!new MenuItem('menuitem17')
!menuitem17.description := 'A blend of Asian spices with a Western twist.'
!menuitem17.prepTime := 25.0
!menuitem17.classification := #Main

!insert (menuitem17, chef13) into MenuItemChef

!new FoodItem('fooditem26')
!fooditem26.number := 26
!fooditem26.description := 'Wasabi'
!fooditem26.purchaseFlag := true
!fooditem26.unit := #Gram

!new FoodItem('fooditem27')
!fooditem27.number := 27
!fooditem27.description := 'Rice Paper'
!fooditem27.purchaseFlag := false
!fooditem27.unit := #Sheet

!insert (menuitem17, fooditem26) into MenuItemFoodItem
!insert (menuitem17, fooditem27) into MenuItemFoodItem

!new Allergen('allergen11')
!allergen11.type := #Seafood

!insert (fooditem26, allergen11) into FoodItemAllergen

!new Individual('individualReservation6')
!individualReservation6.date := Date('2023-11-15')
!individualReservation6.time := Time('19:00')
!individualReservation6.numberPeople := 2
!individualReservation6.name := 'Fatimah Noor'
!individualReservation6.phoneNumber := '5555555555'  -- Arbitrary phone number
!individualReservation6.seating := #Patio
!individualReservation6.smoking := #NonSmoking
!individualReservation6.number := 6

!insert (restaurant12, individualReservation6) into RestaurantReservation
!insert (individualReservation6, customer8) into ReservationCustomer
!insert (individualReservation6, waiter19) into ReservationWaiter
!insert (individualReservation6, table31) into ReservationTable
!insert (individualReservation6, table32) into ReservationTable
!insert (individualReservation6, table33) into ReservationTable  -- Ensure all tables meet the constraint

!new ItemOrder('itemorder3')
!itemorder3.time := Time('19:10')

!insert (individualReservation6, itemorder3) into ReservationItemOrdered
!insert (itemorder3, menuitem17) into ItemOrderMenuItem
</object_model>

Your task is to generate a complete and diverse instance, in plain English, for a given category and based on a provided conceptual model description. The instance must adhere to these requirements: - Be self-contained: Include all required attributes, relationships, and related entities in full detail. - Conform to the model: Fulfill the constraints, multiplicities, relationships, and attributes defined in the class diagram model. - Understand the context: Ensure that its attributes and relationships are relevant. - Avoid duplication of instances: Take into consideration those instances previously built to avoid redundancy. - Semantic diversity: From a semantic point of view, incorporate varied scenarios, including regional, linguistic, or cultural differences. - Structural diversity: Include instances with different numbers of elements, different numbers of relationships and complexity, and create varied examples by changing entity attributes.

You are tasked with creating instances of a conceptual model in the UML-based Specification Environment (USE). You will receive: 1. The UML class diagram that the instance follows. 2. A sample syntax of instances creation. 3. A description of the instance that needs to be created.  Your goal is to generate these instances based on the provided description, adhering strictly to these requirements: - The output must be in plain text, with no additional comments, descriptions, or explanations. - Ensure that the created instance adheres to the provided description. - Follow the syntax sample provided, without deviation. - Take into account previously created instances to avoid using duplicate naming.

<role>
You are an expert software and system modeler. You are able to assess the semantic quality of object models that have been created to conform to a domain model. The models are defined in USE (UML-based Specification Environment) and OCL (Object Constraint Language).

Your primary capability is "Semantic Reality Checking". You do not just check for syntactic correctness; you check for real-world plausibility and logical consistency within a given domain.
</role>

<context>
The user will provide two types of content:
1. **Domain Model (.use)**: A class diagram definition including classes, attributes, enums, relationships, multiplicities and roles.
2. **Object Model (.soil)**: An object model. This object model can be seen as a script composed of instructions for the creation of objects, relationships and setting attribute values (snapshot).

Your goal is to act as a judge to determine if the object model represents a **REALISTIC** scenario based on the domain model and common sense real-world logic.
</context>

<definitions>
- **Realistic**: The object model is syntactically correct AND semantically plausible (e.g., A 'Person' has an age between 0 and 120; a 'Car' has a positive price).
- **Unrealistic**: The object model contains contradictions, impossible physical values, or nonsensical relationships (e.g., A 'Person' is their own father; a 'Product' has a negative weight).
- **Doubtful**: You cannot determine whether the object model is realistic or not.
</definitions>

<instructions>
Follow this thinking process strictly before generating the final output:

1. **Analyze the Domain (.use)**: Understand the classes and what they represent in the real world.
2. **Analyze the Instances (.soil)**: Map the created objects to their classes. Look at the specific values assigned to attributes and the relationships created between objects.
3. **Evaluate Semantics**:
    - Apply "Common Sense Knowledge" to the attribute values.
    - Check cardinality and relationship logic beyond simple OCL constraints.
    - Identify any outliers or logical fallacies.
4. **Determine Verdict**: Select one of the defined labels (Realistic/Unrealistic/Doubtful).
</instructions>

<constraints>
- **Tone**: Objective, Analytical, Technical.
- **Verbosity**: Low. Be direct.
- **Reasoning**: The "Why" section must be concise and specific, citing variable names, objects, or relationships when possible.
- Do not output the internal thinking process. Only output the final formatted result.
</constraints>

<output_format>
Structure your response exactly as follows:

**Response**: [Realistic | Unrealistic | Doubtful]
**Why**: [Concise explanation of your reasoning. If Unrealistic, specify the exact objects, values or relationships that break realism.]
</output_format>

<examples>
Example 1:
Input:

<domain_model>
class Person
attributes
    age: Integer
end
class Pet
attributes
    name: String
end
association Ownership between
    Person [1] role owner
    Pet [*] role pets
end
</domain_model>
<object_model>
!new Person('p1')
!p1.age := 250
!new Pet('pet1')
!pet1.name := 'Luna'
… 1.000 more pets creation …
!pet1000.name := 'Max'
!insert (p1, pet1) into Ownership
…1.000 more pets associated with p1 …
!insert (p1, pet1000) into Ownership
</object_model>

Output:

**Response**: Unrealistic
**Why**: The object 'p1' of class 'Person' has an age of 250, which exceeds the biologically plausible lifespan of a human. Although it is not plausible that 1 same person owns 1.000 pets.


Example 2:
Input:

<domain_model>
class Car
attributes
    brand: String
end
class Person
attributes
    name: String
end
association Ownership between
    Person [1] role owner
    Car [*] role cars
end
</domain_model>
<object_model>
!new Person('p1')
!p1.age := 19
!new Car('c1')
!c1.brand := 'Toyota'
!insert (p1, c1) into Ownership
</object_model>

Output:

**Response**: Realistic
**Why**: The object 'c1' has a valid, recognized real-world car brand assigned, and its plausible that a teenager has only one car.


Example 3:
Input:

<domain_model>
class Component
attributes
    setting_val: Integer
    config_mode: String
end
</domain_model>
<object_model>
!new Component('c1')
!c1.setting_val := 8080
!c1.config_mode := 'Legacy'
</object_model>

Output:

**Response**: Doubtful
**Why**: The class 'Component' and attribute 'setting_val' are generic and lack specific real-world semantic context. Without knowing what specific physical or software system this represents, it is impossible to determine if '8080' is a realistic value or an outlier.

</examples>

For the same category and model description, generate another instance that is structurally and semantically different from the previous ones

Continue with the following description, creating the instance according to the syntax example and this specification: 
## Complex Instance: Culinary Journeys

### Restaurant: "Culinary Journeys"
- **Name:** Culinary Journeys
- **Owners:**
  1. **Owner Name:** Yusuf Al-Mahdi
     - **Percentage Shares:** 35%
     - **Languages Spoken:** English, Arabic
  2. **Owner Name:** Elena Petrova
     - **Percentage Shares:** 30%
     - **Languages Spoken:** English, Russian
  3. **Owner Name:** Chen Wei
     - **Percentage Shares:** 35%
     - **Languages Spoken:** English, Mandarin
- **Menus:**
  1. **Chef:** Anil Desai
     - **Languages Spoken:** English, Gujarati
     - **Cook Team:**
       - **Cook Name:** Fiona O'Neill
         - **Years of Experience:** 6
         - **Languages Spoken:** English, Gaelic
       - **Cook Name:** Olivier Dupont
         - **Years of Experience:** 2
         - **Languages Spoken:** French, English

### Reservations
1. **Reservation (Banquet):**
   - **Date:** February 10, 2023
   - **Time:** 17:00
   - **Group Name:** International Entrepreneurs' Summit
   - **Payment Method:** CreditCard
   - **Assigned BusDriver:** Adebayo Adeyemi
     - **Languages Spoken:** English, Yoruba
   - **Assigned Tables:**
     - **Table 1:** 
       - **Number:** 12
       - **Description:** Near the AV setup
       - **Capacity:** 20
   - **Total Attendees:** 18
   - **Assigned Waiters:**
     - **HeadWaiter:** Suzana Ilic
       - **Languages Spoken:** English, Serbian
     - **Waiters:**
       - **Waiter Name:** Laila Ahmadi
         - **Languages Spoken:** Persian, English
       - **Waiter Name:** Maxime Lefevre
         - **Languages Spoken:** French, English

2. **Reservation (Individual):**
   - **Date:** February 10, 2023
   - **Time:** 18:30
   - **Customer Name:** Marco Romano
   - **Seating Preference:** Inside
   - **Smoking Preference:** NonSmoking
   - **Assigned Table:** 
     - **Number:** 15
     - **Description:** Near the fireplace
     - **Capacity:** 4
   - **Assigned Waiters:**
     - **HeadWaiter:** Same as above
     - **Waiter Name:** Camila Santos
         - **Languages Spoken:** Portuguese, English

### Menu Items
1. **Menu Item (Main): Roasted Lamb with Herb Rub**
   - **Description:** New Zealand lamb roasted with a blend of herbs
   - **Preparation Time:** 45 minutes
   - **Chef:** Anil Desai (as above)
   - **Food Items:**
     - **FoodItem 1:** Lamb
       - **Unit:** Pound
     - **FoodItem 2:** Mixed Herbs
       - **Unit:** Ounce
       - **Dietary Requirements:** Kosher

2. **Menu Item (Dessert): Baklava**
   - **Description:** Traditional Middle-Eastern dessert with honey and nuts
   - **Preparation Time:** 20 minutes
   - **Chef:** Anil Desai (as above)
   - **Food Items:**
     - **FoodItem 1:** Phyllo Dough
       - **Unit:** Sheet
     - **FoodItem 2:** Walnuts
       - **Unit:** Pound
       - **Allergen Type:** Nuts

### Dietary Requirements
- **RegularCustomer:** Marco Romano
  - **Dietary Requirement:** Kosher
  - **Preferred Language:** Italian

This instance showcases a rich cultural tapestry with an international summit event providing a diverse setting. The menu features globally-inspired dishes, and dietary needs are attended to with care by utilizing different international languages and cuisines. Culinary Journeys uniquely assembles entities to reflect a global yet harmonious restaurant experience.

The last output is partially incorrect: 
temp.soil> 
temp.soil> !insert (fooditem29, diet9) into FoodItemDietary
<input>:1:0: Association `FoodItemDietary' does not exist.

temp.soil> 
temp.soil> !insert (customer9, diet10) into DietaryRequirement
<input>:1:0: Association `DietaryRequirement' does not exist.

Please provide the complete output corrected

<domain_model>
model Restaurant

dataType Date
operations
    Date (date : String)
end

dataType Time
operations
   Time (time : String)
end

enum SeatingPreference {
    Inside,
    Patio
}

enum SmokingPreference {
    Smoking,
    NonSmoking
}

enum PaymentMethod {
    Cash,
    CreditCard
}

enum ItemType {
    Apetizer,
    Main,
    Dessert,
    Beverage
}

enum UnitOfMeasure {
    Ounce,
    Sheet,
    Pound,
    Gram,
    Dozen
}

enum AllergenType {
    Lactose,
    Seafood,
    Nuts,
    Gluten
}

enum Diet {
    Vegetarian,
    Vegan,
    Kosher,
    Halal
}

enum Language {
    English,
    Spanish,
    German,
    Italian
}

class Restaurant
attributes
    name : String
end

abstract class Reservation
attributes
    time : Time
    date : Date
    numberPeople : Integer
    name : String
    phoneNumber : String
    number : Integer
end

class Individual < Reservation
attributes
    seating : SeatingPreference
    smoking : SmokingPreference
end

class Banquet < Reservation
attributes
    groupName : String
    paymentMethod : PaymentMethod
    busService : Boolean
end

class Table
attributes
	number : Integer
    description : String
    capacity : Integer
end

class ItemOrder
attributes
    time : Time
end

class MenuItem
attributes
    description : String
    prepTime : Real
    classification : ItemType
end

class FoodItem
attributes
    number : Integer
    description : String
    purchaseFlag : Boolean
    unit : UnitOfMeasure
end

class Allergen
attributes
    type : AllergenType
end

class Person
attributes
	name : String
end

class Owner < Person
attributes
	percentageShares : Integer
end

class RegularCustomer < Person
attributes
	prefferedLanguage : Language
end

class DietaryRequirement
attributes
	diet : Diet
end

class ReportedAllergy
attributes
	allergen : AllergenType
end

abstract class Worker < Person
attributes
	dateOfBirth : Date
    phoneNumber : String
end

class HeadWaiter < Worker
end

class Waiter < Worker
attributes
    spokenLanguage : Language
end

class Manager < Worker
end

class Cook < Worker
attributes
    yearsOfExperience : Integer
end

class Chef < Worker
end

class BusDriver < Worker
attributes
    driverLicenseNr : String
end


association RestaurantOwner between
    Restaurant [1..*]
    Owner [1..*]
end

association RestaurantReservation between
    Restaurant [0..1]
    Reservation [0..*]
end

association ReservationCustomer between
    Reservation [0..*]
    RegularCustomer [0..1]
end

association ReservationWaiter between
    Reservation [*]
    Waiter [1..*] role servedBy
 end

association BanquetBusDriver between
    Banquet [1]
    BusDriver [0..*]
end

association ReservationTable between
    Reservation [1]
    Table [1..*] role assignedTo
end

association ReservationItemOrdered between
    Reservation [1]
    ItemOrder [0..*]
end

association ItemOrderMenuItem between
    ItemOrder [*]
    MenuItem [1] role item
end

association MenuItemFoodItem between
    MenuItem [*] role isUtilized
    FoodItem [*] role utilizes
end

association FoodItemAllergen between
    FoodItem [*]
    Allergen [*] role contains
end

association MenuItemChef between
    MenuItem [*] role designs
    Chef [1] role designedBy
end

association ChefCook between
    Chef [1] role underSupervisionOf
    Cook [1..*] role supervises
end

association HeadWaiterWaiter between
    HeadWaiter [1]
    Waiter [1..*] role responsibleFor
end


constraints
context Table inv PositiveCapacity:
    self.capacity > 0

context Cook inv PositiveExperience:
    self.yearsOfExperience >= 0

context Restaurant inv TotalOwnerShares:
    self.owner -> collect(o | o.percentageShares) -> sum() = 100

context Reservation inv TablesCapacityGreaterThanPeople:
    self.assignedTo -> collect(t | t.capacity) -> sum() >= self.numberPeople
</domain_model>

<object_model>
!new Restaurant('restaurant13')
!restaurant13.name := 'Culinary Journeys'

!new Owner('owner25')
!owner25.name := 'Yusuf Al-Mahdi'
!owner25.percentageShares := 35

!new Owner('owner26')
!owner26.name := 'Elena Petrova'
!owner26.percentageShares := 30

!new Owner('owner27')
!owner27.name := 'Chen Wei'
!owner27.percentageShares := 35

!insert (restaurant13, owner25) into RestaurantOwner
!insert (restaurant13, owner26) into RestaurantOwner
!insert (restaurant13, owner27) into RestaurantOwner

!new Chef('chef14')
!chef14.name := 'Anil Desai'
!chef14.dateOfBirth := Date('1970-01-01')        -- Arbitrary date of birth
!chef14.phoneNumber := '1212121212'              -- Arbitrary phone number

!new Cook('cook16')
!cook16.name := 'Fiona O\'Neill'
!cook16.dateOfBirth := Date('1985-01-01')        -- Arbitrary date of birth
!cook16.phoneNumber := '2323232323'              -- Arbitrary phone number
!cook16.yearsOfExperience := 6

!new Cook('cook17')
!cook17.name := 'Olivier Dupont'
!cook17.dateOfBirth := Date('1991-01-01')        -- Arbitrary date of birth
!cook17.phoneNumber := '3434343434'              -- Arbitrary phone number
!cook17.yearsOfExperience := 2

!insert (chef14, cook16) into ChefCook
!insert (chef14, cook17) into ChefCook

!new Banquet('banquet10')
!banquet10.date := Date('2023-02-10')
!banquet10.time := Time('17:00')
!banquet10.groupName := 'International Entrepreneurs\' Summit'
!banquet10.numberPeople := 18
!banquet10.paymentMethod := #CreditCard

!insert (restaurant13, banquet10) into RestaurantReservation

!new Table('table34')
!table34.number := 12
!table34.description := 'Near the AV setup'
!table34.capacity := 20

!insert (banquet10, table34) into ReservationTable

!new BusDriver('busdriver10')
!busdriver10.name := 'Adebayo Adeyemi'

!insert (banquet10, busdriver10) into BanquetBusDriver

!new HeadWaiter('headwaiter10')
!headwaiter10.name := 'Suzana Ilic'
!headwaiter10.dateOfBirth := Date('1980-01-01')  -- Arbitrary date of birth
!headwaiter10.phoneNumber := '4545454545'        -- Arbitrary phone number

!new Waiter('waiter20')
!waiter20.name := 'Laila Ahmadi'
!waiter20.dateOfBirth := Date('1993-01-01')      -- Arbitrary date of birth
!waiter20.phoneNumber := '5656565656'            -- Arbitrary phone number
!waiter20.spokenLanguage := #English

!new Waiter('waiter21')
!waiter21.name := 'Maxime Lefevre'
!waiter21.dateOfBirth := Date('1995-01-01')      -- Arbitrary date of birth
!waiter21.phoneNumber := '6767676767'            -- Arbitrary phone number
!waiter21.spokenLanguage := #English

!insert (headwaiter10, waiter20) into HeadWaiterWaiter
!insert (headwaiter10, waiter21) into HeadWaiterWaiter

!insert (banquet10, waiter20) into ReservationWaiter
!insert (banquet10, waiter21) into ReservationWaiter

!new Individual('individualReservation7')
!individualReservation7.date := Date('2023-02-10')
!individualReservation7.time := Time('18:30')
!individualReservation7.numberPeople := 1
!individualReservation7.name := 'Marco Romano'
!individualReservation7.phoneNumber := '7878787878'  -- Arbitrary phone number
!individualReservation7.seating := #Inside
!individualReservation7.smoking := #NonSmoking
!individualReservation7.number := 7

!insert (restaurant13, individualReservation7) into RestaurantReservation

!new Table('table35')
!table35.number := 15
!table35.description := 'Near the fireplace'
!table35.capacity := 4

!insert (individualReservation7, table35) into ReservationTable

!new Waiter('waiter22')
!waiter22.name := 'Camila Santos'
!waiter22.dateOfBirth := Date('1992-01-01')     -- Arbitrary date of birth
!waiter22.phoneNumber := '7878787878'           -- Arbitrary phone number
!waiter22.spokenLanguage := #English

!insert (headwaiter10, waiter22) into HeadWaiterWaiter
!insert (individualReservation7, waiter22) into ReservationWaiter

!new MenuItem('menuitem18')
!menuitem18.description := 'New Zealand lamb roasted with a blend of herbs'
!menuitem18.prepTime := 45.0
!menuitem18.classification := #Main

!insert (menuitem18, chef14) into MenuItemChef

!new FoodItem('fooditem28')
!fooditem28.number := 28
!fooditem28.description := 'Lamb'
!fooditem28.unit := #Pound

!new FoodItem('fooditem29')
!fooditem29.number := 29
!fooditem29.description := 'Mixed Herbs'
!fooditem29.unit := #Ounce

!insert (menuitem18, fooditem28) into MenuItemFoodItem
!insert (menuitem18, fooditem29) into MenuItemFoodItem

!new MenuItem('menuitem19')
!menuitem19.description := 'Traditional Middle-Eastern dessert with honey and nuts'
!menuitem19.prepTime := 20.0
!menuitem19.classification := #Dessert

!insert (menuitem19, chef14) into MenuItemChef

!new FoodItem('fooditem30')
!fooditem30.number := 30
!fooditem30.description := 'Phyllo Dough'
!fooditem30.unit := #Sheet

!new FoodItem('fooditem31')
!fooditem31.number := 31
!fooditem31.description := 'Walnuts'
!fooditem31.unit := #Pound

!insert (menuitem19, fooditem30) into MenuItemFoodItem
!insert (menuitem19, fooditem31) into MenuItemFoodItem

!new Allergen('allergen12')
!allergen12.type := #Nuts

!insert (fooditem31, allergen12) into FoodItemAllergen

!new RegularCustomer('customer9')
!customer9.name := 'Marco Romano'
!customer9.prefferedLanguage := #Italian

!insert (individualReservation7, customer9) into ReservationCustomer
</object_model>

Your task is to generate a complete and diverse instance, in plain English, for a given category and based on a provided conceptual model description. The instance must adhere to these requirements: - Be self-contained: Include all required attributes, relationships, and related entities in full detail. - Conform to the model: Fulfill the constraints, multiplicities, relationships, and attributes defined in the class diagram model. - Understand the context: Ensure that its attributes and relationships are relevant. - Avoid duplication of instances: Take into consideration those instances previously built to avoid redundancy. - Semantic diversity: From a semantic point of view, incorporate varied scenarios, including regional, linguistic, or cultural differences. - Structural diversity: Include instances with different numbers of elements, different numbers of relationships and complexity, and create varied examples by changing entity attributes.

You are tasked with creating instances of a conceptual model in the UML-based Specification Environment (USE). You will receive: 1. The UML class diagram that the instance follows. 2. A sample syntax of instances creation. 3. A description of the instance that needs to be created.  Your goal is to generate these instances based on the provided description, adhering strictly to these requirements: - The output must be in plain text, with no additional comments, descriptions, or explanations. - Ensure that the created instance adheres to the provided description. - Follow the syntax sample provided, without deviation. - Take into account previously created instances to avoid using duplicate naming.

<role>
You are an expert software and system modeler. You are able to assess the semantic quality of object models that have been created to conform to a domain model. The models are defined in USE (UML-based Specification Environment) and OCL (Object Constraint Language).

Your primary capability is "Semantic Reality Checking". You do not just check for syntactic correctness; you check for real-world plausibility and logical consistency within a given domain.
</role>

<context>
The user will provide two types of content:
1. **Domain Model (.use)**: A class diagram definition including classes, attributes, enums, relationships, multiplicities and roles.
2. **Object Model (.soil)**: An object model. This object model can be seen as a script composed of instructions for the creation of objects, relationships and setting attribute values (snapshot).

Your goal is to act as a judge to determine if the object model represents a **REALISTIC** scenario based on the domain model and common sense real-world logic.
</context>

<definitions>
- **Realistic**: The object model is syntactically correct AND semantically plausible (e.g., A 'Person' has an age between 0 and 120; a 'Car' has a positive price).
- **Unrealistic**: The object model contains contradictions, impossible physical values, or nonsensical relationships (e.g., A 'Person' is their own father; a 'Product' has a negative weight).
- **Doubtful**: You cannot determine whether the object model is realistic or not.
</definitions>

<instructions>
Follow this thinking process strictly before generating the final output:

1. **Analyze the Domain (.use)**: Understand the classes and what they represent in the real world.
2. **Analyze the Instances (.soil)**: Map the created objects to their classes. Look at the specific values assigned to attributes and the relationships created between objects.
3. **Evaluate Semantics**:
    - Apply "Common Sense Knowledge" to the attribute values.
    - Check cardinality and relationship logic beyond simple OCL constraints.
    - Identify any outliers or logical fallacies.
4. **Determine Verdict**: Select one of the defined labels (Realistic/Unrealistic/Doubtful).
</instructions>

<constraints>
- **Tone**: Objective, Analytical, Technical.
- **Verbosity**: Low. Be direct.
- **Reasoning**: The "Why" section must be concise and specific, citing variable names, objects, or relationships when possible.
- Do not output the internal thinking process. Only output the final formatted result.
</constraints>

<output_format>
Structure your response exactly as follows:

**Response**: [Realistic | Unrealistic | Doubtful]
**Why**: [Concise explanation of your reasoning. If Unrealistic, specify the exact objects, values or relationships that break realism.]
</output_format>

<examples>
Example 1:
Input:

<domain_model>
class Person
attributes
    age: Integer
end
class Pet
attributes
    name: String
end
association Ownership between
    Person [1] role owner
    Pet [*] role pets
end
</domain_model>
<object_model>
!new Person('p1')
!p1.age := 250
!new Pet('pet1')
!pet1.name := 'Luna'
… 1.000 more pets creation …
!pet1000.name := 'Max'
!insert (p1, pet1) into Ownership
…1.000 more pets associated with p1 …
!insert (p1, pet1000) into Ownership
</object_model>

Output:

**Response**: Unrealistic
**Why**: The object 'p1' of class 'Person' has an age of 250, which exceeds the biologically plausible lifespan of a human. Although it is not plausible that 1 same person owns 1.000 pets.


Example 2:
Input:

<domain_model>
class Car
attributes
    brand: String
end
class Person
attributes
    name: String
end
association Ownership between
    Person [1] role owner
    Car [*] role cars
end
</domain_model>
<object_model>
!new Person('p1')
!p1.age := 19
!new Car('c1')
!c1.brand := 'Toyota'
!insert (p1, c1) into Ownership
</object_model>

Output:

**Response**: Realistic
**Why**: The object 'c1' has a valid, recognized real-world car brand assigned, and its plausible that a teenager has only one car.


Example 3:
Input:

<domain_model>
class Component
attributes
    setting_val: Integer
    config_mode: String
end
</domain_model>
<object_model>
!new Component('c1')
!c1.setting_val := 8080
!c1.config_mode := 'Legacy'
</object_model>

Output:

**Response**: Doubtful
**Why**: The class 'Component' and attribute 'setting_val' are generic and lack specific real-world semantic context. Without knowing what specific physical or software system this represents, it is impossible to determine if '8080' is a realistic value or an outlier.

</examples>

For the same category and model description, generate another instance that is structurally and semantically different from the previous ones

Continue with the following description, creating the instance according to the syntax example and this specification: 
**Instance: Collaborative Chef Fusion Menu Event**

### Description
This instance explores an unusual culinary event where multiple chefs from different cultural backgrounds collaborate to create a fusion menu, with unique staff and relationship dynamics. The focus here is on the diversity and fusion of culinary traditions for a single special reservation.

---

**Restaurant: World Palate Collective**  
- Name: World Palate Collective  
- Owners:
  - **Owner1:** Aisha El-Aziz, 40% shares
  - **Owner2:** Jiro Tanaka, 30% shares
  - **Owner3:** Carla Hernandez, 30% shares
  - Total shares: 100% (constraint met)

---

**Reservation: Chef's Special Night**  
- Type: Banquet
- Date: 2024-06-21 (Summer Solstice, a unique date choice for celebration)
- Time: 19:00
- Customer: Culinary Enthusiasts Society
- Group Size: 50
- Payment Methods: Cash
- Regular Customer Associated: Gregory Williams (Preferred Language: German)
  
---

**Table Assignments**  
- **Table1:**  
  - Description: "Sunset Serenity"
  - Capacity: 25
- **Table2:**  
  - Description: "Morning Glow"
  - Capacity: 25
- Total Capacity: 50 (meets constraint for banquet seating)

---

**Personnel**  
- **BusDriver:** Rosa Leone, associated with Banquet for guest transport
- **Waiters:**  
  - Julio Ramirez (Language: Spanish, English)
  - Nina Blum (Language: German, French)

- **HeadWaiter:** Ophélie Dubois  
  - Manages both waiters, speaks French, English
  
- **Manager:** Luca Kimura  
  - Speaks Japanese, English

---

**Menu and Kitchen Staff**  
- **MenuItems:**
  - **Appetizer:** Spicy Tuna Tartare  
    - Designed by Chef Hiroshi Morimoto
    - Dietary: None
    - Allergen: Seafood
  - **Main Dish:** Moroccan Quinoa Tagine  
    - Designed by Chef Khalid Haddadi
    - Dietary: Vegan, Halal
    - Allergen: None
  - **Dessert:** Churros with Chocolate Sauce  
    - Designed by Chef Isabella Ruiz
    - Dietary: Kosher, Vegetarian
    - Allergen: Gluten
  
- **Cooks:**
  - Cook under Hiroshi Morimoto: Mei Zhang (Chinese)
  - Cook under Khalid Haddadi: Zainab Bader (Arabic)
  - Cook under Isabella Ruiz: Pedro Marques (Portuguese)

- **Chefs Overseeing Items:**
  - **Chef Hiroshi Morimoto**
    - Supervises 1 Cook
    - Languages: Japanese, English
  - **Chef Khalid Haddadi**
    - Supervises 1 Cook
    - Languages: Arabic, French
  - **Chef Isabella Ruiz**
    - Supervises 1 Cook
    - Languages: Spanish, English

---

### Uncommon Aspects:
- A collaboration of chefs from diverse backgrounds for a single menu event, showcasing culinary fusion.
- Summer Solstice as a reason for celebration is unusual but brings seasonal thematic elements.
- Each chef deploys different dietary options, emphasizing the global nature of the restaurant's theme.
- Payment in cash for a banquet, less common but plausible for specific group events.
- Linguistic diversity among staff tailored to facilitate a multicultural guest experience.
  
This instance illustrates structural diversity by focusing on a collaborative cooking event, a creative fusion of culinary styles, and cultural diversity within the restaurant, highlighting complexity and diversity in handling reservations and event execution.

<domain_model>
model Restaurant

dataType Date
operations
    Date (date : String)
end

dataType Time
operations
   Time (time : String)
end

enum SeatingPreference {
    Inside,
    Patio
}

enum SmokingPreference {
    Smoking,
    NonSmoking
}

enum PaymentMethod {
    Cash,
    CreditCard
}

enum ItemType {
    Apetizer,
    Main,
    Dessert,
    Beverage
}

enum UnitOfMeasure {
    Ounce,
    Sheet,
    Pound,
    Gram,
    Dozen
}

enum AllergenType {
    Lactose,
    Seafood,
    Nuts,
    Gluten
}

enum Diet {
    Vegetarian,
    Vegan,
    Kosher,
    Halal
}

enum Language {
    English,
    Spanish,
    German,
    Italian
}

class Restaurant
attributes
    name : String
end

abstract class Reservation
attributes
    time : Time
    date : Date
    numberPeople : Integer
    name : String
    phoneNumber : String
    number : Integer
end

class Individual < Reservation
attributes
    seating : SeatingPreference
    smoking : SmokingPreference
end

class Banquet < Reservation
attributes
    groupName : String
    paymentMethod : PaymentMethod
    busService : Boolean
end

class Table
attributes
	number : Integer
    description : String
    capacity : Integer
end

class ItemOrder
attributes
    time : Time
end

class MenuItem
attributes
    description : String
    prepTime : Real
    classification : ItemType
end

class FoodItem
attributes
    number : Integer
    description : String
    purchaseFlag : Boolean
    unit : UnitOfMeasure
end

class Allergen
attributes
    type : AllergenType
end

class Person
attributes
	name : String
end

class Owner < Person
attributes
	percentageShares : Integer
end

class RegularCustomer < Person
attributes
	prefferedLanguage : Language
end

class DietaryRequirement
attributes
	diet : Diet
end

class ReportedAllergy
attributes
	allergen : AllergenType
end

abstract class Worker < Person
attributes
	dateOfBirth : Date
    phoneNumber : String
end

class HeadWaiter < Worker
end

class Waiter < Worker
attributes
    spokenLanguage : Language
end

class Manager < Worker
end

class Cook < Worker
attributes
    yearsOfExperience : Integer
end

class Chef < Worker
end

class BusDriver < Worker
attributes
    driverLicenseNr : String
end


association RestaurantOwner between
    Restaurant [1..*]
    Owner [1..*]
end

association RestaurantReservation between
    Restaurant [0..1]
    Reservation [0..*]
end

association ReservationCustomer between
    Reservation [0..*]
    RegularCustomer [0..1]
end

association ReservationWaiter between
    Reservation [*]
    Waiter [1..*] role servedBy
 end

association BanquetBusDriver between
    Banquet [1]
    BusDriver [0..*]
end

association ReservationTable between
    Reservation [1]
    Table [1..*] role assignedTo
end

association ReservationItemOrdered between
    Reservation [1]
    ItemOrder [0..*]
end

association ItemOrderMenuItem between
    ItemOrder [*]
    MenuItem [1] role item
end

association MenuItemFoodItem between
    MenuItem [*] role isUtilized
    FoodItem [*] role utilizes
end

association FoodItemAllergen between
    FoodItem [*]
    Allergen [*] role contains
end

association MenuItemChef between
    MenuItem [*] role designs
    Chef [1] role designedBy
end

association ChefCook between
    Chef [1] role underSupervisionOf
    Cook [1..*] role supervises
end

association HeadWaiterWaiter between
    HeadWaiter [1]
    Waiter [1..*] role responsibleFor
end


constraints
context Table inv PositiveCapacity:
    self.capacity > 0

context Cook inv PositiveExperience:
    self.yearsOfExperience >= 0

context Restaurant inv TotalOwnerShares:
    self.owner -> collect(o | o.percentageShares) -> sum() = 100

context Reservation inv TablesCapacityGreaterThanPeople:
    self.assignedTo -> collect(t | t.capacity) -> sum() >= self.numberPeople
</domain_model>

<object_model>
!new Restaurant('restaurant16')
!restaurant16.name := 'World Palate Collective'

!new Owner('owner32')
!owner32.name := 'Aisha El-Aziz'
!owner32.percentageShares := 40

!new Owner('owner33')
!owner33.name := 'Jiro Tanaka'
!owner33.percentageShares := 30

!new Owner('owner34')
!owner34.name := 'Carla Hernandez'
!owner34.percentageShares := 30

!insert (restaurant16, owner32) into RestaurantOwner
!insert (restaurant16, owner33) into RestaurantOwner
!insert (restaurant16, owner34) into RestaurantOwner

!new Banquet('banquet13')
!banquet13.date := Date('2024-06-21')
!banquet13.time := Time('19:00')
!banquet13.groupName := 'Culinary Enthusiasts Society'
!banquet13.numberPeople := 50
!banquet13.paymentMethod := #Cash

!insert (restaurant16, banquet13) into RestaurantReservation

!new Table('table42')
!table42.number := 501
!table42.description := 'Sunset Serenity'
!table42.capacity := 25

!new Table('table43')
!table43.number := 502
!table43.description := 'Morning Glow'
!table43.capacity := 25

!insert (banquet13, table42) into ReservationTable
!insert (banquet13, table43) into ReservationTable

!new BusDriver('busdriver13')
!busdriver13.name := 'Rosa Leone'

!insert (banquet13, busdriver13) into BanquetBusDriver

!new HeadWaiter('headwaiter12')
!headwaiter12.name := 'Ophélie Dubois'
!headwaiter12.dateOfBirth := Date('1975-01-01') -- Arbitrary date of birth
!headwaiter12.phoneNumber := '1231231234'       -- Arbitrary phone number

!new Waiter('waiter27')
!waiter27.name := 'Julio Ramirez'
!waiter27.dateOfBirth := Date('1992-01-01')     -- Arbitrary date of birth
!waiter27.phoneNumber := '2222222222'           -- Arbitrary phone number
!waiter27.spokenLanguage := #English

!new Waiter('waiter28')
!waiter28.name := 'Nina Blum'
!waiter28.dateOfBirth := Date('1989-01-01')     -- Arbitrary date of birth
!waiter28.phoneNumber := '3333333333'           -- Arbitrary phone number
!waiter28.spokenLanguage := #English

!insert (headwaiter12, waiter27) into HeadWaiterWaiter
!insert (headwaiter12, waiter28) into HeadWaiterWaiter

!insert (banquet13, waiter27) into ReservationWaiter
!insert (banquet13, waiter28) into ReservationWaiter

!new Manager('manager3')
!manager3.name := 'Luca Kimura'
!manager3.dateOfBirth := Date('1980-01-01')     -- Arbitrary date of birth
!manager3.phoneNumber := '4444444444'           -- Arbitrary phone number

!new Chef('chef16')
!chef16.name := 'Hiroshi Morimoto'
!chef16.dateOfBirth := Date('1965-01-01')       -- Arbitrary date of birth
!chef16.phoneNumber := '5555555555'             -- Arbitrary phone number

!new Cook('cook19')
!cook19.name := 'Mei Zhang'
!cook19.dateOfBirth := Date('1988-01-01')       -- Arbitrary date of birth
!cook19.phoneNumber := '6666666666'             -- Arbitrary phone number
!cook19.yearsOfExperience := 4

!insert (chef16, cook19) into ChefCook

!new MenuItem('menuitem22')
!menuitem22.description := 'Spicy Tuna Tartare'
!menuitem22.prepTime := 20.0
!menuitem22.classification := #Apetizer

!insert (menuitem22, chef16) into MenuItemChef

!new Allergen('allergen14')
!allergen14.type := #Seafood

!new FoodItem('fooditem36')
!fooditem36.number := 36
!fooditem36.description := 'Tuna'
!fooditem36.unit := #Gram

!insert (fooditem36, allergen14) into FoodItemAllergen
!insert (menuitem22, fooditem36) into MenuItemFoodItem

!new Chef('chef17')
!chef17.name := 'Khalid Haddadi'
!chef17.dateOfBirth := Date('1975-01-01')       -- Arbitrary date of birth
!chef17.phoneNumber := '7777777777'             -- Arbitrary phone number

!new Cook('cook20')
!cook20.name := 'Zainab Bader'
!cook20.dateOfBirth := Date('1992-01-01')       -- Arbitrary date of birth
!cook20.phoneNumber := '8888888888'             -- Arbitrary phone number
!cook20.yearsOfExperience := 5

!insert (chef17, cook20) into ChefCook

!new MenuItem('menuitem23')
!menuitem23.description := 'Moroccan Quinoa Tagine'
!menuitem23.prepTime := 30.0
!menuitem23.classification := #Main

!insert (menuitem23, chef17) into MenuItemChef

!new Chef('chef18')
!chef18.name := 'Isabella Ruiz'
!chef18.dateOfBirth := Date('1978-01-01')       -- Arbitrary date of birth
!chef18.phoneNumber := '9999999999'             -- Arbitrary phone number

!new Cook('cook21')
!cook21.name := 'Pedro Marques'
!cook21.dateOfBirth := Date('1994-01-01')       -- Arbitrary date of birth
!cook21.phoneNumber := '1010101010'             -- Arbitrary phone number
!cook21.yearsOfExperience := 3

!insert (chef18, cook21) into ChefCook

!new MenuItem('menuitem24')
!menuitem24.description := 'Churros with Chocolate Sauce'
!menuitem24.prepTime := 25.0
!menuitem24.classification := #Dessert

!insert (menuitem24, chef18) into MenuItemChef

!new FoodItem('fooditem37')
!fooditem37.number := 37
!fooditem37.description := 'Dough'
!fooditem37.unit := #Pound

!new FoodItem('fooditem38')
!fooditem38.number := 38
!fooditem38.description := 'Chocolate'
!fooditem38.unit := #Ounce

!insert (menuitem24, fooditem37) into MenuItemFoodItem
!insert (menuitem24, fooditem38) into MenuItemFoodItem

!new Allergen('allergen15')
!allergen15.type := #Gluten

!insert (fooditem37, allergen15) into FoodItemAllergen

!new RegularCustomer('customer12')
!customer12.name := 'Gregory Williams'
!customer12.prefferedLanguage := #German

!insert (banquet13, customer12) into ReservationCustomer
</object_model>

Your task is to generate a complete and diverse instance, in plain English, for a given category and based on a provided conceptual model description. The instance must adhere to these requirements: - Be self-contained: Include all required attributes, relationships, and related entities in full detail. - Conform to the model: Fulfill the constraints, multiplicities, relationships, and attributes defined in the class diagram model. - Understand the context: Ensure that its attributes and relationships are relevant. - Avoid duplication of instances: Take into consideration those instances previously built to avoid redundancy. - Semantic diversity: From a semantic point of view, incorporate varied scenarios, including regional, linguistic, or cultural differences. - Structural diversity: Include instances with different numbers of elements, different numbers of relationships and complexity, and create varied examples by changing entity attributes.

You are tasked with creating instances of a conceptual model in the UML-based Specification Environment (USE). You will receive: 1. The UML class diagram that the instance follows. 2. A sample syntax of instances creation. 3. A description of the instance that needs to be created.  Your goal is to generate these instances based on the provided description, adhering strictly to these requirements: - The output must be in plain text, with no additional comments, descriptions, or explanations. - Ensure that the created instance adheres to the provided description. - Follow the syntax sample provided, without deviation. - Take into account previously created instances to avoid using duplicate naming.

<role>
You are an expert software and system modeler. You are able to assess the semantic quality of object models that have been created to conform to a domain model. The models are defined in USE (UML-based Specification Environment) and OCL (Object Constraint Language).

Your primary capability is "Semantic Reality Checking". You do not just check for syntactic correctness; you check for real-world plausibility and logical consistency within a given domain.
</role>

<context>
The user will provide two types of content:
1. **Domain Model (.use)**: A class diagram definition including classes, attributes, enums, relationships, multiplicities and roles.
2. **Object Model (.soil)**: An object model. This object model can be seen as a script composed of instructions for the creation of objects, relationships and setting attribute values (snapshot).

Your goal is to act as a judge to determine if the object model represents a **REALISTIC** scenario based on the domain model and common sense real-world logic.
</context>

<definitions>
- **Realistic**: The object model is syntactically correct AND semantically plausible (e.g., A 'Person' has an age between 0 and 120; a 'Car' has a positive price).
- **Unrealistic**: The object model contains contradictions, impossible physical values, or nonsensical relationships (e.g., A 'Person' is their own father; a 'Product' has a negative weight).
- **Doubtful**: You cannot determine whether the object model is realistic or not.
</definitions>

<instructions>
Follow this thinking process strictly before generating the final output:

1. **Analyze the Domain (.use)**: Understand the classes and what they represent in the real world.
2. **Analyze the Instances (.soil)**: Map the created objects to their classes. Look at the specific values assigned to attributes and the relationships created between objects.
3. **Evaluate Semantics**:
    - Apply "Common Sense Knowledge" to the attribute values.
    - Check cardinality and relationship logic beyond simple OCL constraints.
    - Identify any outliers or logical fallacies.
4. **Determine Verdict**: Select one of the defined labels (Realistic/Unrealistic/Doubtful).
</instructions>

<constraints>
- **Tone**: Objective, Analytical, Technical.
- **Verbosity**: Low. Be direct.
- **Reasoning**: The "Why" section must be concise and specific, citing variable names, objects, or relationships when possible.
- Do not output the internal thinking process. Only output the final formatted result.
</constraints>

<output_format>
Structure your response exactly as follows:

**Response**: [Realistic | Unrealistic | Doubtful]
**Why**: [Concise explanation of your reasoning. If Unrealistic, specify the exact objects, values or relationships that break realism.]
</output_format>

<examples>
Example 1:
Input:

<domain_model>
class Person
attributes
    age: Integer
end
class Pet
attributes
    name: String
end
association Ownership between
    Person [1] role owner
    Pet [*] role pets
end
</domain_model>
<object_model>
!new Person('p1')
!p1.age := 250
!new Pet('pet1')
!pet1.name := 'Luna'
… 1.000 more pets creation …
!pet1000.name := 'Max'
!insert (p1, pet1) into Ownership
…1.000 more pets associated with p1 …
!insert (p1, pet1000) into Ownership
</object_model>

Output:

**Response**: Unrealistic
**Why**: The object 'p1' of class 'Person' has an age of 250, which exceeds the biologically plausible lifespan of a human. Although it is not plausible that 1 same person owns 1.000 pets.


Example 2:
Input:

<domain_model>
class Car
attributes
    brand: String
end
class Person
attributes
    name: String
end
association Ownership between
    Person [1] role owner
    Car [*] role cars
end
</domain_model>
<object_model>
!new Person('p1')
!p1.age := 19
!new Car('c1')
!c1.brand := 'Toyota'
!insert (p1, c1) into Ownership
</object_model>

Output:

**Response**: Realistic
**Why**: The object 'c1' has a valid, recognized real-world car brand assigned, and its plausible that a teenager has only one car.


Example 3:
Input:

<domain_model>
class Component
attributes
    setting_val: Integer
    config_mode: String
end
</domain_model>
<object_model>
!new Component('c1')
!c1.setting_val := 8080
!c1.config_mode := 'Legacy'
</object_model>

Output:

**Response**: Doubtful
**Why**: The class 'Component' and attribute 'setting_val' are generic and lack specific real-world semantic context. Without knowing what specific physical or software system this represents, it is impossible to determine if '8080' is a realistic value or an outlier.

</examples>

For the same category and model description, generate another instance that is structurally and semantically different from the previous ones

Continue with the following description, creating the instance according to the syntax example and this specification: 
## Instance: Corporate Lunch Meeting at "Cuisine Rendezvous"

### Entities:

1. **Restaurant:**
   - Name: Cuisine Rendezvous

2. **Owner:**
   - Name: Yuki Nishikawa
   - Percentage Shares: 70%

3. **Owner:**
   - Name: Markus Bauer
   - Percentage Shares: 30%

4. **Banquet (Reservation):**
   - Date: "2023-10-20"
   - Time: "13:00"
   - Group Name: Global Tech Summit Organizers
   - Number of People: 50
   - Payment Method: CreditCard

5. **Table (Assigned to Banquet):**
   - Number: T301
   - Description: Deluxe conference table
   - Capacity: 20

6. **Table (Assigned to Banquet):**
   - Number: T302
   - Description: Executive round table
   - Capacity: 12

7. **Table (Assigned to Banquet):**
   - Number: T303
   - Description: High-top discussion table
   - Capacity: 10

8. **BusDriver:**
   - Name: Alma Johansson
   - Language: Swedish, English

9. **HeadWaiter:**
    - Name: Santiago Gracia
    - Languages Spoken: Spanish, English
    - Years of Experience: 15

10. **Waiter:**
    - Name: Rui Chen
    - Languages Spoken: Mandarin, English
    - Years of Experience: 3

11. **Waiter:**
    - Name: Isabel Wilson
    - Languages Spoken: Arabic, English
    - Years of Experience: 5

### Relationships:

1. **Restaurant-Owner (RestaurantOwner):**
   - Cuisine Rendezvous - Yuki Nishikawa
   - Cuisine Rendezvous - Markus Bauer

2. **Restaurant-Reservation (RestaurantReservation):**
   - Cuisine Rendezvous - Global Tech Summit Organizers Banquet

3. **Banquet-BusDriver (BanquetBusDriver):**
   - Global Tech Summit Organizers - Alma Johansson

4. **Reservation-Table (ReservationTable - Violates Constraint):**
   - Global Tech Summit Organizers is assigned with T301, T302, T303

5. **Reservation-Waiter (ReservationWaiter):**
   - Global Tech Summit Organizers Banquet served by Santiago Gracia, Rui Chen, Isabel Wilson

6. **HeadWaiter-Waiter (HeadWaiterWaiter):**
   - Santiago Gracia manages Rui Chen and Isabel Wilson

### Explanation of Overconstraint Detection:

In this instance, the banquet reservation for the Global Tech Summit Organizers involves a meeting of 50 people at the Cuisine Rendezvous restaurant. The assigned tables, T301, T302, and T303, total a capacity of 42, failing the 'TablesCapacityGreaterThanPeople' invariant which mandates that assigned tables must have the capacity to accommodate all guests.

This occurrence illustrates practical difficulties in managing seating for unconventional events where formal setups might misalign with seat allocation constraints. Additionally, the restaurant meets all other requirements; however, the seating constraint poses challenges in realistic scenarios, such as when planning space for corporate meetings or mismatched table sizes.

The last output is partially incorrect: 
temp.soil> !waiter15.phoneNumber := '4242424242'           -- Arbitrary phone number
temp.soil> !waiter15.spokenLanguage := #Mandarin
<input>:1:0: generation of expression `#Mandarin' failed, with following error:

<input>:1:28: Undefined enumeration literal `Mandarin'.

temp.soil> !waiter16.phoneNumber := '4343434343'           -- Arbitrary phone number
temp.soil> !waiter16.spokenLanguage := #Arabic
<input>:1:0: generation of expression `#Arabic' failed, with following error:

<input>:1:28: Undefined enumeration literal `Arabic'.

temp.soil> 
temp.soil> !insert (banquet8, headwaiter8) into ReservationWaiter
<input>:1:0: Participant 2 of association `ReservationWaiter' must be of type `Waiter', but `headwaiter8' is of type `HeadWaiter'.

Please provide the complete output corrected

<domain_model>
model Restaurant

dataType Date
operations
    Date (date : String)
end

dataType Time
operations
   Time (time : String)
end

enum SeatingPreference {
    Inside,
    Patio
}

enum SmokingPreference {
    Smoking,
    NonSmoking
}

enum PaymentMethod {
    Cash,
    CreditCard
}

enum ItemType {
    Apetizer,
    Main,
    Dessert,
    Beverage
}

enum UnitOfMeasure {
    Ounce,
    Sheet,
    Pound,
    Gram,
    Dozen
}

enum AllergenType {
    Lactose,
    Seafood,
    Nuts,
    Gluten
}

enum Diet {
    Vegetarian,
    Vegan,
    Kosher,
    Halal
}

enum Language {
    English,
    Spanish,
    German,
    Italian
}

class Restaurant
attributes
    name : String
end

abstract class Reservation
attributes
    time : Time
    date : Date
    numberPeople : Integer
    name : String
    phoneNumber : String
    number : Integer
end

class Individual < Reservation
attributes
    seating : SeatingPreference
    smoking : SmokingPreference
end

class Banquet < Reservation
attributes
    groupName : String
    paymentMethod : PaymentMethod
    busService : Boolean
end

class Table
attributes
	number : Integer
    description : String
    capacity : Integer
end

class ItemOrder
attributes
    time : Time
end

class MenuItem
attributes
    description : String
    prepTime : Real
    classification : ItemType
end

class FoodItem
attributes
    number : Integer
    description : String
    purchaseFlag : Boolean
    unit : UnitOfMeasure
end

class Allergen
attributes
    type : AllergenType
end

class Person
attributes
	name : String
end

class Owner < Person
attributes
	percentageShares : Integer
end

class RegularCustomer < Person
attributes
	prefferedLanguage : Language
end

class DietaryRequirement
attributes
	diet : Diet
end

class ReportedAllergy
attributes
	allergen : AllergenType
end

abstract class Worker < Person
attributes
	dateOfBirth : Date
    phoneNumber : String
end

class HeadWaiter < Worker
end

class Waiter < Worker
attributes
    spokenLanguage : Language
end

class Manager < Worker
end

class Cook < Worker
attributes
    yearsOfExperience : Integer
end

class Chef < Worker
end

class BusDriver < Worker
attributes
    driverLicenseNr : String
end


association RestaurantOwner between
    Restaurant [1..*]
    Owner [1..*]
end

association RestaurantReservation between
    Restaurant [0..1]
    Reservation [0..*]
end

association ReservationCustomer between
    Reservation [0..*]
    RegularCustomer [0..1]
end

association ReservationWaiter between
    Reservation [*]
    Waiter [1..*] role servedBy
 end

association BanquetBusDriver between
    Banquet [1]
    BusDriver [0..*]
end

association ReservationTable between
    Reservation [1]
    Table [1..*] role assignedTo
end

association ReservationItemOrdered between
    Reservation [1]
    ItemOrder [0..*]
end

association ItemOrderMenuItem between
    ItemOrder [*]
    MenuItem [1] role item
end

association MenuItemFoodItem between
    MenuItem [*] role isUtilized
    FoodItem [*] role utilizes
end

association FoodItemAllergen between
    FoodItem [*]
    Allergen [*] role contains
end

association MenuItemChef between
    MenuItem [*] role designs
    Chef [1] role designedBy
end

association ChefCook between
    Chef [1] role underSupervisionOf
    Cook [1..*] role supervises
end

association HeadWaiterWaiter between
    HeadWaiter [1]
    Waiter [1..*] role responsibleFor
end


constraints
context Table inv PositiveCapacity:
    self.capacity > 0

context Cook inv PositiveExperience:
    self.yearsOfExperience >= 0

context Restaurant inv TotalOwnerShares:
    self.owner -> collect(o | o.percentageShares) -> sum() = 100

context Reservation inv TablesCapacityGreaterThanPeople:
    self.assignedTo -> collect(t | t.capacity) -> sum() >= self.numberPeople
</domain_model>

<object_model>
!new Restaurant('restaurant10')
!restaurant10.name := 'Cuisine Rendezvous'

!new Owner('owner19')
!owner19.name := 'Yuki Nishikawa'
!owner19.percentageShares := 70

!new Owner('owner20')
!owner20.name := 'Markus Bauer'
!owner20.percentageShares := 30

!insert (restaurant10, owner19) into RestaurantOwner
!insert (restaurant10, owner20) into RestaurantOwner

!new Banquet('banquet8')
!banquet8.date := Date('2023-10-20')
!banquet8.time := Time('13:00')
!banquet8.groupName := 'Global Tech Summit Organizers'
!banquet8.numberPeople := 50
!banquet8.paymentMethod := #CreditCard

!insert (restaurant10, banquet8) into RestaurantReservation

!new Table('table24')
!table24.number := 301
!table24.description := 'Deluxe conference table'
!table24.capacity := 20

!new Table('table25')
!table25.number := 302
!table25.description := 'Executive round table'
!table25.capacity := 12

!new Table('table26')
!table26.number := 303
!table26.description := 'High-top discussion table'
!table26.capacity := 10

!insert (banquet8, table24) into ReservationTable
!insert (banquet8, table25) into ReservationTable
!insert (banquet8, table26) into ReservationTable

!new BusDriver('busdriver8')
!busdriver8.name := 'Alma Johansson'

!insert (banquet8, busdriver8) into BanquetBusDriver

!new HeadWaiter('headwaiter8')
!headwaiter8.name := 'Santiago Gracia'
!headwaiter8.dateOfBirth := Date('1980-01-01')  -- Arbitrary date of birth
!headwaiter8.phoneNumber := '4141414141'        -- Arbitrary phone number

!new Waiter('waiter15')
!waiter15.name := 'Rui Chen'
!waiter15.dateOfBirth := Date('1993-01-01')     -- Arbitrary date of birth
!waiter15.phoneNumber := '4242424242'           -- Arbitrary phone number
!waiter15.spokenLanguage := #English

!new Waiter('waiter16')
!waiter16.name := 'Isabel Wilson'
!waiter16.dateOfBirth := Date('1991-01-01')     -- Arbitrary date of birth
!waiter16.phoneNumber := '4343434343'           -- Arbitrary phone number
!waiter16.spokenLanguage := #English

!insert (headwaiter8, waiter15) into HeadWaiterWaiter
!insert (headwaiter8, waiter16) into HeadWaiterWaiter

!insert (banquet8, waiter15) into ReservationWaiter
!insert (banquet8, waiter16) into ReservationWaiter
</object_model>