FirstHouse
type: Class
subclass of: House
subclass of: Restriction
  on property: nextTo
  on class: House
  qualified cardinality: 1
subclass of: Restriction
  on property: immediatelyLeftOf
  on class: House
  qualified cardinality: 1
subclass of: Restriction
  on property: immediatelyRightOf
  on class: House
  qualified cardinality: 0
disjoint with: LastHouse
disjoint with: MiddleHouse

LastHouse
type: Class
subclass of: House
subclass of: Restriction
  on property: immediatelyRightOf
  on class: House
  qualified cardinality: 1
subclass of: Restriction
  on property: immediatelyLeftOf
  on class: House
  qualified cardinality: 0
subclass of: Restriction
  on property: nextTo
  on class: House
  qualified cardinality: 1
disjoint with: MiddleHouse

MiddleHouse
type: Class
subclass of: House
subclass of: Restriction
  on property: immediatelyRightOf
  on class: House
  qualified cardinality: 1
subclass of: Restriction
  on property: nextTo
  on class: House
  qualified cardinality: 2
subclass of: Restriction
  on property: immediatelyLeftOf
  on class: House
  qualified cardinality: 1

Person
type: Class
equivalent class: Class
  one of: norwegian
  one of: dane
  one of: brit
  one of: german
  one of: swede
subclass of: Restriction
  on property: drinks
  on class: Beverage
  qualified cardinality: 1
subclass of: Restriction
  on property: hasPet
  on class: Pet
  qualified cardinality: 1
subclass of: Restriction
  on property: smokes
  on class: Cigar
  qualified cardinality: 1
subclass of: Restriction
  on property: livesIn
  on class: House
  qualified cardinality: 1
disjoint with: Pet