Dungeon
type: Class
equivalent class: Class
  intersection of: Location
  intersection of: Restriction
    on property: isSafe
    has value: false
subclass of: Location
disjoint with: Populated

Evocation
type: Class
equivalent class: Class
  intersection of: Spell
  intersection of: Restriction
    on property: damage
    some values from: Datatype
      on datatype: integer
      with restrictions:
        min exclusive: 0
  intersection of: Restriction
    on property: range
    some values from: Datatype
      on datatype: integer
      with restrictions:
        min exclusive: 0
subclass of: Spell

Healing
type: Class
equivalent class: Class
  intersection of: Spell
  intersection of: Restriction
    on property: range
    some values from: Datatype
      on datatype: integer
      with restrictions:
        min exclusive: 0
  intersection of: Restriction
    on property: damage
    has value: 0
subclass of: Spell

Item
type: Class
subclass of: Restriction
  on property: durability
  min qualified cardinality: 1
  on data range: integer

Arkala
type: NamedIndividual
type: Character
speaks language: HighElvish
experience: 9623
level: 9

Blizzard
type: NamedIndividual
damage: 25
range: 5

Chiraga
type: NamedIndividual
speaks language: SlaveCommon
experience: 4322
level: 4

Dasytlish
type: NamedIndividual
experience: 15003
level: 15

Iron Armor
type: NamedIndividual
type: Heavy
durability: 5

Iron Sword
type: NamedIndividual
type: Sword
durability: 5

Leather Armor
type: NamedIndividual
type: Leather
durability: 10

Lesser Healing
type: NamedIndividual
damage: 0
range: 15

Nac-syt
type: NamedIndividual
type: Character
speaks language: AncientGiant
experience: 39922
level: 39

Shadow Cave
type: NamedIndividual
type: Location
is safe: false

Silver Sword
type: NamedIndividual
type: Sword
durability: 10

Staff of Conjuration
type: NamedIndividual
type: Staff
durability: 2