;;;-*- Mode:Lisp; Package:ONTOLINGUA-USER; Syntax:COMMON-LISP; Base:10 -*- 

;;; 
;;; The VT DOMAIN THEORY 
;;; Based on translation from the DIDS knowledge base for VT, 
;;; by Jay Runkel and Tom Gruber 
;;; 
;;; Modifications: 
;;; 
;;; [12/14/93] JTR 
;;; Fixed bug in constraints describing how to select a compensation 
;;; cable. Modified constraints C45B, C45C, C45D, C45E, C45F. Deleted 
;;; constraints C45A, 
;;; C45G, C45H 
;;; 
;;; [12/14/93] JTR 
;;; Fixed error in deflector_sheave_diameter_cst.  Constraint was not 
;;; syntactically correct nor did it correctly correspond to the DIDS 
;;; constraint from which it was generated.  
;;; 

(in-package "ONTOLINGUA-USER") 

(define-theory VT-DOMAIN (vt-design frame-ontology) 
  "The VT-DOMAIN theory describes the declarative knowledge  
used by the elevator designer to configure an elevator. 
It consists of descriptions of components, which have 
attributes subparts, which are other components.  The 
theory also specifies constraints on the possible subparts 
and attribute values of these components. 

This theory uses the configuration-design ontology as 
it is specialized in the vt-design ontology. 

The contents of this domain theory were produced by 
translating from the DIDS knowledge base for VT, 
which was developed by Jay Runkel.  Tom Gruber, Jay Runkel, 
Greg Olsen, and others designed the minimal ontology that 
could account for that domain theory.  As a result, this 
ontology does not make many of the distinctions that one 
might make about elevator parts and constraints. 

The current version includes changes that correct 
bugs in the constraints on compensation cables and 
the constraint deflector_sheave_diameter_cst (December 15, 1993)") 

(in-theory 'VT-DOMAIN) 

;; renamings to be consistent with KIF and Ontolingua: 
;;; real --> real-number (what is real anyway?) 
;;; name --> model-id    ("name" in KIF is an unquoting operator) 
;;; <=   --> =<         (the less-than-or-equal-to relation) 


;; Sort order: class before instance, alphabetical 

#| 
This file uses the syntax of generic-frame, a new extension to Ontolingua. 
It is designed to make it easy to map into object-oriented representations. 

The syntax is: 
 (define-frame <frame-name> 
   :own-slots ((<own-slot-spec>)*) 
   :template-slots ((<template-slot-spec>)*) 
   :axioms (<KIF sentence mentioning frame-name>*) 
   ) 
<own-slot-spec> :== (<slot-name> <value-spec>+) 
<template-slot-spec> :== (<slot-name> <facet-or-value-spec>+) 
<frame-name> :== symbol naming a class, relation, function, or object 
<slot-name> :== symbol naming a binary relation or unary function 
<value-spec> :== <constant> | (SETOF <constant>*) | (LISTOF <constant>*) 
                 | (QUOTE <lisp s-expression>) 
<constant> :== <string> | <symbol> | <number> 
<facet-or-value-spec> :== <value-spec> | (<facet> <value-spec>*) 
<facet> :== symbol naming a slot constraint relation, such as VALUE-TYPE 

In this syntax, all named objects are frames.  Whether a frame is a class, 
relation, function, or other kind of object is given by the values of the 
INSTANCE-OF slot.  :Own-slots are binary relations applied to frames, with 
the frame inserted as a first argument.  Thus, for a frame named X 
the own-slot spec (instance-of class) translates to the KIF sentence 
  (instance-of X class). 

The value of a slot may be either a constant like a number or symbol, or 
it may be a list beginning with one of the KIF operators SETOF, LISTOF, and 
QUOTE. 
The expression (SETOF a b c) denotes the set containing a, b, and c. 
The expression (LISTOF d e f) denotes the sequence d,e,f. 
The expression (QUOTE x) denotes the expression x, where x may be any lisp 
expression. 

:Template-slots only make sense if the frame is an instance of CLASS. 
In that case, template slots describe properties of instances of 
the class.  For example, the template slot spec (slot (SLOT-VALUE-TYPE type)) 
for the frame C translates to the KIF sentence 
  (slot-value-type C slot type) 
which is a second-order way of saying 
  (forall ?c (=> (and (instance-of ?c C) 
		      (defined (foo ?c))) 
		 (instance-of (foo ?c) bar))) 
A value of a template slot is a downward inherited value (it is a slot 
value for all instances of the class).  For frame C, the template slot  
spec (slot value) translates into the KIF sentence 
  (inherited-slot-value C slot value) 

The value of :axioms is a list of KIF sentences mentioning <frame-name>. 
These axioms can be used to say things that can't be expressed in the 
restricted slot/value format. 
|# 

(in-package :ONTOLINGUA-USER) 

(in-theory 'VT-DOMAIN) 


(define-frame CAR 
 :own-slots ( 
  (DOCUMENTATION 
    "pg 26. 
The car supplement weight can be at most 500 pounds") 
  (INSTANCE-OF class) 
  (SUBCLASS-OF vt-component)) 
 :template-slots ( 
  (CABLEHANGWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (CARCONDWIRWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (CARGUIDESHOEWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (HAS-ATTRIBUTE 
    cablehangwt carcondwirwt carguideshoewt landswitchwt maintstwt 
supplementwt switchcamwt) 
  (HAS-CONSTRAINT supplementwt_of_car_values) 
  (LANDSWITCHWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (MAINTSTWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (MODEL-ID 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (SUPPLEMENTWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (SWITCHCAMWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame CAR1 
 :own-slots ( 
  (DOCUMENTATION 
    "pg 15. 
The elevator car. The attributes describe the various weights of the 
elevator components, which do not have to be selected.") 
  (INSTANCE-OF class) 
  (SUBCLASS-OF car)) 
 :template-slots ( 
  (CABLEHANGWT 30 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (CARCONDWIRWT 45 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (CARGUIDESHOEWT 18 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (HAS-ATTRIBUTE 
    cablehangwt carcondwirwt carguideshoewt landswitchwt switchcamwt) 
  (LANDSWITCHWT 20 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (MAINTSTWT 7 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (MODEL-ID "car1") 
  (SWITCHCAMWT 35 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame CARBUFFER 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF vt-component)) 
 :template-slots ( 
  (CARBUFFHEIGHT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CARBUFFMAXLOAD 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (CARBUFFMINLOAD 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (CARFOOTH 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CARSTROKE 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (HAS-ATTRIBUTE 
    carbuffheight carbuffmaxload carbuffminload carfooth carstroke) 
  (MODEL-ID 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)))) 

(define-frame CARBUFFER_OH1 
 :own-slots ( 
  (DOCUMENTATION 
    "pg 15. 
The characteristis of a carbuffer from Table 3. 
carfooth is the car footing channel height.") 
  (INSTANCE-OF class) 
  (SUBCLASS-OF carbuffer)) 
 :template-slots ( 
  (CARBUFFHEIGHT 28.75 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CARBUFFMAXLOAD 11000 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (CARBUFFMINLOAD 2900 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (CARFOOTH 3.5 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CARSTROKE 8.25 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HAS-ATTRIBUTE 
    carbuffheight carbuffmaxload carbuffminload carstroke) 
  (MODEL-ID "carbuffer_oh1"))) 

(define-frame CARBUFFER_OM14 
 :own-slots ( 
  (DOCUMENTATION 
    "pg 15. 
The characteristis of a carbuffer from Table 3. 
carfooth is the car footing channel height.") 
  (INSTANCE-OF class) 
  (SUBCLASS-OF carbuffer)) 
 :template-slots ( 
  (CARBUFFHEIGHT 38.5 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CARBUFFMAXLOAD 11000 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (CARBUFFMINLOAD 2900 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (CARFOOTH 3.5 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CARSTROKE 14 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (HAS-ATTRIBUTE 
    carbuffheight carbuffmaxload carbuffminload carstroke) 
  (MODEL-ID "carbuffer_om14"))) 

(define-frame CARGUIDERAIL 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF vt-component)) 
 :template-slots ( 
  (HAS-ATTRIBUTE weight) 
  (MODEL-ID 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (WEIGHT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame CARGUIDERAIL_1 
 :own-slots ( 
  (DOCUMENTATION 
    "pg 15. 
car guiderails that weight 8 pounds per foot.") 
  (INSTANCE-OF class) 
  (SUBCLASS-OF carguiderail)) 
 :template-slots ( 
  (HAS-ATTRIBUTE weight) 
  (MODEL-ID "carguiderail_1") 
  (WEIGHT 8 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame CARGUIDERAIL_2 
 :own-slots ( 
  (DOCUMENTATION 
    "pg 15. 
car guiderails that weight 11 pounds per foot.") 
  (INSTANCE-OF class) 
  (SUBCLASS-OF carguiderail)) 
 :template-slots ( 
  (HAS-ATTRIBUTE weight) 
  (MODEL-ID "carguiderail_2") 
  (WEIGHT 11 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame CARGUIDERAIL_3 
 :own-slots ( 
  (DOCUMENTATION 
    "pg 15. 
car guiderails that weight 16 pounds per foot.") 
  (INSTANCE-OF class) 
  (SUBCLASS-OF carguiderail)) 
 :template-slots ( 
  (HAS-ATTRIBUTE weight) 
  (MODEL-ID "carguiderail_3") 
  (WEIGHT 16 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame CARGUIDERAIL_4 
 :own-slots ( 
  (DOCUMENTATION 
    "pg 15. 
car guiderails that weight 18.5 pounds per foot.") 
  (INSTANCE-OF class) 
  (SUBCLASS-OF carguiderail)) 
 :template-slots ( 
  (HAS-ATTRIBUTE weight) 
  (MODEL-ID "carguiderail_4") 
  (WEIGHT 18.5 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)))) 

(define-frame CARGUIDERAIL_5 
 :own-slots ( 
  (DOCUMENTATION 
    "pg 15. 
car guiderails that weight 32 pounds per foot.") 
  (INSTANCE-OF class) 
  (SUBCLASS-OF carguiderail)) 
 :template-slots ( 
  (HAS-ATTRIBUTE weight) 
  (MODEL-ID "carguiderail_5") 
  (WEIGHT 32 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame COMPENSATIONCABLE 
 :own-slots ( 
  (DOCUMENTATION "pg 18. 
") 
  (INSTANCE-OF class) 
  (SUBCLASS-OF vt-component)) 
 :template-slots ( 
  (COMPCABLEWTPERINCH 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HAS-ATTRIBUTE 
    compcablewtperinch quantity) 
  (MODEL-ID 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (QUANTITY 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame COMPENSATIONCABLE1_2CHAIN 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF compensationcable)) 
 :template-slots ( 
  (COMPCABLEWTPERINCH 0.2657 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HAS-ATTRIBUTE quantity) 
  (MODEL-ID "compensationcable1_2chain") 
  (QUANTITY 2 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame COMPENSATIONCABLE1_4CHAIN 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF compensationcable)) 
 :template-slots ( 
  (COMPCABLEWTPERINCH 0.0848 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HAS-ATTRIBUTE quantity) 
  (MODEL-ID "compensationcable1_4chain") 
  (QUANTITY 2 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame COMPENSATIONCABLE3_16CHAIN 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF compensationcable)) 
 :template-slots ( 
  (COMPCABLEWTPERINCH 0.05 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HAS-ATTRIBUTE quantity) 
  (MODEL-ID "compensationcable3_16chain") 
  (QUANTITY 2 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame COMPENSATIONCABLE3_8CHAIN 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF compensationcable)) 
 :template-slots ( 
  (COMPCABLEWTPERINCH 0.1617 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HAS-ATTRIBUTE quantity) 
  (MODEL-ID "compensationcable3_8chain") 
  (QUANTITY 2 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame COMPENSATIONCABLE5_16CHAIN 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF compensationcable)) 
 :template-slots ( 
  (COMPCABLEWTPERINCH 0.1171 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HAS-ATTRIBUTE quantity) 
  (MODEL-ID "compensationcable5_16chain") 
  (QUANTITY 2 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame COMPENSATIONCABLE7_16CHAIN 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF compensationcable)) 
 :template-slots ( 
  (COMPCABLEWTPERINCH 0.2117 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HAS-ATTRIBUTE compcablewtperinch) 
  (MODEL-ID "compensationcable7_16chain") 
  (QUANTITY 2 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame COMPENSATIONCABLE_NR 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF compensationcable)) 
 :template-slots ( 
  (COMPCABLEWTPERINCH 0 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (HAS-ATTRIBUTE quantity) 
  (MODEL-ID "compensationcable_nr") 
  (QUANTITY 0 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame CONTROLCABLE 
 :own-slots ( 
  (DOCUMENTATION "pg 17.") 
  (INSTANCE-OF class) 
  (SUBCLASS-OF vt-component)) 
 :template-slots ( 
  (CONTROLCABLEWTPERINCH 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HAS-ATTRIBUTE controlcablewtperinch) 
  (MODEL-ID 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)))) 

(define-frame CONTROLCABLE1 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF controlcable)) 
 :template-slots ( 
  (CONTROLCABLEWTPERINCH 0.167 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HAS-ATTRIBUTE controlcablewtperinch) 
  (MODEL-ID "controlcable1"))) 

(define-frame CONTROLCABLE2 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF controlcable)) 
 :template-slots ( 
  (CONTROLCABLEWTPERINCH 0.199 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HAS-ATTRIBUTE controlcablewtperinch) 
  (MODEL-ID "controlcable2"))) 

(define-frame CONTROLCABLE3 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF controlcable)) 
 :template-slots ( 
  (CONTROLCABLEWTPERINCH 0.209 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HAS-ATTRIBUTE controlcablewtperinch) 
  (MODEL-ID "controlcable3"))) 

(define-frame COUNTERWEIGHTBG 
 :own-slots ( 
  (DOCUMENTATION 
    "pg 8. - figure 4 
the counterwieght (bg stands for between guiderails). 
  
Attributes: 
 (1) stackheight - the height of the plates in the counterweight. 
 (2) frameheight - total height of the counterweight 
 (3) a - the thickness of the top portion of the frame 
 (4) b - the thickness of bottom portion of the frame 
 (5) framethickness - the sum of a and b 
 (6) noofplates - the number of plates forming the counterweight 
 (7) totalweight - the total weight of the counterweight assembly.") 
  (INSTANCE-OF class) 
  (SUBCLASS-OF vt-component)) 
 :template-slots ( 
  (A 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (B 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (FRAMEHEIGHT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (FRAMETHICKNESS 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (FRAMEWEIGHT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HAS-ATTRIBUTE 
    a b frameheight framethickness frameweight noofplates stackheight 
totalweight) 
  (HAS-CONSTRAINT noofplates_of_counterweightbg_values) 
  (MODEL-ID 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (NOOFPLATES 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (STACKHEIGHT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (TOTALWEIGHT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)))) 

(define-frame COUNTERWEIGHTBG_1 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF counterweightbg)) 
 :template-slots ( 
  (MODEL-ID "counterweightbg_1"))) 

(define-frame COUNTERWEIGHTBG_2 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF counterweightbg)) 
 :template-slots ( 
  (MODEL-ID "counterweightbg_2"))) 

(define-frame COUNTERWEIGHTBG_3 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF counterweightbg)) 
 :template-slots ( 
  (MODEL-ID "counterweightbg_3"))) 

(define-frame COUNTERWTBUFFER 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF vt-component)) 
 :template-slots ( 
  (COUNTERWTBUFFHEIGHT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (COUNTERWTBUFFMAXLOAD 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (COUNTERWTBUFFMINLOAD 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (COUNTERWTBUFFSTROKE 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HAS-ATTRIBUTE 
    counterwtbuffheight counterwtbuffmaxload counterwtbuffminload 
counterwtbuffstroke) 
  (MODEL-ID 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)))) 

(define-frame COUNTERWTBUFFER_OH1 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF counterwtbuffer)) 
 :template-slots ( 
  (COUNTERWTBUFFHEIGHT 28.75 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (COUNTERWTBUFFMAXLOAD 11000 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (COUNTERWTBUFFMINLOAD 2900 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (COUNTERWTBUFFSTROKE 8.25 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HAS-ATTRIBUTE 
    counterwtbuffheight counterwtbuffmaxload counterwtbuffminload) 
  (MODEL-ID "counterwtbuffer_oh1"))) 

(define-frame COUNTERWTBUFFER_OM14 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF counterwtbuffer)) 
 :template-slots ( 
  (COUNTERWTBUFFHEIGHT 38.5 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (COUNTERWTBUFFMAXLOAD 11000 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (COUNTERWTBUFFMINLOAD 2900 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (COUNTERWTBUFFSTROKE 14 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (HAS-ATTRIBUTE 
    counterwtbuffheight counterwtbuffmaxload counterwtbuffminload) 
  (MODEL-ID "counterwtbuffer_om14"))) 

(define-frame COUNTERWTGUARD 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF vt-component)) 
 :template-slots ( 
  (COUNTERWTGUARDTHICK 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (HAS-ATTRIBUTE counterwtguardthick) 
  (MODEL-ID 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)))) 

(define-frame COUNTERWTGUARD_MODEL0 
 :own-slots ( 
  (DOCUMENTATION 
    "pg 16. 
The null part corresponding to not needing a counterwt guard.") 
  (INSTANCE-OF class) 
  (SUBCLASS-OF counterwtguard)) 
 :template-slots ( 
  (COUNTERWTGUARDTHICK 0 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (HAS-ATTRIBUTE counterwtguardthick) 
  (MODEL-ID "counterwtguard_model0"))) 

(define-frame COUNTERWTGUARD_MODEL1 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF counterwtguard)) 
 :template-slots ( 
  (COUNTERWTGUARDTHICK 0.75 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HAS-ATTRIBUTE counterwtguardthick) 
  (MODEL-ID "counterwtguard_model1"))) 

(define-frame COUNTERWTGUIDERAIL 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF vt-component)) 
 :template-slots ( 
  (COUNTERWTRAILUNITWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (HAS-ATTRIBUTE 
    counterwtrailunitwt weightlimit) 
  (MODEL-ID 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (WEIGHTLIMIT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame COUNTERWTGUIDERAIL_1 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF counterwtguiderail)) 
 :template-slots ( 
  (COUNTERWTRAILUNITWT 8 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (HAS-ATTRIBUTE weightlimit) 
  (MODEL-ID "counterwtguiderail_1") 
  (WEIGHTLIMIT 15000 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame COUNTERWTGUIDERAIL_2 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF counterwtguiderail)) 
 :template-slots ( 
  (COUNTERWTRAILUNITWT 11 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (HAS-ATTRIBUTE weightlimit) 
  (MODEL-ID "counterwtguiderail_2") 
  (WEIGHTLIMIT 11 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame COUNTERWTGUIDERAIL_3 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF counterwtguiderail)) 
 :template-slots ( 
  (COUNTERWTRAILUNITWT 16 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (HAS-ATTRIBUTE weightlimit) 
  (MODEL-ID "counterwtguiderail_3") 
  (WEIGHTLIMIT 40000 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame COUNTERWTGUIDERAIL_4 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF counterwtguiderail)) 
 :template-slots ( 
  (COUNTERWTRAILUNITWT 18.5 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HAS-ATTRIBUTE weightlimit) 
  (MODEL-ID "counterwtguiderail_4") 
  (WEIGHTLIMIT 56000 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame CROSSHEAD 
 :own-slots ( 
  (DOCUMENTATION 
    "pg 14. 

Attributes of Parts: 

height: the hieght of the crosshead.") 
  (INSTANCE-OF class) 
  (SUBCLASS-OF vt-component)) 
 :template-slots ( 
  (HAS-ATTRIBUTE height) 
  (HEIGHT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (MODEL-ID 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)))) 

(define-frame CROSSHEAD_C10X153 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF crosshead)) 
 :template-slots ( 
  (HAS-ATTRIBUTE height) 
  (HEIGHT 10.0 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (MODEL-ID "crosshead_c10x153"))) 

(define-frame CROSSHEAD_C13X1655 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF crosshead)) 
 :template-slots ( 
  (HAS-ATTRIBUTE height) 
  (HEIGHT 13.5 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (MODEL-ID "crosshead_c13x1655"))) 

(define-frame CROSSHEAD_C8X115 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF crosshead)) 
 :template-slots ( 
  (HAS-ATTRIBUTE height) 
  (HEIGHT 8.0 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (MODEL-ID "crosshead_c8x115"))) 

(define-frame CROSSHEAD_W8X18 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF crosshead)) 
 :template-slots ( 
  (HAS-ATTRIBUTE height) 
  (HEIGHT 8.125 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (MODEL-ID "crosshead_w8x18"))) 

(define-frame CROSSHEAD_W8X21 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF crosshead)) 
 :template-slots ( 
  (HAS-ATTRIBUTE height) 
  (HEIGHT 8.25 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (MODEL-ID "crosshead_w8x21"))) 

(define-frame DEFLECTORSHEAVE 
 :own-slots ( 
  (DOCUMENTATION "pg 18.") 
  (INSTANCE-OF class) 
  (SUBCLASS-OF vt-component)) 
 :template-slots ( 
  (DEFLSHEAVED 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (DEFLSHEAVEP 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (DEFLSHEAVEWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (HAS-ATTRIBUTE 
    deflsheaved deflsheavep deflsheavewt) 
  (MODEL-ID 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)))) 

(define-frame DOOR 
 :own-slots ( 
  (DOCUMENTATION 
    "pg. 11. 
The elevator doors and its attributes. 

Attributes: 

 (1) doorspace (pg 8) - the spaced occupied by the doors. 
 (2) dooroperheaderwt - the weight of the door header, computed by 
     multiplying a constaint times the width of the door opening. (see  
     constraint door4 
 (3) openingtype - Does the door open from the center or from one side. 
 (4) openingside - If openingtype is side, then records which side 
 (5) doorspeed - the speed in which the door opens 
 (6) doorspace - ???") 
  (INSTANCE-OF class) 
  (SUBCLASS-OF vt-component)) 
 :template-slots ( 
  (DOOROPERCONSTANT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (DOOROPERENGINEWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (DOOROPERHEADERWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (DOORSPACE 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (DOORSPEED 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (HAS-ATTRIBUTE 
    dooroperconstant dooroperenginewt dooroperheaderwt doorspace doorspeed 
openingside openingtype safe_t_edgewt) 
  (HAS-CONSTRAINT 
    doorspeed_of_door_values openingside_of_door_values) 
  (MODEL-ID 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (OPENINGSIDE 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (OPENINGTYPE 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (SAFE_T_EDGEWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame DOOR_2SCO 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF door)) 
 :template-slots ( 
  (DOOROPERCONSTANT 2.083 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (DOOROPERENGINEWT 135 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (DOORSPEED "2s" 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (HAS-ATTRIBUTE 
    dooroperconstant dooroperenginewt openingtype safe_t_edgewt) 
  (MODEL-ID "door_2sco") 
  (OPENINGTYPE "center" 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (SAFE_T_EDGEWT 13 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame DOOR_2SSO_LH 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF door)) 
 :template-slots ( 
  (DOOROPERCONSTANT 1.5 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (DOOROPERENGINEWT 135 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (DOORSPEED "2s" 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (HAS-ATTRIBUTE 
    dooroperconstant dooroperenginewt openingside openingtype safe_t_edgewt) 
  (MODEL-ID "door_2sso_lh") 
  (OPENINGSIDE "lh" 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (OPENINGTYPE "so" 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (SAFE_T_EDGEWT 7 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame DOOR_2SSO_RH 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF door)) 
 :template-slots ( 
  (DOOROPERCONSTANT 1.5 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (DOOROPERENGINEWT 135 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (DOORSPEED "2s" 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (HAS-ATTRIBUTE 
    dooroperconstant dooroperenginewt openingside openingtype safe_t_edgewt) 
  (MODEL-ID "door_2sso_rh") 
  (OPENINGSIDE "rh" 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (OPENINGTYPE "so" 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (SAFE_T_EDGEWT 7 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame DOOR_SSCO 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF door)) 
 :template-slots ( 
  (DOOROPERCONSTANT 1.33 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (DOOROPERENGINEWT 135 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (DOORSPEED "ss" 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (HAS-ATTRIBUTE 
    dooroperconstant dooroperenginewt openingtype safe_t_edgewt) 
  (MODEL-ID "door_ssco") 
  (OPENINGTYPE "co" 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (SAFE_T_EDGEWT 13 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame DOOR_SSSO_LH 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF door)) 
 :template-slots ( 
  (DOOROPERCONSTANT 1.25 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (DOOROPERENGINEWT 135 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (DOORSPEED "ss" 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (HAS-ATTRIBUTE 
    dooroperconstant dooroperenginewt openingside openingtype safe_t_edgewt) 
  (MODEL-ID "door_ssso_lh") 
  (OPENINGSIDE "lh" 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (OPENINGTYPE "so" 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (SAFE_T_EDGEWT 7 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame DOOR_SSSO_RH 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF door)) 
 :template-slots ( 
  (DOOROPERCONSTANT 1.25 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (DOOROPERENGINEWT 135 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (DOORSPEED "ss" 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (HAS-ATTRIBUTE 
    dooroperconstant dooroperenginewt openingside openingtype safe_t_edgewt) 
  (MODEL-ID "door_ssso_rh") 
  (OPENINGSIDE "rh" 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (OPENINGTYPE "so" 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (SAFE_T_EDGEWT 7 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)))) 

(define-frame DS_20 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF deflectorsheave)) 
 :template-slots ( 
  (DEFLSHEAVED 20 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (DEFLSHEAVEP 15.125 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (DEFLSHEAVEWT 250 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (HAS-ATTRIBUTE 
    deflsheavep deflsheavewt) 
  (MODEL-ID "ds_20"))) 

(define-frame DS_25 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF deflectorsheave)) 
 :template-slots ( 
  (DEFLSHEAVED 25 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (DEFLSHEAVEP 18.125 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (DEFLSHEAVEWT 350 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (HAS-ATTRIBUTE 
    deflsheavep deflsheavewt) 
  (MODEL-ID "ds_25"))) 

(define-frame ELEVATOR 
 :own-slots ( 
  (INSTANCE-OF class) 
  (SUBCLASS-OF vt-component)) 
 :template-slots ( 
  (A 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (ANGLEOFCONTACT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (AP 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (AVCTRLCABLELOAD 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (B 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (BEAMREACTION_FRONTLEFT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (BEAMREACTION_FRONTRIGHT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (BEAMREACTION_REARLEFT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (BEAMREACTION_REARRIGHT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (BLDGWALLOPENWIDTH 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CABHEIGHT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CABINTERCOMSPEC 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (CABLANTERNSPEC 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (CABWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CARBOTTOMLOAD 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CARBUFFERBLOCKH 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (CARBUFFERLOAD 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CARCAPACITY 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CARFIXWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CARHITCH_TO_COUNTERHITCH_DISTANCE 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CAROVERTRAVEL 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CARPHONESPEC 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (CARPOSITIONINDICATORSPEC 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (CARRETURNLEFT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CARRETURNRIGHT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CARRUNBY 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (CARSLINGUB 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CARTOPLOAD 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CARWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CNTRWTBOTTOMLOAD 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CNTRWTTOPLOAD 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (COMPCABLEL 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (COMPCARBOTTOMLOAD 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (COMPCARTOPLOAD 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (COMPCNTRWTBOTTOMLOAD 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (COMPCNTRWTTOPLOAD 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (COMPRESSEDCARBUFFCLEARANCE 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CONTCARBOTTOMLOAD 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CONTCARTOPLOAD 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CONTROLCABLELOOPBELOWCARL 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (COUNTERWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (COUNTERWTBOTTOMREF 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (COUNTERWTBUFFBLOCKH 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (COUNTERWTBUFFH 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (COUNTERWTBUFFLOAD 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (COUNTERWTFOOTH 1 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (COUNTERWTFRAMEH 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (COUNTERWTOVERTRAVEL 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (COUNTERWTPLATEWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (COUNTERWTPLATFORMWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (COUNTERWTRUNBY 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (COUNTERWTSTACKWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (COUNTERWTSYSWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CROSSHEADBENDMOMENT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CROSSHEADDEFLINDEX 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CWTFRAMEWEIGHT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CWT_BG 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (CWT_SPACE 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CWT_TO_HOISTWAY_REAR 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CWT_TO_PLATFORM_REAR 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (CWT_UBRACKET_PROTRUSION 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (DEFLECTORSHEAVEDIAMETER 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (DEFLSHEAVEP 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (DESIRCOUNTERSTACKWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (DESIRCOUNTERWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (DOOROPENINGTYPE 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (DOOROPENWIDTH 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (DOOROPERHEADERWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (DOOROPERWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (DOORSPACE 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (DOORSPEED 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (DOORSPEEDSPEC 
    (Slot-Cardinality 1) 
    (Slot-Value-Type string)) 
  (EFFICIENCY 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (ELEVATORSPEED 
    (Slot-Cardinality 1) 
    (Slot-Value-Type integer)) 
  (FLOORHEIGHTSPEC 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (FRAMEHEIGHT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (FRAMETHICKNESS 31 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (FRAMEWEIGHT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (GEAR_RATIO 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (GOVCABLEL 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (GUIDERAIL_BRACKET_SPACING 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HAS-ATTRIBUTE 
     a angleofcontact ap avctrlcableload b beamreaction_frontleft 
     beamreaction_frontright beamreaction_rearleft beamreaction_rearright 
     bldgwallopenwidth cabheight cabintercomspec cablanternspec cabwt 
carbottomload 
     carbufferblockh carbufferload carcapacity carfixwt 
     carhitch_to_counterhitch_distance carovertravel carphonespec 
     carpositionindicatorspec carreturnleft carreturnright carrunby carslingub 
     cartopload carwt cntrwtbottomload cntrwttopload compcablel 
compcarbottomload 
     compcartopload compcntrwtbottomload compcntrwttopload 
     compressedcarbuffclearance contcarbottomload contcartopload 
     controlcableloopbelowcarl counterwt counterwtbottomref counterwtbuffblockh 
     counterwtbuffh counterwtbuffload counterwtfooth counterwtframeh 
     counterwtovertravel counterwtplatewt counterwtplatformwt counterwtrunby 
     counterwtstackwt counterwtsyswt crossheadbendmoment crossheaddeflindex 
cwt_bg 
     cwt_space cwt_to_hoistway_rear cwt_to_platform_rear cwt_ubracket_protrusion 
     cwtframeweight deflectorsheavediameter deflsheavep desircounterstackwt 
     desircounterwt dooropeningtype dooropenwidth dooroperheaderwt dooroperwt 
     doorspace doorspeed doorspeedspec efficiency elevatorspeed floorheightspec 
     frameheight framethickness frameweight gear_ratio govcablel 
     guiderail_bracket_spacing hoistcablepressureconstant hoistcablesafetyfactor 
     hoistcarbottomload hoistcartopload hoistcntrwtbottomload hoistcntrwttopload 
     hoistlabovecounterwt hoistwaydepth hoistwaytofrontmbeam hoistwaywidth 
     impactload_leftbeam impactload_rightbeam leftmbeammaxbendingmoment 
     leftplatformedge_lefthoistwaywall len_compcable_below_counterwt 
     lengthperhoistcable mach_she_cent_to_fro_mbeam_support 
     machinegreatestaccelerationordeceleration machineroommbeamspec 
     machinesheavetodeflsheave_horz machinesheavetodeflsheavediag masswt 
     maxacceptablecarbuffstroke maxacceptablemachinegroovepressure 
     maxacceptableverticalrailforce maxbldgload_frontleft maxbldgload_rearleft 
     maxbldgload_rearright maxbuffstrikingspeed maxbuildingload_frontright 
     maxcarcapacity maxmachinegroovepressure maxtotalloadcarside 
     mbeambearingplatethick mbeamcenter_to_msheavecenter mbeaml 
     mbeamsupport_to_mbeamcenter mbeamsupportdistspec mbeamsupporttypespec 
mbeamwt 
     minacceptablecarbuffstroke minacceptablembeammodulus minacceptableopeningw 
     minhoistcablesafetyfactor minleftmbeam_sectionmodulus 
     minrightmbeam_sectionmodulus misccarcompwt motormaxcurrentsupported 
     motrelevelingtorque mroomfloor_to_undermbeam 
msheavecenter_to_deflsheavecenter 
     msheaveheight noofcarbuff noofcompcables noofcounterwtbuff noofhoistcables 
     noofopenings noofplates opening_hoistway_right openingheight 
     openinghoistwayleftspec openingside openingstrikesidespec openingtype 
     optimalcompcablewtperinch overheadspec peakreqdmotorcurrent pitdepth 
     plate_depth platet platform_clearance platformd platformfront_to_cablehitch 
     platformheightspec platformrear_to_cablehitch platformtohoistway_front 
     platformw platformwidthspec platformwt potentialsafetyload_cartop 
reqdmotorhp 
     rightmbeammaxbendingmoment rightplatformedge_righthoistwaywall s safety_bg 
     safetybeambendmoment safetyfactor safetylbetweenguiderails safetywt slingub 
     slingwt stackheight stilel supplementwt suspendedload toplandtobeam 
     totalimpactload totalload_leftbeam totalload_rightbeam totalweight 
     tractionratio tractionratio_carbottom_empty tractionratio_carbottom_full 
     tractionratio_cartop_empty tractionratio_cartop_full travelspec trfactor 
     ub_space unbalanced_cable_load verticalrailforce x z) 
  (HAS-CONSTRAINT 
     ap_of_elevator_values atleast38_when2buffers avctrlcableload_calc 
     beamreaction_frontleft_calc beamreaction_frontright_calc 
     beamreaction_rearleft_calc beamreaction_rearright_calc c1 c10 c100 
c101 c102 
     c103 c107 c108 c111 c112 c113 c114 c115 c116 c117 c118 c119 c120 c121 c122 
     c123 c124 c125a c125b c126 c128 c129 c131 c132 c134 c135 c136 c137 
c138 c139a 
     c139b c139c c139d c140 c140a c142 c143 c2 c3 c30 c31 c39 c41 c44 c45b 
     c45c c45d c45e c45f c49 c52 c58 c59 c60 c61 c62 c63 c64 c67 c69 c70 
     c71 c72 c73 c82 c84 c86 c87 c88 c89 c9 c90 c91 c92 c94 
     cabheight_of_elevator_values cabintercomspec_of_elevator_values 
     cablanternspec_of_elevator_values car_cst1 car_cst2 car_cst3 car_cst4 
car_cst5 
     carbuffer_cs1 carbuffer_cst3 carbuffer_cst4 carbuffer_cst5 carbuffer_cst6 
     carbuffer_cst7 carbufferblockh_of_elevator_values carbufferload_calc 
     carbufferload_constraint carguiderail_cst1 carguiderail_cst10 
     carguiderail_cst11 carguiderail_cst2 carguiderail_cst3 carguiderail_cst4 
     carguiderail_cst5 carguiderail_cst6 carguiderail_cst7 carguiderail_cst8 
     carguiderail_cst9 carhitch_to_counterhitch_dist_calc 
     carphonespec_of_elevator_values carpositionindicatorspec_of_elevator_values 
     carreturnleftbasedondooropeningtype3 carreturnleftbasedondoortype 
     carreturnleftbasedondoortype2 carrunby_of_elevator_values 
     compressedcarbuffclearance_of_elevator_values counterweightbg_cst1 
     counterweightbg_cst3 counterweightbg_cst4 counterweightbg_cst5 
     counterweightbg_cst6 counterweightbg_cst7 counterweightbg_cst8 
     counterweightbg_cst9 counterwtbuffblockh_of_elevator_values 
     counterwtframeh_of_elevator_values counterwtguiderail_cst1 
     counterwtrunby_of_elevator_values crosshead1 crosshead2 crosshead3 
crosshead4 
     crosshead5 crosshead6 crosshead7 cwt_bg_of_elevator_values cwt_space_calc 
     cwt_to_hoistway_rear_calc cwt_to_hoistway_rear_restriction 
     cwt_to_platform_rear_calc cwt_to_platform_rear_minimum1 
     cwt_to_platform_rear_minimum2 cwtframeweight_calc 
     deflector_sheave_diameter_cst deflectorsheavediameter_calc deflsheavep_calc 
     dont_select_intercom_cst dont_select_lantern_cst dont_select_phone 
     dont_select_position_ind_cst door.doorspeed_calc door.doorspeed_calc2 
     door.doorspeed_calc3 door1 door2 door3 door4 door5 door6 door_2sco1 
     door_2sso_lh1 door_2sso_rh1 door_ssco1 door_ssso_lh1 door_ssso_rh1 
     dooropeningtype_of_elevator_values dooropenwidth_of_elevator_values 
     doorspace_double_calc doorspace_single_calc 
doorspeedspec_of_elevator_values 
     elevatorspeed_of_elevator_values equal_maxcarcapacity_platformcap 
     guiderail_bracket_spacing_calc hoistcablepressureconstant_1_1 
     hoistcablepressureconstant_1_2 hoistcablepressureconstant_1_3 
     hoistcablepressureconstant_1_4 hoistcablepressureconstant_1_5 
     hoistcablepressureconstant_2_1 hoistcablepressureconstant_2_2 
     hoistcablepressureconstant_2_3 hoistcablepressureconstant_2_4 
     hoistcablepressureconstant_2_5 hoistcables_consistent 
     hoistlabovecounterwt_calc impactload_leftbeam_calc 
impactload_rightbeam_calc 
     leftmaxbendingmoment_calc1 leftmaxbendingmoment_calc2 
     leftplatformedge_lefthoistwaywall_calc len_compcable_below_counterwt_calc 
     macheff_18_200 macheff_18_200_ratio macheff_18_250 macheff_18_250_ratio 
     macheff_18_300 macheff_18_300_ratio macheff_18_350 macheff_18_350_ratio 
     macheff_18_400 macheff_18_400_ratio macheff_28_200 macheff_28_200_ratio 
     macheff_28_250 macheff_28_250_ratio macheff_28_300 macheff_28_300_ratio 
     macheff_28_350 macheff_28_350_ratio macheff_28_400 macheff_28_400_ratio 
     macheff_38_200 macheff_38_200_ratio macheff_38_250 macheff_38_250_ratio 
     macheff_38_300 macheff_38_300_ratio macheff_38_350 macheff_38_350_ratio 
     macheff_38_400 macheff_38_400_ratio macheff_58_200 macheff_58_200_ratio 
     macheff_58_250 macheff_58_250_ratio macheff_58_300 macheff_58_300_ratio 
     macheff_58_350 macheff_58_350_ratio macheff_58_400 macheff_58_400_ratio 
     machine_beam_offsets_cst machinesheavetodeflsheave_horz_calc 
     machinesheavetodeflsheavediag_calc machshecent_tofrombeam_support_calc 
     maxacceptablemachinegroovepressure_calc maxbldgload_frontleft_calc 
     maxbldgload_frontright_calc maxbldgload_rearleft_calc 
     maxbldgload_rearright_calc maxcarcapacity_of_elevator_values 
     mbeamsupport_to_mbeamcenter_calc mbeamsupporttypespec_of_elevator_values 
     minacceptablecarbuffstroke_of_elevator_values 
minacceptablembeammodules_calc2 
     minacceptablembeammodulus_calc1 minhoistcablesafetyfactor_calc1 
     minhoistcablesafetyfactor_calc2 minhoistcablesafetyfactor_calc3 
     minhoistcablesafetyfactor_calc4 minhoistcablesafetyfactor_calc5 
     minimumopeningwith_25b minimumopeningwith_25b_side 
motorscompatible_machine18 
     motorscompatible_machine28 motorscompatible_machine58 
     mroomfloor_to_undermbeam_calc mroomfloor_to_undermbeam_calc2 
     msheavecenter_to_deflsheavecenter_calc msheaveheight_calc 
no_guard_needed_cst 
     noofcarbuff_of_elevator_values noofcarbuff_restriction1 
     noofcarbuff_restriction2 noofcompcables_consistent 
     noofcounterwtbuff_of_elevator_values noofhoistcables_of_elevator_values 
     onebuffer_whenless38 opening_hoistway_right_calc openingheight_restriction 
     openingstrikesidespec_of_elevator_values optimalcompcablewtperinch_calc 
     overheadspec_of_elevator_values peakmcur_calc_10hp_1 peakmcur_calc_10hp_2 
     peakmcur_calc_10hp_3 peakmcur_calc_15hp_1 peakmcur_calc_15hp_2 
     peakmcur_calc_15hp_3 peakmcur_calc_20hp_1 peakmcur_calc_20hp_2 
     peakmcur_calc_25hp_1 peakmcur_calc_25hp_2 peakmcur_calc_25hp_3 
     peakmcur_calc_30hp_1 peakmcur_calc_30hp_2 peakmcur_calc_40hp_1 
     peakmcur_calc_40hp_2 pitdepth_of_elevator_values 
     plate_depth_of_elevator_values platform.platformd_calc 
platform.platformw_calc 
     platform1 platform2 platform25b_compatible platform3 platform_2.5b1 
     platform_25b2 platform_25b3 platform_25b4 platform_25b5 platform_25b6 
     platform_25b7 platform_4b1 platform_4b11 platform_4b2 platform_4b3 
     platform_4b4 platform_4b5 platform_4b6 platform_6b1 platform_6b10 
platform_6b2 
     platform_6b3 platform_6b4 platform_6b6 platform_6b7 platform_6b8 
platform_6b9 
     platformfront_to_cablehitch_calc_offset2 platformfront_to_cablehitch_offset25 
     platformfront_to_cablehitch_offset4 platformrear_to_cablehitch_calc 
     platformtohoistway_calc potentialsafetyload_cartop1 relevelingtorque_calc 
     reqdmotorhp_of_elevator_values rightmaxbendingmoment_calc1 
     rightmaxbendingmoment_calc2 rightplatformedge_righthoistwayedge_calc 
     s_of_elevator_values safety1 safety2 safety3 safetybeambendmoment1 
     safetylbetweenguiderails1 safetywt1 select_intercom_cst select_lantern_cst 
     select_phone_cst select_positionind slingub_calc slingwt1 stackheight_calc 
     stackheight_restriction stilel1 toplandtobeam_calc totalimpactload_calc 
     totalload_leftbeam_calc totalload_rightbeam_calc 
ub_space_of_elevator_values 
     unbalanced_cable_load_calc) 
  (HAS-SUBPART 
     car carbuffer carguiderail compensationcable controlcable counterweightbg 
     counterwtbuffer counterwtguard counterwtguiderail crosshead deflectorsheave 
     door governor governorcable intercom lantern machine mbeam 
motgenerator motor 
     msheavegroove phone platform positionind safety sling) 
  (HOISTCABLEPRESSURECONSTANT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HOISTCABLESAFETYFACTOR 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HOISTCARBOTTOMLOAD 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HOISTCARTOPLOAD 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HOISTCNTRWTBOTTOMLOAD 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HOISTCNTRWTTOPLOAD 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HOISTLABOVECOUNTERWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HOISTWAYDEPTH 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HOISTWAYTOFRONTMBEAM 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (HOISTWAYWIDTH 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (IMPACTLOAD_LEFTBEAM 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (IMPACTLOAD_RIGHTBEAM 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (LEFTMBEAMMAXBENDINGMOMENT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (LEFTPLATFORMEDGE_LEFTHOISTWAYWALL 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (LENGTHPERHOISTCABLE 
    (Slot-Cardinality 1) 
    (Slot-Value-Type real-number)) 
  (LEN_COMPCABLE_BELOW_COUNTERWT 
    (Slot-Cardinality 1) 
    (Slot-Value-Type