Restaurant / gen6

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

Nestled in the bustling streets of Mumbai, "Spice Symphony" is a contemporary Indian restaurant that marries traditional Indian flavors with modern culinary techniques. Known for its vibrant atmosphere and eclectic menu, this restaurant appeals to both locals and tourists seeking an authentic Indian dining experience with a twist.

**Restaurant Instance:**
- **Name:** Spice Symphony

**Owner Instances:**
- **Name:** Rajesh Kapoor
- **Shares:** 55%
- **Language:** Hindi, English
- **Related Restaurant:** Spice Symphony

- **Name:** Anjali Mehta
- **Shares:** 45%
- **Language:** Hindi
- **Related Restaurant:** Spice Symphony

**Table Instances:**
- **Table 1**
  - **Number:** T1
  - **Description:** Cozy corner booth.
  - **Capacity:** 4

- **Table 2**
  - **Number:** T15
  - **Description:** Banquette seating in the main dining area.
  - **Capacity:** 6

- **Table 3**
  - **Number:** T22
  - **Description:** Long communal table.
  - **Capacity:** 10

**Regular Customer Instances:**
- **Name:** Vikram Patel
- **Preferred Language:** Hindi
- **Reservation Type:** Individual Reservation
- Associated with Spice Symphony

- **Name:** Emily Brown
- **Preferred Language:** English
- **Reservation Type:** Banquet Reservation
- Associated with Spice Symphony

**Reservation Instances:**
- **Individual Reservation for Vikram Patel**
  - **Date:** 2024-03-10
  - **Time:** 18:30
  - **Seating Preference:** Inside
  - **Smoking Preference:** NonSmoking
  - **Assigned Table:** T1 (Capacity 4)
  - **Associated Waiter:** Priya Iyer

- **Banquet Reservation for Emily Brown's Reunion**
  - **Date:** 2024-03-10
  - **Time:** 21:00
  - **Number of People:** 16
  - **Payment Method:** Cash
  - **Assigned Tables:** T22 (Capacity 10) and T15 (Capacity 6)
  - **Bus Driver:** Arjun Khanna
  - **Associated Waiters:** Priya Iyer and Rahul Desai

**Waiter Instances:**
- **Name:** Priya Iyer
- **Languages Spoken:** Hindi, English
- **Experience:** 6 years
- Associated with Spice Symphony and both Reservations

- **Name:** Rahul Desai
- **Languages Spoken:** Hindi, Gujarati
- **Experience:** 4 years
- Associated with Spice Symphony and Banquet Reservation

**Head Waiter Instance:**
- **Name:** Aarti Verma
- **Languages Spoken:** Hindi, English
- **Experience:** 9 years
- **Responsible for:** Priya Iyer and Rahul Desai

**Bus Driver Instance:**
- **Name:** Arjun Khanna
- **Experience:** 12 years
- Associated with Emily's Banquet

**Chef Instance:**
- **Name:** Suresh Bhatia
- **Languages Spoken:** Hindi, English
- **Experience:** 20 years
- **Supervises Cooks:** Meena Sharma

**Cook Instance:**
- **Name:** Meena Sharma
- **Languages Spoken:** Hindi
- **Experience:** 5 years
- Supervised by Suresh Bhatia

**MenuItem Instances:**
- **Butter Chicken**
  - **Description:** Creamy tomato-based chicken curry.
  - **Preparation Time:** 45 minutes
  - **Classification:** Main
  - **Designed by Chef:** Suresh Bhatia
  - **Food Items Used:** Chicken, Butter, Tomato Puree

- **Gulab Jamun**
  - **Description:** Sweet milk-solid-based dessert.
  - **Preparation Time:** 20 minutes
  - **Classification:** Dessert
  - **Designed by Chef:** Suresh Bhatia
  - **Food Items Used:** Milk Solids, Sugar Syrup

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

- **Butter**
  - **Unit:** Gram
  - **Purchase:** True
  - **Allergens:** Lactose

- **Milk Solids**
  - **Unit:** Sheet
  - **Purchase:** True
  - **Allergens:** Lactose

**Allergen Instances:**
- **Lactose**
  - Associated with Food Items: Butter, Milk Solids

This instance of "Spice Symphony" showcases the dynamic and diverse nature of an Indian restaurant, highlighting the intricate balance of culture and modernity within its operations. All class relationships and constraints are strategically deployed to bring out the vibrant experience offered by this establishment.

<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('restaurant29')
!restaurant29.name := 'Spice Symphony'

!new Owner('owner62')
!owner62.name := 'Rajesh Kapoor'
!owner62.percentageShares := 55

!new Owner('owner63')
!owner63.name := 'Anjali Mehta'
!owner63.percentageShares := 45

!insert (restaurant29, owner62) into RestaurantOwner
!insert (restaurant29, owner63) into RestaurantOwner

!new Table('table74')
!table74.number := 1
!table74.description := 'Cozy corner booth.'
!table74.capacity := 4

!new Table('table75')
!table75.number := 15
!table75.description := 'Banquette seating in the main dining area.'
!table75.capacity := 6

!new Table('table76')
!table76.number := 22
!table76.description := 'Long communal table.'
!table76.capacity := 10

!new RegularCustomer('customer25')
!customer25.name := 'Vikram Patel'
!customer25.prefferedLanguage := #English

!new RegularCustomer('customer26')
!customer26.name := 'Emily Brown'
!customer26.prefferedLanguage := #English

!new Individual('individualReservation16')
!individualReservation16.date := Date('2024-03-10')
!individualReservation16.time := Time('18:30')
!individualReservation16.numberPeople := 1
!individualReservation16.name := 'Vikram Patel'
!individualReservation16.phoneNumber := '1112223334'  -- Arbitrary phone number
!individualReservation16.seating := #Inside
!individualReservation16.smoking := #NonSmoking
!individualReservation16.number := 16

!insert (restaurant29, individualReservation16) into RestaurantReservation
!insert (individualReservation16, customer25) into ReservationCustomer
!insert (individualReservation16, table74) into ReservationTable

!new Banquet('banquet25')
!banquet25.date := Date('2024-03-10')
!banquet25.time := Time('21:00')
!banquet25.groupName := 'Emily Brown\'s Reunion'
!banquet25.numberPeople := 16
!banquet25.paymentMethod := #Cash

!insert (restaurant29, banquet25) into RestaurantReservation
!insert (banquet25, customer26) into ReservationCustomer
!insert (banquet25, table76) into ReservationTable
!insert (banquet25, table75) into ReservationTable

!new Waiter('waiter56')
!waiter56.name := 'Priya Iyer'
!waiter56.dateOfBirth := Date('1990-01-01')     -- Arbitrary date of birth
!waiter56.phoneNumber := '2223334445'           -- Arbitrary phone number
!waiter56.spokenLanguage := #English

!new Waiter('waiter57')
!waiter57.name := 'Rahul Desai'
!waiter57.dateOfBirth := Date('1992-01-01')     -- Arbitrary date of birth
!waiter57.phoneNumber := '3334445556'           -- Arbitrary phone number
!waiter57.spokenLanguage := #English

!insert (individualReservation16, waiter56) into ReservationWaiter
!insert (banquet25, waiter56) into ReservationWaiter
!insert (banquet25, waiter57) into ReservationWaiter

!new HeadWaiter('headwaiter24')
!headwaiter24.name := 'Aarti Verma'
!headwaiter24.dateOfBirth := Date('1985-01-01')  -- Arbitrary date of birth
!headwaiter24.phoneNumber := '4445556667'        -- Arbitrary phone number

!insert (headwaiter24, waiter56) into HeadWaiterWaiter
!insert (headwaiter24, waiter57) into HeadWaiterWaiter

!new BusDriver('busdriver24')
!busdriver24.name := 'Arjun Khanna'

!insert (banquet25, busdriver24) into BanquetBusDriver

!new Chef('chef34')
!chef34.name := 'Suresh Bhatia'
!chef34.dateOfBirth := Date('1965-01-01')       -- Arbitrary date of birth
!chef34.phoneNumber := '5556667778'             -- Arbitrary phone number

!new Cook('cook40')
!cook40.name := 'Meena Sharma'
!cook40.dateOfBirth := Date('1990-01-01')       -- Arbitrary date of birth
!cook40.phoneNumber := '6667778889'             -- Arbitrary phone number
!cook40.yearsOfExperience := 5

!insert (chef34, cook40) into ChefCook

!new MenuItem('menuitem45')
!menuitem45.description := 'Creamy tomato-based chicken curry.'
!menuitem45.prepTime := 45.0
!menuitem45.classification := #Main

!insert (menuitem45, chef34) into MenuItemChef

!new FoodItem('fooditem73')
!fooditem73.number := 73
!fooditem73.description := 'Chicken'
!fooditem73.purchaseFlag := true
!fooditem73.unit := #Pound

!new FoodItem('fooditem74')
!fooditem74.number := 74
!fooditem74.description := 'Butter'
!fooditem74.purchaseFlag := true
!fooditem74.unit := #Gram

!new FoodItem('fooditem75')
!fooditem75.number := 75
!fooditem75.description := 'Tomato Puree'
!fooditem75.purchaseFlag := true
!fooditem75.unit := #Gram

!insert (menuitem45, fooditem73) into MenuItemFoodItem
!insert (menuitem45, fooditem74) into MenuItemFoodItem
!insert (menuitem45, fooditem75) into MenuItemFoodItem

!new MenuItem('menuitem46')
!menuitem46.description := 'Sweet milk-solid-based dessert.'
!menuitem46.prepTime := 20.0
!menuitem46.classification := #Dessert

!insert (menuitem46, chef34) into MenuItemChef

!new FoodItem('fooditem76')
!fooditem76.number := 76
!fooditem76.description := 'Milk Solids'
!fooditem76.purchaseFlag := true
!fooditem76.unit := #Sheet

!new FoodItem('fooditem77')
!fooditem77.number := 77
!fooditem77.description := 'Sugar Syrup'
!fooditem77.purchaseFlag := true
!fooditem77.unit := #Gram

!insert (menuitem46, fooditem76) into MenuItemFoodItem
!insert (menuitem46, fooditem77) into MenuItemFoodItem

!new Allergen('allergen29')
!allergen29.type := #Lactose

!insert (fooditem74, allergen29) into FoodItemAllergen
!insert (fooditem76, allergen29) 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**: "Fusion Feast Hub"

### Owners
1. **Owner 1**: 
   - Name: Ana Duarte
   - Percentage Shares: 25%
2. **Owner 2**: 
   - Name: Lee Chang
   - Percentage Shares: 25%
3. **Owner 3**: 
   - Name: Youssef Ali
   - Percentage Shares: 50%

### Regular Customers
1. **Regular Customer**:
   - Name: Katarzyna Nowak
   - Preferred Language: Polish

### Workers
1. **Head Waiter**: 
   - Name: Samuel Brown
   - Years of Experience: 9
   - Languages Spoken: English, French

2. **Waiters**:
   - Name: Mei Lin
   - Years of Experience: 0 (Minimum experience for testing boundaries)
   - Languages Spoken: Mandarin, English
   - Head Waiter: Samuel Brown

3. **Chefs**:
   - Name: Rashid Khan
   - Years of Experience: 13
   - Languages Spoken: Urdu, English

4. **Cooks**:
   - Name: Eleni Papadopoulos
   - Years of Experience: 6

### Tables
1. **Table 1**: 
   - Number: 9
   - Description: "High-top seating for a quick bite"
   - Capacity: 1

2. **Table 2**: 
   - Number: 10
   - Description: "Family style dining table"
   - Capacity: 5

3. **Table 3**: 
   - Number: 11
   - Description: "Shared patio table"
   - Capacity: 7

### Menu Items
1. **Menu Item**: 
   - Name: "Spicy Seafood Pasta"
   - Description: "A hearty dish combining seafood flavors with a touch of chili."
   - Preparation Time: 30 minutes
   - Classifications: Main, Seafood
   - Designer: Rashid Khan

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

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

### Reservations
1. **Reservation (Individual)**:
   - Reservation Date: "2023-11-05"
   - Reservation Time: "14:00"
   - Reserved By: Katarzyna Nowak
   - Seating Preference: Inside
   - Smoking Preference: NonSmoking
   - Serving Waiter: Mei Lin
   - Assigned Tables: Table 1 (Testing boundary with minimal table capacity)
   - Number of People: 1

### Item Orders
1. **Item Order**:
   - Time Ordered: "14:10"
   - Associated Reservation: Individual Reservation made by Katarzyna Nowak
   - Ordered Menu Item: Spicy Seafood Pasta

### Relationships
- "Fusion Feast Hub" is collaboratively owned by Ana Duarte, Lee Chang, and Youssef Ali, whose shares combine seamlessly to total 100%.
- Regular customer Katarzyna Nowak enjoys service in Polish, reflecting the restaurant’s multicultural environment adorned by the linguistic abilities of Mei Lin under Samuel Brown's leadership.
- Despite Mei Lin’s noviceship, her contribution to customer satisfaction through personalized service ensures patrons like Katarzyna Nowak receive quality attention corresponding with the restaurant’s ethos.
- Chef Rashid Khan, alongside cook Eleni Papadopoulos, crafts the menu signature, Spicy Seafood Pasta, while mitigating allergen exposure transparently.
- The innovative use of table 1, designed for a swift individual dining setting, aptly meets the even smaller reservation requirement, further ensuring adherence to Table Capacity Constraint without complexity.
- This instance leverages a minimalist use of resources to heighten dining efficiency, showcasing a vibrant synergy between structural constraints and culinary diversity, paired with robust ownership and strategic management.

The last output is partially incorrect: 
temp.soil> !customer24.name := 'Katarzyna Nowak'
temp.soil> !customer24.prefferedLanguage := #Polish
<input>:1:0: generation of expression `#Polish' failed, with following error:

<input>:1:33: Undefined enumeration literal `Polish'.

Please provide the complete output corrected

The last output is partially incorrect: 
checking structure...
Multiplicity constraint violation in association `ReservationTable':
  Object `table72' of class `Table' is connected to 0 objects of class `Reservation'
  at association end `reservation' but the multiplicity is specified as `1'.
Multiplicity constraint violation in association `ReservationTable':
  Object `table73' 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

The last output is partially incorrect: 
checking structure...
Multiplicity constraint violation in association `ReservationWaiter':
  Object `banquet24' of class `Banquet' is connected to 0 objects of class `Waiter'
  at association end `servedBy' 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('restaurant28')
!restaurant28.name := 'Fusion Feast Hub'

!new Owner('owner59')
!owner59.name := 'Ana Duarte'
!owner59.percentageShares := 25

!new Owner('owner60')
!owner60.name := 'Lee Chang'
!owner60.percentageShares := 25

!new Owner('owner61')
!owner61.name := 'Youssef Ali'
!owner61.percentageShares := 50

!insert (restaurant28, owner59) into RestaurantOwner
!insert (restaurant28, owner60) into RestaurantOwner
!insert (restaurant28, owner61) into RestaurantOwner

!new RegularCustomer('customer24')
!customer24.name := 'Katarzyna Nowak'
!customer24.prefferedLanguage := #English

!new HeadWaiter('headwaiter23')
!headwaiter23.name := 'Samuel Brown'
!headwaiter23.dateOfBirth := Date('1980-01-01')  -- Arbitrary date of birth
!headwaiter23.phoneNumber := '1112223334'        -- Arbitrary phone number

!new Waiter('waiter54')
!waiter54.name := 'Mei Lin'
!waiter54.dateOfBirth := Date('2000-01-01')      -- Arbitrary date of birth
!waiter54.phoneNumber := '2223334445'            -- Arbitrary phone number
!waiter54.spokenLanguage := #English

!new Waiter('waiter55')
!waiter55.name := 'Alex Cooper'
!waiter55.dateOfBirth := Date('1992-01-01')      -- Arbitrary date of birth
!waiter55.phoneNumber := '3335556666'            -- Arbitrary phone number
!waiter55.spokenLanguage := #English

!insert (headwaiter23, waiter54) into HeadWaiterWaiter

!new Chef('chef33')
!chef33.name := 'Rashid Khan'
!chef33.dateOfBirth := Date('1975-01-01')        -- Arbitrary date of birth
!chef33.phoneNumber := '3334445556'              -- Arbitrary phone number

!new Cook('cook39')
!cook39.name := 'Eleni Papadopoulos'
!cook39.dateOfBirth := Date('1983-01-01')        -- Arbitrary date of birth
!cook39.phoneNumber := '4445556667'              -- Arbitrary phone number
!cook39.yearsOfExperience := 6

!insert (chef33, cook39) into ChefCook

!new Table('table71')
!table71.number := 9
!table71.description := 'High-top seating for a quick bite'
!table71.capacity := 1

!new Table('table72')
!table72.number := 10
!table72.description := 'Family style dining table'
!table72.capacity := 5

!new Table('table73')
!table73.number := 11
!table73.description := 'Shared patio table'
!table73.capacity := 7

!new MenuItem('menuitem44')
!menuitem44.description := 'A hearty dish combining seafood flavors with a touch of chili.'
!menuitem44.prepTime := 30.0
!menuitem44.classification := #Main

!insert (menuitem44, chef33) into MenuItemChef

!new FoodItem('fooditem72')
!fooditem72.number := 72
!fooditem72.description := 'Prawns'
!fooditem72.purchaseFlag := true
!fooditem72.unit := #Gram

!insert (menuitem44, fooditem72) into MenuItemFoodItem

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

!insert (fooditem72, allergen28) into FoodItemAllergen

!new Individual('individualReservation15')
!individualReservation15.date := Date('2023-11-05')
!individualReservation15.time := Time('14:00')
!individualReservation15.numberPeople := 1
!individualReservation15.name := 'Katarzyna Nowak'
!individualReservation15.phoneNumber := '5556667778'  -- Arbitrary phone number
!individualReservation15.seating := #Inside
!individualReservation15.smoking := #NonSmoking
!individualReservation15.number := 15

!insert (restaurant28, individualReservation15) into RestaurantReservation
!insert (individualReservation15, customer24) into ReservationCustomer
!insert (individualReservation15, waiter54) into ReservationWaiter
!insert (individualReservation15, table71) into ReservationTable

!new Banquet('banquet24')
!banquet24.date := Date('2023-11-05')
!banquet24.time := Time('19:00')
!banquet24.groupName := 'Evening Gathering'
!banquet24.numberPeople := 12
!banquet24.paymentMethod := #CreditCard

!insert (restaurant28, banquet24) into RestaurantReservation

!insert (banquet24, table72) into ReservationTable
!insert (banquet24, table73) into ReservationTable

!insert (banquet24, waiter54) into ReservationWaiter
!insert (banquet24, waiter55) into ReservationWaiter

!new ItemOrder('itemorder6')
!itemorder6.time := Time('14:10')

!insert (individualReservation15, itemorder6) into ReservationItemOrdered
!insert (itemorder6, menuitem44) 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: The Harmony Bistro

### Restaurant: "The Harmony Bistro"
- **Name:** The Harmony Bistro
- **Owners:**
  1. **Owner Name:** Amelie Dubois
     - **Percentage Shares:** 40%
     - **Languages Spoken:** French, English
  2. **Owner Name:** Rajesh Chandran
     - **Percentage Shares:** 30%
     - **Languages Spoken:** Hindi, English
  3. **Owner Name:** Hannah Müller
     - **Percentage Shares:** 30%
     - **Languages Spoken:** German, English
- **Menus:**
  1. **Chef:** Miguel Santiago
     - **Languages Spoken:** Spanish, English
     - **Cook Team:**
       - **Cook Name:** Mei Lin
         - **Years of Experience:** 5
         - **Languages Spoken:** Mandarin, English
       - **Cook Name:** Liam O'Brien
         - **Years of Experience:** 2
         - **Languages Spoken:** English, Irish

### Reservations
1. **Reservation (Banquet):**
   - **Date:** November 25, 2023
   - **Time:** 17:30
   - **Group Name:** Autumn Festival Gala
   - **Payment Method:** CreditCard
   - **Assigned BusDriver:** Bianca Rossi
     - **Languages Spoken:** Italian, English
   - **Assigned Tables:**
     - **Table 1:**
       - **Number:** 5
       - **Description:** Under the skylight with seasonal decor
       - **Capacity:** 18
     - **Table 2:**
       - **Number:** 6
       - **Description:** Adjacent to the live music area
       - **Capacity:** 12
   - **Total Attendees:** 25
   - **Assigned Waiters:**
     - **HeadWaiter:** Enrique Gonzalez
       - **Languages Spoken:** Spanish, English
     - **Waiters:**
       - **Waiter Name:** Claire Bennett
         - **Languages Spoken:** English, French
       - **Waiter Name:** Dmitri Volkov
         - **Languages Spoken:** Russian, English

2. **Reservation (Individual):**
   - **Date:** November 25, 2023
   - **Time:** 19:00
   - **Customer Name:** Sarah Khan
   - **Seating Preference:** Inside
   - **Smoking Preference:** NonSmoking
   - **Assigned Table:**
     - **Number:** 9
     - **Description:** Elegant setting near the art wall
     - **Capacity:** 4
   - **Assigned Waiters:**
     - **HeadWaiter:** Same as above
     - **Waiter Name:** Lucas Carter
         - **Languages Spoken:** English, Italian

### Menu Items
1. **Menu Item (Main): Thai Green Curry**
   - **Description:** Traditional Thai curry with a coconut milk base
   - **Preparation Time:** 30 minutes
   - **Chef:** Miguel Santiago (as above)
   - **Food Items:**
     - **FoodItem 1:** Coconut Milk
       - **Unit:** Ounce
     - **FoodItem 2:** Chicken Breast
       - **Unit:** Pound
     - **FoodItem 3:** Thai Green Paste
       - **Unit:** Gram
       - **Dietary Requirements:** Halal
       - **Allergens:**
         - **Allergen Type:** Seafood (contains fish sauce)

2. **Menu Item (Beverage): Matcha Green Tea Latte**
   - **Description:** Smooth and calming, crafted from premium matcha powder
   - **Preparation Time:** 8 minutes
   - **Chef:** Miguel Santiago (as above)
   - **Food Items:**
     - **FoodItem 1:** Matcha Powder
       - **Unit:** Gram
     - **FoodItem 2:** Almond Milk
       - **Unit:** Ounce
       - **Allergen Type:** Nuts

### Dietary Requirements
- **RegularCustomer:** Sarah Khan
  - **Dietary Requirement:** Halal
  - **Preferred Language:** English

The Harmony Bistro presents a warm and inviting environment, perfect for both grand autumn celebrations and personal dining experiences. With an eclectic menu featuring flavors from both Asian and international cuisines, as well as a strong multicultural team of staff, this instance emphasizes harmony and inclusivity. The diversity among the owners, culinary team, and menu selections reinforces their commitment to offering a globally enjoyable dining experience.

<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('restaurant27')
!restaurant27.name := 'The Harmony Bistro'

!new Owner('owner56')
!owner56.name := 'Amelie Dubois'
!owner56.percentageShares := 40

!new Owner('owner57')
!owner57.name := 'Rajesh Chandran'
!owner57.percentageShares := 30

!new Owner('owner58')
!owner58.name := 'Hannah Müller'
!owner58.percentageShares := 30

!insert (restaurant27, owner56) into RestaurantOwner
!insert (restaurant27, owner57) into RestaurantOwner
!insert (restaurant27, owner58) into RestaurantOwner

!new Chef('chef32')
!chef32.name := 'Miguel Santiago'
!chef32.dateOfBirth := Date('1972-01-01')        -- Arbitrary date of birth
!chef32.phoneNumber := '9876543210'              -- Arbitrary phone number

!new Cook('cook37')
!cook37.name := 'Mei Lin'
!cook37.dateOfBirth := Date('1990-01-01')        -- Arbitrary date of birth
!cook37.phoneNumber := '2345678901'              -- Arbitrary phone number
!cook37.yearsOfExperience := 5

!new Cook('cook38')
!cook38.name := 'Liam O\'Brien'
!cook38.dateOfBirth := Date('1995-01-01')        -- Arbitrary date of birth
!cook38.phoneNumber := '3456789012'              -- Arbitrary phone number
!cook38.yearsOfExperience := 2

!insert (chef32, cook37) into ChefCook
!insert (chef32, cook38) into ChefCook

!new Banquet('banquet23')
!banquet23.date := Date('2023-11-25')
!banquet23.time := Time('17:30')
!banquet23.groupName := 'Autumn Festival Gala'
!banquet23.numberPeople := 25
!banquet23.paymentMethod := #CreditCard

!insert (restaurant27, banquet23) into RestaurantReservation

!new Table('table68')
!table68.number := 5
!table68.description := 'Under the skylight with seasonal decor'
!table68.capacity := 18

!new Table('table69')
!table69.number := 6
!table69.description := 'Adjacent to the live music area'
!table69.capacity := 12

!insert (banquet23, table68) into ReservationTable
!insert (banquet23, table69) into ReservationTable

!new BusDriver('busdriver23')
!busdriver23.name := 'Bianca Rossi'

!insert (banquet23, busdriver23) into BanquetBusDriver

!new HeadWaiter('headwaiter22')
!headwaiter22.name := 'Enrique Gonzalez'
!headwaiter22.dateOfBirth := Date('1980-01-01')  -- Arbitrary date of birth
!headwaiter22.phoneNumber := '4567890123'        -- Arbitrary phone number

!new Waiter('waiter51')
!waiter51.name := 'Claire Bennett'
!waiter51.dateOfBirth := Date('1985-01-01')      -- Arbitrary date of birth
!waiter51.phoneNumber := '5678901234'            -- Arbitrary phone number
!waiter51.spokenLanguage := #English

!new Waiter('waiter52')
!waiter52.name := 'Dmitri Volkov'
!waiter52.dateOfBirth := Date('1990-01-01')      -- Arbitrary date of birth
!waiter52.phoneNumber := '6789012345'            -- Arbitrary phone number
!waiter52.spokenLanguage := #English

!insert (headwaiter22, waiter51) into HeadWaiterWaiter
!insert (headwaiter22, waiter52) into HeadWaiterWaiter

!insert (banquet23, waiter51) into ReservationWaiter
!insert (banquet23, waiter52) into ReservationWaiter

!new Individual('individualReservation14')
!individualReservation14.date := Date('2023-11-25')
!individualReservation14.time := Time('19:00')
!individualReservation14.numberPeople := 1
!individualReservation14.name := 'Sarah Khan'
!individualReservation14.phoneNumber := '7890123456'  -- Arbitrary phone number
!individualReservation14.seating := #Inside
!individualReservation14.smoking := #NonSmoking
!individualReservation14.number := 14

!insert (restaurant27, individualReservation14) into RestaurantReservation

!new Table('table70')
!table70.number := 9
!table70.description := 'Elegant setting near the art wall'
!table70.capacity := 4

!insert (individualReservation14, table70) into ReservationTable

!new Waiter('waiter53')
!waiter53.name := 'Lucas Carter'
!waiter53.dateOfBirth := Date('1988-01-01')     -- Arbitrary date of birth
!waiter53.phoneNumber := '8901234567'           -- Arbitrary phone number
!waiter53.spokenLanguage := #English

!insert (headwaiter22, waiter53) into HeadWaiterWaiter
!insert (individualReservation14, waiter53) into ReservationWaiter

!new MenuItem('menuitem42')
!menuitem42.description := 'Traditional Thai curry with a coconut milk base'
!menuitem42.prepTime := 30.0
!menuitem42.classification := #Main

!insert (menuitem42, chef32) into MenuItemChef

!new FoodItem('fooditem67')
!fooditem67.number := 67
!fooditem67.description := 'Coconut Milk'
!fooditem67.unit := #Ounce

!new FoodItem('fooditem68')
!fooditem68.number := 68
!fooditem68.description := 'Chicken Breast'
!fooditem68.unit := #Pound

!new FoodItem('fooditem69')
!fooditem69.number := 69
!fooditem69.description := 'Thai Green Paste'
!fooditem69.unit := #Gram

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

!insert (fooditem69, allergen26) into FoodItemAllergen

!insert (menuitem42, fooditem67) into MenuItemFoodItem
!insert (menuitem42, fooditem68) into MenuItemFoodItem
!insert (menuitem42, fooditem69) into MenuItemFoodItem

!new MenuItem('menuitem43')
!menuitem43.description := 'Smooth and calming, crafted from premium matcha powder'
!menuitem43.prepTime := 8.0
!menuitem43.classification := #Beverage

!insert (menuitem43, chef32) into MenuItemChef

!new FoodItem('fooditem70')
!fooditem70.number := 70
!fooditem70.description := 'Matcha Powder'
!fooditem70.unit := #Gram

!new FoodItem('fooditem71')
!fooditem71.number := 71
!fooditem71.description := 'Almond Milk'
!fooditem71.unit := #Ounce

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

!insert (fooditem71, allergen27) into FoodItemAllergen

!insert (menuitem43, fooditem70) into MenuItemFoodItem
!insert (menuitem43, fooditem71) into MenuItemFoodItem

!new RegularCustomer('customer23')
!customer23.name := 'Sarah Khan'
!customer23.prefferedLanguage := #English
</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: Allergen-Aware Family Celebration with Limited Menu Options**

### Description
In this scenario, a small family celebration is held at the restaurant, focusing on accommodating specific allergen concerns for a member with severe allergic reactions, making the menu selection intentionally limited. The complexity lies in ensuring safety and availability with a constrained list of items.

---

**Restaurant: Family Hearth**  
- Name: Family Hearth  
- Owners:
  - **Owner1:** Giovanni Ricci, 70% shares
  - **Owner2:** Meredith Lee, 30% shares
  - Total shares: 100% (constraint met)

---

**Reservation: Johnson Family Reunion**  
- Type: Individual
- Date: 2024-04-15 (a weekday event to avoid overcrowding)
- Time: 17:00
- Customer: Emily Johnson
  - Preferred Language: English
  - Seating Preference: Inside
  - Smoking Preference: NonSmoking
- Reserved for: 10 guests

---

**Table Assignments**  
- **Table1:**  
  - Description: "Family Table"
  - Capacity: 12
- Total Capacity: 12 (meets constraint for individual seating)

---

**Personnel**  
- **Waiters:**  
  - Tomas Li (Language: Mandarin, English)
  
- **HeadWaiter:** Elena Kostas  
  - Manages one waiter, speaks Greek, English
  
- **Manager:** Fiona Malcolm  
  - Speaks English, Swedish

---

**Menu and Kitchen Staff**  
- **MenuItems:**
  - **Appetizer:** Caprese Salad  
    - Designed by Chef Mario Cavalli
    - Dietary: Vegetarian, Gluten-free
    - Allergen: Lactose
  - **Main Dish:** Lemon Herb Grilled Chicken  
    - Designed by Chef Nia Kapoor  
    - Dietary: Kosher
    - Allergen: None
  - **Dessert:** Fresh Fruit Bowl  
    - Designed by Chef Amahle Nkosi
    - Dietary: Vegan, Gluten-free
    - Allergen: None
  
- **Cooks:**
  - Cook under Mario Cavalli: Luca Bartoli (Italian)
  - Cook under Nia Kapoor: Amrita Singh (Hindi)
  - Cook under Amahle Nkosi: Thandiwe Biko (Zulu)

- **Chefs Overseeing Items:**
  - **Chef Mario Cavalli**
    - Supervises 1 Cook
    - Languages: Italian, English
  - **Chef Nia Kapoor**
    - Supervises 1 Cook
    - Languages: Hindi, English
  - **Chef Amahle Nkosi**
    - Supervises 1 Cook
    - Languages: Xhosa, English

---

**Reported Allergies:**
- Family Member: Ethan Johnson
  - Allergies reported: Seafood, Nuts

---

### Uncommon Aspects:
- The reservation strategically focuses on Tuesday, a non-peak day, to provide a quiet, personal gathering conducive to safety and attention to allergen concerns.
- Menu selection is intentionally minimal yet wide-ranging in dietary accommodations to ensure the safety of a family member with severe allergies.
- Emphasis is placed on fresh, allergen-free desserts like a fruit bowl, catering to vegan, vegetarian, and gluten-free preferences safely.
- A single head waiter and multilingual communication to handle the small gathering efficiently.
- Culinary staff coming from varied ethnic backgrounds to reflect the international nature of the restaurant while ensuring allergen aversion.

This instance serves a small family, emphasizing personalized service with strict allergen control, showcasing the restaurant's adaptability and focus on customer-specific safety and dietary needs, demonstrating both structural and functional edge cases within a controlled dining environment.

The last output is partially incorrect: 
temp.soil> 
temp.soil> !insert (menuitem47, allergen30) into MenuItemFoodItem
<input>:1:0: Participant 2 of association `MenuItemFoodItem' must be of type `FoodItem', but `allergen30' is of type `Allergen'.

temp.soil> 
temp.soil> !insert (customer27, allergy3) into ReportedAllergy
<input>:1:0: Association `ReportedAllergy' does not exist.

temp.soil> !insert (customer27, allergy4) into ReportedAllergy
<input>:1:0: Association `ReportedAllergy' 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('restaurant30')
!restaurant30.name := 'Family Hearth'

!new Owner('owner64')
!owner64.name := 'Giovanni Ricci'
!owner64.percentageShares := 70

!new Owner('owner65')
!owner65.name := 'Meredith Lee'
!owner65.percentageShares := 30

!insert (restaurant30, owner64) into RestaurantOwner
!insert (restaurant30, owner65) into RestaurantOwner

!new Individual('individualReservation17')
!individualReservation17.date := Date('2024-04-15')
!individualReservation17.time := Time('17:00')
!individualReservation17.numberPeople := 10
!individualReservation17.name := 'Emily Johnson'
!individualReservation17.phoneNumber := '1234567890'  -- Arbitrary phone number
!individualReservation17.seating := #Inside
!individualReservation17.smoking := #NonSmoking
!individualReservation17.number := 17

!insert (restaurant30, individualReservation17) into RestaurantReservation

!new Table('table77')
!table77.number := 1
!table77.description := 'Family Table'
!table77.capacity := 12

!insert (individualReservation17, table77) into ReservationTable

!new Waiter('waiter58')
!waiter58.name := 'Tomas Li'
!waiter58.dateOfBirth := Date('1990-01-01')     -- Arbitrary date of birth
!waiter58.phoneNumber := '2345678901'           -- Arbitrary phone number
!waiter58.spokenLanguage := #English

!new HeadWaiter('headwaiter25')
!headwaiter25.name := 'Elena Kostas'
!headwaiter25.dateOfBirth := Date('1985-01-01') -- Arbitrary date of birth
!headwaiter25.phoneNumber := '3456789012'       -- Arbitrary phone number

!insert (headwaiter25, waiter58) into HeadWaiterWaiter
!insert (individualReservation17, waiter58) into ReservationWaiter

!new Manager('manager6')
!manager6.name := 'Fiona Malcolm'
!manager6.dateOfBirth := Date('1975-01-01')     -- Arbitrary date of birth
!manager6.phoneNumber := '4567890123'           -- Arbitrary phone number

!new Chef('chef35')
!chef35.name := 'Mario Cavalli'
!chef35.dateOfBirth := Date('1960-01-01')       -- Arbitrary date of birth
!chef35.phoneNumber := '5678901234'             -- Arbitrary phone number

!new Cook('cook41')
!cook41.name := 'Luca Bartoli'
!cook41.dateOfBirth := Date('1983-01-01')       -- Arbitrary date of birth
!cook41.phoneNumber := '6789012345'             -- Arbitrary phone number
!cook41.yearsOfExperience := 6

!insert (chef35, cook41) into ChefCook

!new MenuItem('menuitem47')
!menuitem47.description := 'Caprese Salad'
!menuitem47.prepTime := 15.0
!menuitem47.classification := #Apetizer

!insert (menuitem47, chef35) into MenuItemChef

!new FoodItem('fooditem78')
!fooditem78.number := 78
!fooditem78.description := 'Mozzarella'
!fooditem78.unit := #Gram
!fooditem78.purchaseFlag := true

!insert (menuitem47, fooditem78) into MenuItemFoodItem

!new Allergen('allergen30')
!allergen30.type := #Lactose

!insert (fooditem78, allergen30) into FoodItemAllergen

!new Chef('chef36')
!chef36.name := 'Nia Kapoor'
!chef36.dateOfBirth := Date('1978-01-01')       -- Arbitrary date of birth
!chef36.phoneNumber := '7890123456'             -- Arbitrary phone number

!new Cook('cook42')
!cook42.name := 'Amrita Singh'
!cook42.dateOfBirth := Date('1990-01-01')       -- Arbitrary date of birth
!cook42.phoneNumber := '8901234567'             -- Arbitrary phone number
!cook42.yearsOfExperience := 5

!insert (chef36, cook42) into ChefCook

!new MenuItem('menuitem48')
!menuitem48.description := 'Lemon Herb Grilled Chicken'
!menuitem48.prepTime := 25.0
!menuitem48.classification := #Main

!insert (menuitem48, chef36) into MenuItemChef

!new Chef('chef37')
!chef37.name := 'Amahle Nkosi'
!chef37.dateOfBirth := Date('1982-01-01')       -- Arbitrary date of birth
!chef37.phoneNumber := '9012345678'             -- Arbitrary phone number

!new Cook('cook43')
!cook43.name := 'Thandiwe Biko'
!cook43.dateOfBirth := Date('1995-01-01')       -- Arbitrary date of birth
!cook43.phoneNumber := '0123456789'             -- Arbitrary phone number
!cook43.yearsOfExperience := 3

!insert (chef37, cook43) into ChefCook

!new MenuItem('menuitem49')
!menuitem49.description := 'Fresh Fruit Bowl'
!menuitem49.prepTime := 10.0
!menuitem49.classification := #Dessert

!insert (menuitem49, chef37) into MenuItemChef

!new RegularCustomer('customer27')
!customer27.name := 'Ethan Johnson'
!customer27.prefferedLanguage := #English
</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: Charity Dinner Event at "Gourmet Echo"

### Entities:

1. **Restaurant:**
   - Name: Gourmet Echo

2. **Owner:**
   - Name: Ahmed El-Badry
   - Percentage Shares: 80%

3. **Owner:**
   - Name: Sofia Petrenko
   - Percentage Shares: 20%

4. **Banquet (Reservation):**
   - Date: "2023-12-01"
   - Time: "19:30"
   - Group Name: Save the Children Fundraiser
   - Number of People: 100
   - Payment Method: CreditCard

5. **Table (Assigned to Banquet):**
   - Number: T601
   - Description: Ornate reception table
   - Capacity: 20

6. **Table (Assigned to Banquet):**
   - Number: T602
   - Description: Classic banquet table
   - Capacity: 25

7. **Table (Assigned to Banquet):**
   - Number: T603
   - Description: Traditional long table
   - Capacity: 30

8. **Table (Assigned to Banquet):**
   - Number: T604
   - Description: Elegant high-top table
   - Capacity: 15

9. **BusDriver:**
   - Name: Olga Kravchuk
   - Language: Ukrainian, English

10. **HeadWaiter:**
    - Name: Jean-Luc Moreau
    - Languages Spoken: French, English, German
    - Years of Experience: 20

11. **Waiter:**
    - Name: Norah Ali
    - Languages Spoken: Arabic, English
    - Years of Experience: 10

12. **Waiter:**
    - Name: Bao Nguyen
    - Languages Spoken: Vietnamese, English
    - Years of Experience: 7

13. **Waiter:**
    - Name: Priya Kapoor
    - Languages Spoken: Hindi, English
    - Years of Experience: 5

### Relationships:

1. **Restaurant-Owner (RestaurantOwner):**
   - Gourmet Echo - Ahmed El-Badry
   - Gourmet Echo - Sofia Petrenko

2. **Restaurant-Reservation (RestaurantReservation):**
   - Gourmet Echo - Save the Children Fundraiser Banquet

3. **Banquet-BusDriver (BanquetBusDriver):**
   - Save the Children Fundraiser - Olga Kravchuk

4. **Reservation-Table (ReservationTable):**
   - Save the Children Fundraiser is assigned with T601, T602, T603, T604

5. **Reservation-Waiter (ReservationWaiter - Violates Multiplicity):**
   - Save the Children Fundraiser Banquet served by Jean-Luc Moreau, Norah Ali, Bao Nguyen, Priya Kapoor

6. **HeadWaiter-Waiter (HeadWaiterWaiter):**
   - Jean-Luc Moreau manages Norah Ali, Bao Nguyen, Priya Kapoor

### Explanation of Overconstraint Detection:

This instance showcases the Charity Dinner Event for the Save the Children Fundraiser at Gourmet Echo. The seating arrangement is sufficiently planned with tables T601, T602, T603, and T604, providing a joint capacity of 90 for 100 guests, purposely breaking the 'TablesCapacityGreaterThanPeople' constraint. However, the actual seating could leave guests without adequate room, reflecting real-world miscalculations in event planning.

Additionally, enough waiters, including a head waiter Jean-Luc Moreau and three waiters, are assigned to manage the crowd, meeting the upper bounds of staffing but exposing the model to scenarios where planning malfunction can occur due to over-reliance on specified capacity constraints. This situation highlights how planning errors can arise despite following multiplicity rules, emphasizing the need for strategic flexibility and adaptability, especially in catering large charity events.

<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('restaurant22')
!restaurant22.name := 'Gourmet Echo'

!new Owner('owner46')
!owner46.name := 'Ahmed El-Badry'
!owner46.percentageShares := 80

!new Owner('owner47')
!owner47.name := 'Sofia Petrenko'
!owner47.percentageShares := 20

!insert (restaurant22, owner46) into RestaurantOwner
!insert (restaurant22, owner47) into RestaurantOwner

!new Banquet('banquet18')
!banquet18.date := Date('2023-12-01')
!banquet18.time := Time('19:30')
!banquet18.groupName := 'Save the Children Fundraiser'
!banquet18.numberPeople := 100
!banquet18.paymentMethod := #CreditCard

!insert (restaurant22, banquet18) into RestaurantReservation

!new Table('table55')
!table55.number := 601
!table55.description := 'Ornate reception table'
!table55.capacity := 20

!new Table('table56')
!table56.number := 602
!table56.description := 'Classic banquet table'
!table56.capacity := 25

!new Table('table57')
!table57.number := 603
!table57.description := 'Traditional long table'
!table57.capacity := 30

!new Table('table58')
!table58.number := 604
!table58.description := 'Elegant high-top table'
!table58.capacity := 15

!insert (banquet18, table55) into ReservationTable
!insert (banquet18, table56) into ReservationTable
!insert (banquet18, table57) into ReservationTable
!insert (banquet18, table58) into ReservationTable

!new BusDriver('busdriver18')
!busdriver18.name := 'Olga Kravchuk'

!insert (banquet18, busdriver18) into BanquetBusDriver

!new HeadWaiter('headwaiter17')
!headwaiter17.name := 'Jean-Luc Moreau'
!headwaiter17.dateOfBirth := Date('1973-01-01') -- Arbitrary date of birth
!headwaiter17.phoneNumber := '1234567890'        -- Arbitrary phone number

!new Waiter('waiter39')
!waiter39.name := 'Norah Ali'
!waiter39.dateOfBirth := Date('1983-01-01')     -- Arbitrary date of birth
!waiter39.phoneNumber := '1112223333'           -- Arbitrary phone number
!waiter39.spokenLanguage := #English

!new Waiter('waiter40')
!waiter40.name := 'Bao Nguyen'
!waiter40.dateOfBirth := Date('1986-01-01')     -- Arbitrary date of birth
!waiter40.phoneNumber := '4445556667'           -- Arbitrary phone number
!waiter40.spokenLanguage := #English

!new Waiter('waiter41')
!waiter41.name := 'Priya Kapoor'
!waiter41.dateOfBirth := Date('1991-01-01')     -- Arbitrary date of birth
!waiter41.phoneNumber := '8889990001'           -- Arbitrary phone number
!waiter41.spokenLanguage := #English

!insert (headwaiter17, waiter39) into HeadWaiterWaiter
!insert (headwaiter17, waiter40) into HeadWaiterWaiter
!insert (headwaiter17, waiter41) into HeadWaiterWaiter

!insert (banquet18, waiter39) into ReservationWaiter
!insert (banquet18, waiter40) into ReservationWaiter
!insert (banquet18, waiter41) into ReservationWaiter
</object_model>