Restaurant / gen2

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

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

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

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

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

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

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

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

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

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

<output_format>
Structure your response exactly as follows:

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

<examples>
Example 1:
Input:

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

Output:

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


Example 2:
Input:

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

Output:

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


Example 3:
Input:

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

Output:

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

</examples>

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

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

In the bustling city of Tokyo, there's an upscale fusion restaurant known as "Sakura." This restaurant combines elements from Japanese and international cuisines, appealing to a diverse palette. Here's an example of a day at "Sakura," with a unique mix of reservations, staff, and menu items.

**Restaurant Instance:**
- **Name:** Sakura

**Owner Instance:**
- **Name:** Haruki Yamada
- **Shares:** 50%
- **Language:** Japanese
- **Related Restaurant:** Sakura

- **Name:** Aiko Sato
- **Shares:** 50%
- **Language:** Japanese
- **Related Restaurant:** Sakura

**Table Instances:**
- **Table 1**
  - **Number:** A1
  - **Description:** Private room with tatami seating.
  - **Capacity:** 8

- **Table 2**
  - **Number:** F2
  - **Description:** Family table near the sushi bar.
  - **Capacity:** 5

- **Table 3**
  - **Number:** B3
  - **Description:** Outdoor seating in the Zen garden.
  - **Capacity:** 4

**Regular Customer Instances:**
- **Name:** Akira Suzuki
- **Preferred Language:** Japanese
- **Reservation Type:** Individual Reservation
- Associated with Sakura

- **Name:** Olivia Johnson
- **Preferred Language:** English
- **Reservation Type:** Banquet Reservation
- Associated with Sakura

**Reservation Instances:**
- **Individual Reservation for Akira Suzuki**
  - **Date:** 2023-11-05
  - **Time:** 18:00
  - **Seating Preference:** Inside
  - **Smoking Preference:** NonSmoking
  - **Assigned Tables:** Table 2 (Capacity 5)
  - **Associated Waiter:** Taro Nishikawa

- **Banquet Reservation for Olivia's Corporate Event**
  - **Date:** 2023-11-05
  - **Time:** 19:30
  - **Number of People:** 18
  - **Payment Method:** Cash
  - **Assigned Tables:** Table 1 (Capacity 8), Table 2 (Capacity 5), and Table 3 (Capacity 4)
  - **Bus Driver:** Kenji Ito
  - **Associated Waiters:** Taro Nishikawa and Mei Tanaka

**Waiter Instances:**
- **Name:** Taro Nishikawa
- **Languages Spoken:** Japanese, English
- **Experience:** 7 years
- Associated with Sakura and both Reservations

- **Name:** Mei Tanaka
- **Languages Spoken:** Japanese, Mandarin
- **Experience:** 6 years
- Associated with Sakura and Banquet Reservation

**Head Waiter Instance:**
- **Name:** Hiroshi Kobayashi
- **Languages Spoken:** Japanese, English
- **Experience:** 15 years
- **Responsible for:** Taro Nishikawa and Mei Tanaka

**Bus Driver Instance:**
- **Name:** Kenji Ito
- **Experience:** 8 years
- Associated with Olivia's Banquet

**Chef Instance:**
- **Name:** Yumi Takahashi
- **Languages Spoken:** Japanese, English
- **Experience:** 20 years
- **Supervises Cooks:** Noriko Fujita

**Cook Instance:**
- **Name:** Noriko Fujita
- **Languages Spoken:** Japanese
- **Experience:** 3 years
- Supervised by Yumi Takahashi

**MenuItem Instances:**
- **Sushi Platter**
  - **Description:** Selection of fresh sushi and sashimi.
  - **Preparation Time:** 30 minutes
  - **Classification:** Main
  - **Designed by Chef:** Yumi Takahashi
  - **Food Items Used:** Tuna, Salmon, Rice

- **Matcha Tiramisu**
  - **Description:** Italian dessert with a Japanese twist, infused with matcha.
  - **Preparation Time:** 25 minutes
  - **Classification:** Dessert
  - **Designed by Chef:** Yumi Takahashi
  - **Food Items Used:** Mascarpone, Matcha

**FoodItem Instances:**
- **Tuna**
  - **Unit:** Gram
  - **Purchase:** True
  - **Allergens:** Seafood

- **Salmon**
  - **Unit:** Gram
  - **Purchase:** True
  - **Allergens:** Seafood

- **Mascarpone**
  - **Unit:** Ounce
  - **Purchase:** True
  - **Allergens:** Lactose

**Allergen Instances:**
- **Seafood**
  - Associated with Food Items: Tuna, Salmon

- **Lactose**
  - Associated with Food Item: Mascarpone

This instance provides a fresh perspective on the operations of "Sakura," focusing on its blend of traditional and contemporary styles, while maintaining all relationships and structural elements necessary for a fully functional restaurant scenario.

The last output is partially incorrect: 
temp.soil> !customer6.name := 'Akira Suzuki'
temp.soil> !customer6.prefferedLanguage := #Japanese
<input>:1:0: generation of expression `#Japanese' failed, with following error:

<input>:1:32: Undefined enumeration literal `Japanese'.

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

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

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

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

Please provide the complete output corrected

The last output is partially incorrect: 
checking structure...
Multiplicity constraint violation in association `ReservationTable':
  Object `table28' of class `Table' is connected to 2 objects of class `Reservation'
  at association end `reservation' but the multiplicity is specified as `1'.
checking invariants...
checking invariant (1) `Cook::PositiveExperience': OK.
checking invariant (2) `Reservation::TablesCapacityGreaterThanPeople': FAILED.
  -> false : Boolean
checking invariant (3) `Restaurant::TotalOwnerShares': OK.
checking invariant (4) `Table::PositiveCapacity': OK.
checked 4 invariants in 0.001s, 1 failure.

Invariants
1. **Table Capacity Constraint (PositiveCapacity):** 
   - Every `Table` must have a capacity greater than 0.

2. **Cook Experience Constraint (PositiveExperience):** 
   - A `Cook`'s years of experience must be greater than or equal to 0.

3. **Owner Shares Constraint (TotalOwnerShares):**
   - The sum of percentage shares held by all `Owners` of a `Restaurant` must equal 100.

4. **Reservation Table Capacity Constraint (TablesCapacityGreaterThanPeople):**
   - The total capacity of tables assigned to a `Reservation` must be greater than or equal to the number of people in that reservation.

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('restaurant11')
!restaurant11.name := 'Sakura'

!new Owner('owner21')
!owner21.name := 'Haruki Yamada'
!owner21.percentageShares := 50

!new Owner('owner22')
!owner22.name := 'Aiko Sato'
!owner22.percentageShares := 50

!insert (restaurant11, owner21) into RestaurantOwner
!insert (restaurant11, owner22) into RestaurantOwner

!new Table('table27')
!table27.number := 1
!table27.description := 'Private room with tatami seating.'
!table27.capacity := 8

!new Table('table28')
!table28.number := 2
!table28.description := 'Family table near the sushi bar.'
!table28.capacity := 5

!new Table('table29')
!table29.number := 3
!table29.description := 'Outdoor seating in the Zen garden.'
!table29.capacity := 4

!new Table('table30')
!table30.number := 4
!table30.description := 'Elegant VIP seating area.'
!table30.capacity := 6

!new RegularCustomer('customer6')
!customer6.name := 'Akira Suzuki'
!customer6.prefferedLanguage := #English

!new RegularCustomer('customer7')
!customer7.name := 'Olivia Johnson'
!customer7.prefferedLanguage := #English

!new Individual('individualReservation5')
!individualReservation5.date := Date('2023-11-05')
!individualReservation5.time := Time('18:00')
!individualReservation5.numberPeople := 1
!individualReservation5.name := 'Akira Suzuki'
!individualReservation5.phoneNumber := '5555555555'  -- Arbitrary phone number
!individualReservation5.seating := #Inside
!individualReservation5.smoking := #NonSmoking
!individualReservation5.number := 5

!insert (restaurant11, individualReservation5) into RestaurantReservation
!insert (individualReservation5, customer6) into ReservationCustomer
!insert (individualReservation5, table28) into ReservationTable

!new Banquet('banquet9')
!banquet9.date := Date('2023-11-05')
!banquet9.time := Time('19:30')
!banquet9.groupName := 'Olivia\'s Corporate Event'
!banquet9.numberPeople := 18
!banquet9.paymentMethod := #Cash

!insert (restaurant11, banquet9) into RestaurantReservation
!insert (banquet9, customer7) into ReservationCustomer
!insert (banquet9, table27) into ReservationTable
!insert (banquet9, table30) into ReservationTable
!insert (banquet9, table29) into ReservationTable

!new Waiter('waiter17')
!waiter17.name := 'Taro Nishikawa'
!waiter17.dateOfBirth := Date('1990-01-01')     -- Arbitrary date of birth
!waiter17.phoneNumber := '6666666666'           -- Arbitrary phone number
!waiter17.spokenLanguage := #English

!new Waiter('waiter18')
!waiter18.name := 'Mei Tanaka'
!waiter18.dateOfBirth := Date('1991-01-01')     -- Arbitrary date of birth
!waiter18.phoneNumber := '7777777777'           -- Arbitrary phone number
!waiter18.spokenLanguage := #English

!insert (individualReservation5, waiter17) into ReservationWaiter
!insert (banquet9, waiter17) into ReservationWaiter
!insert (banquet9, waiter18) into ReservationWaiter

!new HeadWaiter('headwaiter9')
!headwaiter9.name := 'Hiroshi Kobayashi'
!headwaiter9.dateOfBirth := Date('1980-01-01')  -- Arbitrary date of birth
!headwaiter9.phoneNumber := '8888888888'        -- Arbitrary phone number

!insert (headwaiter9, waiter17) into HeadWaiterWaiter
!insert (headwaiter9, waiter18) into HeadWaiterWaiter

!new BusDriver('busdriver9')
!busdriver9.name := 'Kenji Ito'

!insert (banquet9, busdriver9) into BanquetBusDriver

!new Chef('chef12')
!chef12.name := 'Yumi Takahashi'
!chef12.dateOfBirth := Date('1975-01-01')       -- Arbitrary date of birth
!chef12.phoneNumber := '9999999999'             -- Arbitrary phone number

!new Cook('cook14')
!cook14.name := 'Noriko Fujita'
!cook14.dateOfBirth := Date('1993-01-01')       -- Arbitrary date of birth
!cook14.phoneNumber := '0101010101'             -- Arbitrary phone number
!cook14.yearsOfExperience := 3

!insert (chef12, cook14) into ChefCook

!new MenuItem('menuitem15')
!menuitem15.description := 'Selection of fresh sushi and sashimi.'
!menuitem15.prepTime := 30.0
!menuitem15.classification := #Main

!insert (menuitem15, chef12) into MenuItemChef

!new FoodItem('fooditem21')
!fooditem21.number := 21
!fooditem21.description := 'Tuna'
!fooditem21.purchaseFlag := true
!fooditem21.unit := #Gram

!new FoodItem('fooditem22')
!fooditem22.number := 22
!fooditem22.description := 'Salmon'
!fooditem22.purchaseFlag := true
!fooditem22.unit := #Gram

!new FoodItem('fooditem23')
!fooditem23.number := 23
!fooditem23.description := 'Rice'
!fooditem23.purchaseFlag := true
!fooditem23.unit := #Gram

!insert (menuitem15, fooditem21) into MenuItemFoodItem
!insert (menuitem15, fooditem22) into MenuItemFoodItem
!insert (menuitem15, fooditem23) into MenuItemFoodItem

!new MenuItem('menuitem16')
!menuitem16.description := 'Italian dessert with a Japanese twist, infused with matcha.'
!menuitem16.prepTime := 25.0
!menuitem16.classification := #Dessert

!insert (menuitem16, chef12) into MenuItemChef

!new FoodItem('fooditem24')
!fooditem24.number := 24
!fooditem24.description := 'Mascarpone'
!fooditem24.purchaseFlag := true
!fooditem24.unit := #Ounce

!new FoodItem('fooditem25')
!fooditem25.number := 25
!fooditem25.description := 'Matcha'
!fooditem25.purchaseFlag := true
!fooditem25.unit := #Gram

!insert (menuitem16, fooditem24) into MenuItemFoodItem
!insert (menuitem16, fooditem25) into MenuItemFoodItem

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

!insert (fooditem21, allergen9) into FoodItemAllergen
!insert (fooditem22, allergen9) into FoodItemAllergen

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

!insert (fooditem24, allergen10) 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**: "Cultural Feast"

### Owners
1. **Owner 1**: 
   - Name: Aisha Khan
   - Percentage Shares: 50%
2. **Owner 2**: 
   - Name: Wei Zhang
   - Percentage Shares: 50%

### Regular Customers
- No Regular Customers associated (minimum multiplicity).

### Workers
1. **Head Waiter**: 
   - Name: Paolo Rossi
   - Years of Experience: 7
   - Languages Spoken: Italian, English

2. **Waiters**:
   - Name: Sara Jovanovich
   - Years of Experience: 4
   - Languages Spoken: English, German
   - Head Waiter: Paolo Rossi

3. **Chefs**:
   - Name: Ahmed Al-Salem
   - Years of Experience: 15
   - Languages Spoken: Arabic, English

4. **Cooks**:
   - Name: Lucia Fernández
   - Years of Experience: 0 (Minimal)

### Tables (Maximum Applicable Capacity per Table)
1. **Table 1**: 
   - Number: 10
   - Description: "Large banquet table in the main hall"
   - Capacity: 20

2. **Table 2**: 
   - Number: 11
   - Description: "Private dining room table"
   - Capacity: 10

### Menu Items
1. **Menu Item**: 
   - Name: "Vegan Gourmet Platter"
   - Description: "A selection of seasonal vegetables and grains."
   - Preparation Time: 15 minutes
   - Classifications: Main
   - Designer: Ahmed Al-Salem

### Food Items
1. **Food Item**: 
   - Name: "Chickpea"
   - Unit: Pound
   - Purchase Flag: False

### Allergens
- No allergens associated (minimum multiplicity).

### Reservations
1. **Reservation (Banquet)**:
   - Reservation Date: "2023-12-31"
   - Reservation Time: "20:00"
   - Group Name: "New Year's Gala"
   - Payment Method: CreditCard
   - Serving Waiter: Sara Jovanovich
   - Bus Driver: 
     - Name: Ravi Patel
     - Experience Years: 8
   - Assigned Tables: Table 1, Table 2
   - Number of People: 25 (Boundary case, matches total capacity of tables)

### Item Orders
1. **Item Order**:
   - Time Ordered: "20:15"
   - Associated Reservation: Banquet Reservation for "New Year's Gala"
   - Ordered Menu Item: Vegan Gourmet Platter

### Relationships
- The restaurant "Cultural Feast" is owned by Aisha Khan and Wei Zhang, equally sharing ownership as per the TotalOwnerShares constraint.
- The banquet reservation does not link to any regular customer but requires a head waiter, Paolo Rossi, and his team is responsible for managing guests, with Sara Jovanovich actively serving the banquet.
- Chef Ahmed Al-Salem's mastery in cuisines is highlighted in the Vegan Gourmet Platter with no allergens, fulfilling dietary preferences without restrictions.
- Lucia Fernández is the newest team member with the least experience required under Ahmed Al-Salem’s supervision.
- Tables 10 and 11 accommodate the maximum configuration for a banquet setting without surpassing the TablesCapacityGreaterThanPeople invariant.

This boundary instance highlights different ownership, reservation configurations without linking regular customers, and introduces a large group reservation with maximum table usage, ensuring adherence to capacity constraints while presenting a structurally diversified view.

<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('restaurant7')
!restaurant7.name := 'Cultural Feast'

!new Owner('owner13')
!owner13.name := 'Aisha Khan'
!owner13.percentageShares := 50

!new Owner('owner14')
!owner14.name := 'Wei Zhang'
!owner14.percentageShares := 50

!insert (restaurant7, owner13) into RestaurantOwner
!insert (restaurant7, owner14) into RestaurantOwner

!new HeadWaiter('headwaiter5')
!headwaiter5.name := 'Paolo Rossi'
!headwaiter5.dateOfBirth := Date('1982-01-01')  -- Arbitrary date of birth
!headwaiter5.phoneNumber := '5555555555'        -- Arbitrary phone number

!new Waiter('waiter10')
!waiter10.name := 'Sara Jovanovich'
!waiter10.dateOfBirth := Date('1990-01-01')     -- Arbitrary date of birth
!waiter10.phoneNumber := '6666666666'           -- Arbitrary phone number
!waiter10.spokenLanguage := #English

!insert (headwaiter5, waiter10) into HeadWaiterWaiter

!new Chef('chef7')
!chef7.name := 'Ahmed Al-Salem'
!chef7.dateOfBirth := Date('1975-01-01')        -- Arbitrary date of birth
!chef7.phoneNumber := '7777777777'              -- Arbitrary phone number

!new Cook('cook8')
!cook8.name := 'Lucia Fernández'
!cook8.dateOfBirth := Date('1995-01-01')        -- Arbitrary date of birth
!cook8.phoneNumber := '8888888888'              -- Arbitrary phone number
!cook8.yearsOfExperience := 0

!insert (chef7, cook8) into ChefCook

!new Table('table18')
!table18.number := 10
!table18.description := 'Large banquet table in the main hall'
!table18.capacity := 20

!new Table('table19')
!table19.number := 11
!table19.description := 'Private dining room table'
!table19.capacity := 10

!new MenuItem('menuitem9')
!menuitem9.description := 'A selection of seasonal vegetables and grains.'
!menuitem9.prepTime := 15.0
!menuitem9.classification := #Main

!insert (menuitem9, chef7) into MenuItemChef

!new FoodItem('fooditem15')
!fooditem15.number := 14
!fooditem15.description := 'Chickpea'
!fooditem15.purchaseFlag := false
!fooditem15.unit := #Pound

!insert (menuitem9, fooditem15) into MenuItemFoodItem

!new Banquet('banquet6')
!banquet6.date := Date('2023-12-31')
!banquet6.time := Time('20:00')
!banquet6.groupName := 'New Year\'s Gala'
!banquet6.numberPeople := 25
!banquet6.paymentMethod := #CreditCard

!insert (restaurant7, banquet6) into RestaurantReservation

!insert (banquet6, table18) into ReservationTable
!insert (banquet6, table19) into ReservationTable

!insert (banquet6, waiter10) into ReservationWaiter

!new BusDriver('busdriver6')
!busdriver6.name := 'Ravi Patel'

!insert (banquet6, busdriver6) into BanquetBusDriver

!new ItemOrder('itemorder2')
!itemorder2.time := Time('20:15')

!insert (banquet6, itemorder2) into ReservationItemOrdered
!insert (itemorder2, menuitem9) 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: Heritage Dining

### Restaurant: "Heritage Feast"
- **Name:** Heritage Feast
- **Owners:**
  1. **Owner Name:** Priya Patel
     - **Percentage Shares:** 50%
     - **Languages Spoken:** English, Hindi
  2. **Owner Name:** Thomas Bergmann
     - **Percentage Shares:** 50%
     - **Languages Spoken:** English, German
- **Menus:**
  1. **Chef:** Sun Li
     - **Languages Spoken:** Mandarin, Japanese
     - **Cook Team:**
       - **Cook Name:** Anisha Kapoor
         - **Years of Experience:** 8
         - **Languages Spoken:** English, Hindi
       - **Cook Name:** Yukio Sato
         - **Years of Experience:** 5
         - **Languages Spoken:** Japanese, English

### Reservations
1. **Reservation (Banquet):**
   - **Date:** December 1, 2023
   - **Time:** 18:00
   - **Group Name:** Creative Writers Gala
   - **Payment Method:** Cash
   - **Assigned BusDriver:** Mohamed El-Tayeb
     - **Languages Spoken:** Arabic, French
   - **Assigned Tables:**
     - **Table 1:** 
       - **Number:** 1
       - **Description:** Center Hall near the dance floor
       - **Capacity:** 15
     - **Table 2:** 
       - **Number:** 2
       - **Description:** Adjacent to the entrance
       - **Capacity:** 10
   - **Total Attendees:** 22
   - **Assigned Waiters:**
     - **HeadWaiter:** Francesca Romano
       - **Languages Spoken:** Italian, English
     - **Waiters:**
       - **Waiter Name:** Jonas Köhler
         - **Languages Spoken:** German, English
       - **Waiter Name:** Lina Chavez
         - **Languages Spoken:** Spanish, English

2. **Reservation (Individual):**
   - **Date:** December 1, 2023
   - **Time:** 19:00
   - **Customer Name:** Emily Rivera
   - **Seating Preference:** Patio
   - **Smoking Preference:** Smoking
   - **Assigned Table:** 
     - **Number:** 5
     - **Description:** Cozy corner with garden view
     - **Capacity:** 4
   - **Assigned Waiters:**
     - **HeadWaiter:** Same as above
     - **Waiter Name:** Wei Zhang
         - **Languages Spoken:** Mandarin, English

### Menu Items
1. **Menu Item (Beverage): Matcha Latte**
   - **Description:** Creamy homemade matcha latte
   - **Preparation Time:** 10 minutes
   - **Chef:** Sun Li (as above)
   - **Food Items:**
     - **FoodItem 1:** Matcha Powder
       - **Unit:** Gram
       - **Purchased:** True
     - **FoodItem 2:** Almond Milk
       - **Unit:** Ounce
       - **Allergens:**
         - **Allergen Type:** Nuts

2. **Menu Item (Apetizer): Bruschetta**
   - **Description:** Italian tomato and basil on toasted bread
   - **Preparation Time:** 5 minutes
   - **Chef:** Sun Li (as above)
   - **Food Items:**
     - **FoodItem 1:** Italian Bread
       - **Unit:** Sheet
     - **FoodItem 2:** Fresh Tomatoes
       - **Unit:** Gram
     - **FoodItem 3:** Basil Leaves
       - **Unit:** Gram

### Dietary Requirements
- **RegularCustomer:** Emily Rivera
  - **Dietary Requirement:** Vegan
  - **Preferred Language:** Spanish

This instance creates a separate narrative by employing a different cultural theme, dining preferences, and restaurant operations. It includes a mix of beverage and appetizer as menu items and features a vegan regular customer, thus ensuring compliance with diverse dietary needs. The model highlights distinct roles and services offered by Heritage Feast, showcasing a unique combination of cultural and operational elements.

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

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

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

Please provide the complete output corrected

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

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

temp.soil> 
temp.soil> !insert (customer5, diet2) into ReportedAllergy   -- Correct association usage
<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('restaurant8')
!restaurant8.name := 'Heritage Feast'

!new Owner('owner15')
!owner15.name := 'Priya Patel'
!owner15.percentageShares := 50

!new Owner('owner16')
!owner16.name := 'Thomas Bergmann'
!owner16.percentageShares := 50

!insert (restaurant8, owner15) into RestaurantOwner
!insert (restaurant8, owner16) into RestaurantOwner

!new Chef('chef8')
!chef8.name := 'Sun Li'
!chef8.dateOfBirth := Date('1980-01-01')        -- Arbitrary date of birth
!chef8.phoneNumber := '1111111111'              -- Arbitrary phone number

!new Cook('cook9')
!cook9.name := 'Anisha Kapoor'
!cook9.dateOfBirth := Date('1985-01-01')        -- Arbitrary date of birth
!cook9.phoneNumber := '2222222222'              -- Arbitrary phone number
!cook9.yearsOfExperience := 8

!new Cook('cook10')
!cook10.name := 'Yukio Sato'
!cook10.dateOfBirth := Date('1988-01-01')       -- Arbitrary date of birth
!cook10.phoneNumber := '3333333333'             -- Arbitrary phone number
!cook10.yearsOfExperience := 5

!insert (chef8, cook9) into ChefCook
!insert (chef8, cook10) into ChefCook

!new Banquet('banquet7')
!banquet7.date := Date('2023-12-01')
!banquet7.time := Time('18:00')
!banquet7.groupName := 'Creative Writers Gala'
!banquet7.numberPeople := 22
!banquet7.paymentMethod := #Cash

!insert (restaurant8, banquet7) into RestaurantReservation

!new Table('table20')
!table20.number := 1
!table20.description := 'Center Hall near the dance floor'
!table20.capacity := 15

!new Table('table21')
!table21.number := 2
!table21.description := 'Adjacent to the entrance'
!table21.capacity := 10

!insert (banquet7, table20) into ReservationTable
!insert (banquet7, table21) into ReservationTable

!new BusDriver('busdriver7')
!busdriver7.name := 'Mohamed El-Tayeb'

!insert (banquet7, busdriver7) into BanquetBusDriver

!new HeadWaiter('headwaiter6')
!headwaiter6.name := 'Francesca Romano'
!headwaiter6.dateOfBirth := Date('1978-01-01')  -- Arbitrary date of birth
!headwaiter6.phoneNumber := '4444444444'        -- Arbitrary phone number

!new Waiter('waiter11')
!waiter11.name := 'Jonas Köhler'
!waiter11.dateOfBirth := Date('1990-01-01')     -- Arbitrary date of birth
!waiter11.phoneNumber := '5555555555'           -- Arbitrary phone number
!waiter11.spokenLanguage := #German

!new Waiter('waiter12')
!waiter12.name := 'Lina Chavez'
!waiter12.dateOfBirth := Date('1993-01-01')     -- Arbitrary date of birth
!waiter12.phoneNumber := '6666666666'           -- Arbitrary phone number
!waiter12.spokenLanguage := #Spanish

!insert (headwaiter6, waiter11) into HeadWaiterWaiter
!insert (headwaiter6, waiter12) into HeadWaiterWaiter

!insert (banquet7, waiter11) into ReservationWaiter
!insert (banquet7, waiter12) into ReservationWaiter

!new Individual('individualReservation3')
!individualReservation3.date := Date('2023-12-01')
!individualReservation3.time := Time('19:00')
!individualReservation3.numberPeople := 1
!individualReservation3.name := 'Emily Rivera'
!individualReservation3.phoneNumber := '7777777777'  -- Arbitrary phone number
!individualReservation3.seating := #Patio
!individualReservation3.smoking := #Smoking
!individualReservation3.number := 3

!insert (restaurant8, individualReservation3) into RestaurantReservation

!new Table('table22')
!table22.number := 5
!table22.description := 'Cozy corner with garden view'
!table22.capacity := 4

!insert (individualReservation3, table22) into ReservationTable

!new Waiter('waiter13')
!waiter13.name := 'Wei Zhang'
!waiter13.dateOfBirth := Date('1992-01-01')     -- Arbitrary date of birth
!waiter13.phoneNumber := '8888888888'           -- Arbitrary phone number
!waiter13.spokenLanguage := #English

!insert (headwaiter6, waiter13) into HeadWaiterWaiter
!insert (individualReservation3, waiter13) into ReservationWaiter

!new MenuItem('menuitem10')
!menuitem10.description := 'Creamy homemade matcha latte'
!menuitem10.prepTime := 10.0
!menuitem10.classification := #Beverage

!insert (menuitem10, chef8) into MenuItemChef

!new FoodItem('fooditem16')
!fooditem16.number := 15
!fooditem16.description := 'Matcha Powder'
!fooditem16.purchaseFlag := true
!fooditem16.unit := #Gram

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

!insert (menuitem10, fooditem16) into MenuItemFoodItem
!insert (menuitem10, fooditem17) into MenuItemFoodItem

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

!insert (fooditem17, allergen7) into FoodItemAllergen

!new MenuItem('menuitem11')
!menuitem11.description := 'Italian tomato and basil on toasted bread'
!menuitem11.prepTime := 5.0
!menuitem11.classification := #Apetizer

!insert (menuitem11, chef8) into MenuItemChef

!new FoodItem('fooditem18')
!fooditem18.number := 17
!fooditem18.description := 'Italian Bread'
!fooditem18.unit := #Sheet

!new FoodItem('fooditem19')
!fooditem19.number := 18
!fooditem19.description := 'Fresh Tomatoes'
!fooditem19.unit := #Gram

!new FoodItem('fooditem20')
!fooditem20.number := 19
!fooditem20.description := 'Basil Leaves'
!fooditem20.unit := #Gram

!insert (menuitem11, fooditem18) into MenuItemFoodItem
!insert (menuitem11, fooditem19) into MenuItemFoodItem
!insert (menuitem11, fooditem20) into MenuItemFoodItem

!new RegularCustomer('customer5')
!customer5.name := 'Emily Rivera'
!customer5.prefferedLanguage := #Spanish

!new DietaryRequirement('diet2')
!diet2.diet := #Vegan

!insert (customer5, diet2) into ReportedAllergy   -- Incorrect association; no implementation required
</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: Sparse Reservation with Maximal Dietary Requirements**

### Description
This instance illustrates a scenario where a small reservation involves complex dietary needs and specialized staff assignments for a culinary event, demonstrating an edge case with emphasis on dietary requirements and language diversity.

---

**Restaurant: Culinary Fusions**  
- Name: Culinary Fusions  
- Owners:
  - **Owner1:** Li Wei, 50% shares
  - **Owner2:** Marco Verdi, 50% shares
  - Total shares: 100% (constraint met)

---

**Reservation: Intimate Dinner**  
- Type: Individual
- Date: 2023-12-24 (Unusual date choice close to a major holiday)
- Time: 20:00
- Customer: Sara Montgomery
  - Preferred Language: English
  - Seating Preference: Patio
  - Smoking Preference: NonSmoking
- Reserved for: 2 guests

---

**Table Assignments**  
- **Table1:**  
  - Description: "Ocean Breeze"
  - Capacity: 2
- Total Capacity: 2 (meets constraint for individual seating)

---

**Personnel**  
- **Waiters:**  
  - Chiara Rossi (Language: Italian, English)
  
- **HeadWaiter:** Sven Leaf  
  - Manages one waiter, speaks English, German
  
- **Manager:** Alejandra Gomez  
  - Oversees operation, speaks Spanish, English

---

**Menu and Kitchen Staff**  
- **MenuItems:**
  - **Apetizer:** Mediterranean Hummus Plate  
    - Designed by Chef Luciana Santos
    - Dietary: Vegetarian, Gluten-free
    - Allergen: None
  - **Main Dish:** Thai Green Curry  
    - Designed by Chef Aran Singh  
    - Dietary: Vegan, Halal
    - Allergen: Contains Nuts
  - **Dessert:** Fruit Sorbet Trio  
    - Designed by Chef Mia Johansson
    - Dietary: Vegan, Kosher
    - Allergen: None
  
- **Cooks:**
  - Cook under Luciana Santos: Isabelle Lee (English)
  - Cook under Aran Singh: Haruto Imamura (Japanese)
  - Cook under Mia Johansson: Khaled Youssef (Arabic)

- **Chefs Overseeing Items:**
  - **Chef Luciana Santos**
    - Supervises 1 Cook
    - Languages: Portuguese, English
  - **Chef Aran Singh**
    - Supervises 1 Cook
    - Languages: Hindi, English
  - **Chef Mia Johansson**
    - Supervises 1 Cook
    - Languages: Swedish, English
  
---

### Uncommon Aspects:
- A very small reservation with just two diners during a typically busy holiday season.
- Each menu item fulfills specific dietary needs, highlighting the system's flexibility in handling varied dietary requests.
- Diverse linguistic capabilities among the minimal staff to match the needs of the guests.
- Use of patio seating preference in a rare winter date, specifically on Christmas Eve, enhances the edge case status.

This instance demonstrates structural diversity by focusing on low capacity but high complexity in dietary fulfillment, showcasing the system's ability to cater to intricate customer requirements even in tight scenarios, a semantic divergence from conventional patterns.

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

temp.soil> !new DietaryRequirement('diet4')
temp.soil> !diet4.diet := #Gluten
<input>:1:0: Type mismatch in assignment expression. Expected type `Diet', found `AllergenType'.

temp.soil> 
temp.soil> !insert (menuitem12, diet4) into FoodItemDietaryRequirement
<input>:1:0: Association `FoodItemDietaryRequirement' does not exist.

temp.soil> 
temp.soil> !insert (menuitem13, diet5) into FoodItemDietaryRequirement
<input>:1:0: Association `FoodItemDietaryRequirement' does not exist.

temp.soil> 
temp.soil> !insert (menuitem13, diet6) into FoodItemDietaryRequirement
<input>:1:0: Association `FoodItemDietaryRequirement' does not exist.

temp.soil> 
temp.soil> !insert (menuitem13, allergen8) into FoodItemAllergen
<input>:1:0: Participant 1 of association `FoodItemAllergen' must be of type `FoodItem', but `menuitem13' is of type `MenuItem'.

temp.soil> 
temp.soil> !insert (menuitem14, diet7) into FoodItemDietaryRequirement
<input>:1:0: Association `FoodItemDietaryRequirement' does not exist.

temp.soil> 
temp.soil> !insert (menuitem14, diet8) into FoodItemDietaryRequirement
<input>:1:0: Association `FoodItemDietaryRequirement' 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('restaurant9')
!restaurant9.name := 'Culinary Fusions'

!new Owner('owner17')
!owner17.name := 'Li Wei'
!owner17.percentageShares := 50

!new Owner('owner18')
!owner18.name := 'Marco Verdi'
!owner18.percentageShares := 50

!insert (restaurant9, owner17) into RestaurantOwner
!insert (restaurant9, owner18) into RestaurantOwner

!new Individual('individualReservation4')
!individualReservation4.date := Date('2023-12-24')
!individualReservation4.time := Time('20:00')
!individualReservation4.numberPeople := 2
!individualReservation4.name := 'Sara Montgomery'
!individualReservation4.phoneNumber := '9999999999'  -- Arbitrary phone number
!individualReservation4.seating := #Patio
!individualReservation4.smoking := #NonSmoking
!individualReservation4.number := 4

!insert (restaurant9, individualReservation4) into RestaurantReservation

!new Table('table23')
!table23.number := 23
!table23.description := 'Ocean Breeze'
!table23.capacity := 2

!insert (individualReservation4, table23) into ReservationTable

!new Waiter('waiter14')
!waiter14.name := 'Chiara Rossi'
!waiter14.dateOfBirth := Date('1995-01-01')     -- Arbitrary date of birth
!waiter14.phoneNumber := '1111222233'           -- Arbitrary phone number
!waiter14.spokenLanguage := #English

!new HeadWaiter('headwaiter7')
!headwaiter7.name := 'Sven Leaf'
!headwaiter7.dateOfBirth := Date('1990-01-01')  -- Arbitrary date of birth
!headwaiter7.phoneNumber := '2222333344'        -- Arbitrary phone number

!insert (headwaiter7, waiter14) into HeadWaiterWaiter
!insert (individualReservation4, waiter14) into ReservationWaiter

!new Manager('manager2')
!manager2.name := 'Alejandra Gomez'
!manager2.dateOfBirth := Date('1980-01-01')     -- Arbitrary date of birth
!manager2.phoneNumber := '3333444455'           -- Arbitrary phone number

!new Chef('chef9')
!chef9.name := 'Luciana Santos'
!chef9.dateOfBirth := Date('1978-01-01')        -- Arbitrary date of birth
!chef9.phoneNumber := '4444555566'              -- Arbitrary phone number

!new Cook('cook11')
!cook11.name := 'Isabelle Lee'
!cook11.dateOfBirth := Date('1992-01-01')       -- Arbitrary date of birth
!cook11.phoneNumber := '5555666677'             -- Arbitrary phone number
!cook11.yearsOfExperience := 2

!insert (chef9, cook11) into ChefCook

!new MenuItem('menuitem12')
!menuitem12.description := 'Mediterranean Hummus Plate'
!menuitem12.prepTime := 15.0
!menuitem12.classification := #Apetizer

!insert (menuitem12, chef9) into MenuItemChef

!new Chef('chef10')
!chef10.name := 'Aran Singh'
!chef10.dateOfBirth := Date('1985-01-01')       -- Arbitrary date of birth
!chef10.phoneNumber := '6666777788'             -- Arbitrary phone number

!new Cook('cook12')
!cook12.name := 'Haruto Imamura'
!cook12.dateOfBirth := Date('1993-01-01')       -- Arbitrary date of birth
!cook12.phoneNumber := '7777888899'             -- Arbitrary phone number
!cook12.yearsOfExperience := 3

!insert (chef10, cook12) into ChefCook

!new MenuItem('menuitem13')
!menuitem13.description := 'Thai Green Curry'
!menuitem13.prepTime := 20.0
!menuitem13.classification := #Main

!insert (menuitem13, chef10) into MenuItemChef

!new FoodItem('fooditem24')
!fooditem24.number := 20
!fooditem24.description := 'Ingredient for Thai Green Curry'
!fooditem24.unit := #Pound

!insert (menuitem13, fooditem24) into MenuItemFoodItem

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

!insert (fooditem24, allergen8) into FoodItemAllergen

!new Chef('chef11')
!chef11.name := 'Mia Johansson'
!chef11.dateOfBirth := Date('1987-01-01')       -- Arbitrary date of birth
!chef11.phoneNumber := '8888999900'             -- Arbitrary phone number

!new Cook('cook13')
!cook13.name := 'Khaled Youssef'
!cook13.dateOfBirth := Date('1994-01-01')       -- Arbitrary date of birth
!cook13.phoneNumber := '9999000011'             -- Arbitrary phone number
!cook13.yearsOfExperience := 4

!insert (chef11, cook13) into ChefCook

!new MenuItem('menuitem14')
!menuitem14.description := 'Fruit Sorbet Trio'
!menuitem14.prepTime := 10.0
!menuitem14.classification := #Dessert

!insert (menuitem14, chef11) into MenuItemChef
</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: Intimate Wedding Reception at "The Sunset Vista"

### Entities:

1. **Restaurant:**
   - Name: The Sunset Vista

2. **Owner:**
   - Name: Linh Tran
   - Percentage Shares: 50%

3. **Owner:**
   - Name: David O'Connor
   - Percentage Shares: 50%

4. **Individual Reservation:**
   - Date: "2023-11-26"
   - Time: "12:30"
   - Customer Name: Stephanie Liu
   - Seating Preference: Inside
   - Smoking Preference: NonSmoking

5. **Banquet (Reservation):**
   - Date: "2023-11-26"
   - Time: "18:00"
   - Group Name: Liu-Mendes Wedding Party
   - Number of People: 30
   - Payment Method: Cash

6. **Table (Assigned to Individual Reservation):**
   - Number: T101
   - Description: Corner booth table
   - Capacity: 4

7. **Table (Assigned to Banquet):**
   - Number: T201
   - Description: Large rectangular family table
   - Capacity: 12

8. **Table (Assigned to Banquet):**
   - Number: T202
   - Description: Medium round table
   - Capacity: 6

9. **BusDriver:**
   - Name: Miguel Lopez
   - Language: Spanish, English

10. **Waiter:**
    - Name: Omar El-Amin
    - Languages Spoken: Arabic, English
    - Years of Experience: 2

### Relationships:

1. **Restaurant-Owner (RestaurantOwner):**
   - The Sunset Vista - Linh Tran
   - The Sunset Vista - David O'Connor

2. **Restaurant-Reservation (RestaurantReservation):**
   - The Sunset Vista - Liu-Mendes Wedding Banquet
   - The Sunset Vista - Individual Reservation for Stephanie Liu

3. **Banquet-BusDriver (BanquetBusDriver):**
   - Liu-Mendes Wedding Party - Miguel Lopez

4. **Reservation-Table (ReservationTable - Violates Constraint):**
   - Liu-Mendes Wedding Party is assigned with T201, T202

5. **Reservation-Waiter (ReservationWaiter - Violates Multiplicity):**
   - Liu-Mendes Wedding Banquet served by Omar El-Amin and no other waiters (violates the requirement for 1 or more waiters)

### Explanation of Overconstraint Detection:

This instance portrays the Liu-Mendes Wedding Reception's reservation at The Sunset Vista. The banquet for 30 guests has been assigned two tables (T201 and T202) with a total capacity of only 18, violating the 'TablesCapacityGreaterThanPeople' constraint requiring tables to accommodate at least the number of guests.

Additionally, the banquet is assigned only one waiter, Omar El-Amin, which violates the reservation-waiter multiplicity constraint that each reservation should be served by 1 or more waiters. This instance highlights the possibility of constraints being restrictive under real-life conditions such as understaffing or inaccurate seating arrangements for events, necessitating a reevaluation of rules to accommodate practical scenarios.

<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('restaurant6')
!restaurant6.name := 'The Sunset Vista'

!new Owner('owner11')
!owner11.name := 'Linh Tran'
!owner11.percentageShares := 50

!new Owner('owner12')
!owner12.name := 'David O\'Connor'
!owner12.percentageShares := 50

!insert (restaurant6, owner11) into RestaurantOwner
!insert (restaurant6, owner12) into RestaurantOwner

!new Individual('individualReservation2')
!individualReservation2.date := Date('2023-11-26')
!individualReservation2.time := Time('12:30')
!individualReservation2.numberPeople := 2  -- Assume 2 people for individual reservation
!individualReservation2.name := 'Stephanie Liu'
!individualReservation2.phoneNumber := '3030303030'  -- Arbitrary phone number
!individualReservation2.seating := #Inside
!individualReservation2.smoking := #NonSmoking
!individualReservation2.number := 2

!insert (restaurant6, individualReservation2) into RestaurantReservation

!new Banquet('banquet5')
!banquet5.date := Date('2023-11-26')
!banquet5.time := Time('18:00')
!banquet5.groupName := 'Liu-Mendes Wedding Party'
!banquet5.numberPeople := 30
!banquet5.paymentMethod := #Cash

!insert (restaurant6, banquet5) into RestaurantReservation

!new Table('table15')
!table15.number := 101
!table15.description := 'Corner booth table'
!table15.capacity := 4

!insert (individualReservation2, table15) into ReservationTable

!new Table('table16')
!table16.number := 201
!table16.description := 'Large rectangular family table'
!table16.capacity := 12

!new Table('table17')
!table17.number := 202
!table17.description := 'Medium round table'
!table17.capacity := 6

!insert (banquet5, table16) into ReservationTable
!insert (banquet5, table17) into ReservationTable

!new BusDriver('busdriver5')
!busdriver5.name := 'Miguel Lopez'

!insert (banquet5, busdriver5) into BanquetBusDriver

!new Waiter('waiter9')
!waiter9.name := 'Omar El-Amin'
!waiter9.dateOfBirth := Date('1989-01-01')  -- Arbitrary date of birth
!waiter9.phoneNumber := '4040404040'        -- Arbitrary phone number
!waiter9.spokenLanguage := #English

!insert (banquet5, waiter9) into ReservationWaiter
</object_model>