Bank / gen26

!new Bank('bank51')
!bank51.country := 'Turkey'
!bank51.name := 'Ziraat Bank'
!bank51.bic := 'TCZBTR2A'

!new Bank('bank52')
!bank52.country := 'Finland'
!bank52.name := 'Nordea'
!bank52.bic := 'NDEAFIHH'

!new Account('account76')
!account76.iban := 'TR750006200027006400029328'
!account76.balance := 9400

!new Account('account77')
!account77.iban := 'FI2112345600000785'
!account77.balance := 4800

!new Account('account78')
!account78.iban := 'TR750006200027006400029329'
!account78.balance := 350

!new Person('person76')
!person76.firstName := 'Ahmet'
!person76.lastName := 'Yildirim'
!person76.age := 51

!new Person('person77')
!person77.firstName := 'Erik'
!person77.lastName := 'Virtanen'
!person77.age := 37

!new Person('person78')
!person78.firstName := 'Selin'
!person78.lastName := 'Ozdemir'
!person78.age := 28

!insert (person76, account76) into Ownership
!insert (person77, account77) into Ownership
!insert (person78, account78) into Ownership
!insert (person76, account78) into Ownership

!insert (person76, account76) into Use
!insert (person77, account77) into Use
!insert (person78, account78) into Use
!insert (person77, account76) into Use

!insert (bank51, account76) into AccountOfBanks
!insert (bank52, account77) into AccountOfBanks
!insert (bank51, account78) into AccountOfBanks

model BankAccount

class Bank
attributes
    country:String
    name:String
    bic:String
end

class Account
attributes
    iban: String
    balance : Integer
end

class Person
attributes
    firstName:String
    lastName:String
    age : Integer
end

association Ownership between
    Person [1..2] role owner
    Account [*] role accounts
end

association Use between
    Person [*] role user
    Account [*]
end

composition AccountOfBanks between
    Bank [1] role bank
    Account [*] role accounts
end

constraints
context Account inv AdultOwners:
    self.owner->forAll(p | p.age >= 18)
	
context Account inv positiveBalance:
    self.balance >= 0

Given a conceptual model expressed in the UML-based Specification Environment (USE), your task is to generate valid and realistic instances that conform to the provided model. <requirements> - Instances must be syntactically correct according to the USE syntax_reference. - Avoid unnecessary comments and output the instance in plain text (i.e., not markdown). - Make sure instances fulfill all the model's constraints, and that multiplicities, relationships, and attributes are valid and realistic. - Provide multiple instances with diverse data values and structure. </requirements>  <syntax_reference> Here there is a snippet showing how to create objects and set values in the specific .soil language required: -- This is a comment example  -- Primitive data types:     -- Integer i.e. 1, 2, 3, etc.     -- Real i.e. 1.0, 21.89, 322.05556, etc.     -- Boolean i.e. true or false     -- String i.e. 'Hello World'  -- You can create instances with the following syntax: !new <instance type>('<instance name>') -- Example: !new Client('client1') !new Store('store4')  -- You can assign values to attributes for a created instance with the following syntax: !<instance name>.<attribute name> := <value> -- Example for different data types: !client1.clientId := 1 -- For Integer !client1.balance := 1123.45 -- For Real !client1.name := 'John' -- For Strings !store4.available := true -- For Boolean  -- You can create associations between instances with the following syntax: !insert (<instance name1>, <instance name2>) into <association name> -- Example: !insert (client1, store4) into ClientStore  -- Custom data types usage:     -- dataType Location     -- operations     --   Location(x : Real, y : Real)     --   some other operations     -- end -- You can create custom data types by calling the constructor directly; in this case, the constructor of Location requires two arguments: x and y of type Real. So it can be used as follows: !store4.location := Location(14.0, 289.0)  -- Enums usage:     -- enum Type { Clothes, Shoes } -- Can be used as follows: !store4.type := #Clothes </syntax_reference>

<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>