[no subject]

[JJ]

the dialogue for this is page 3 of dials[is,jj]
the names for the slots and their inverses are:
            ASSERTIONS (no inverse)
           ((CASES CASEOF)
	   (DEFINITION DEFINITION-OF)
	   (BINDINGS BINDINGOF)
	   (EXITS EXITOF)
	   (BTYPES BTYPEOF)
	   (CONDITION CONDITION-OF)
	   (ARG1 ARG1OF)
	   (ARG2 ARG2OF)
	   (ARG3 ARG3OF)
	   (ARGS ARGOF)
	   (FIELDS FIELDOF)
	   (IARG IARGOF)
	   (#IO-DEVICE #IO-DEVICE-OF)
	   (INSTANCEOF INSTANCES)
	   (ALTS ALT-OF)
	   (FORMAT FORMAT-OF)
	   (STEPS STEPOF)
	   (PROC PROC-OF)
	   (ELEMENT ELEMENTOF)
	   (NAME NAMEOF)
	   (RESULT RESULTOF)
           (DATA DATA-OF)
           (SIZE SIZE-OF))

// 34 //