perm filename ATC.UNF[MRS,LSP]12 blob sn#692488 filedate 1982-12-20 generic text, type T, neo UTF8
'(THIS IS THE UNFASL FOR ((DSK (MRS LSP)) ATC LSP)) 
'(ASSEMBLED BY FASLAP /392) 
'(COMPILED BY LISP COMPILER /936 COMAUX /25 PHAS1 /84 MAKLAP /80 INITIA /117) 

;COMPILED ON DECEMBER 20, 1982, AT 9:05 PM

;Loading DEFSTRUCT 280
'↑↓-TERM 
'LT-QUANTIFIER 
'ROLELINK 
'PFC-FORMULA 
'ROLEXENTRY 
'LT-λ-EXPR 
'LT-λ-PREFIX 
'PATHKEYLIST 
	(COMMENT **FASL** 0. (LAP |ANTECEDENT MACRO| SUBR)) 
	(COMMENT **FASL** 33. (LAP |CONSEQUENT MACRO| SUBR)) 
	(COMMENT **FASL** 66. (LAP |CONSP MACRO| SUBR)) 
	(COMMENT **FASL** 95. (LAP |*DEFUN MACRO| SUBR)) 
	(COMMENT **FASL** 276. (LAP ISA-PATT-VARIABLE? SUBR)) 
	(COMMENT **FASL** 303. (LAP |E:DO MACRO| SUBR)) 
	(COMMENT **FASL** 331. (LAP |E:VAR MACRO| SUBR)) 
	(COMMENT **FASL** 363. (LAP E:SETLINE SUBR)) 
	(COMMENT **FASL** 402. (LAP |ADDCONC MACRO| SUBR)) 
	(COMMENT **FASL** 440. (LAP |ENDCONC MACRO| SUBR)) 
	(COMMENT **FASL** 489. (LAP |ENDADD MACRO| SUBR)) 
	(COMMENT **FASL** 544. (LAP |RASSQ MACRO| SUBR)) 
	(COMMENT **FASL** 593. (LAP |EDITXDO MACRO| SUBR)) 
	(COMMENT **FASL** 647. (LAP |EDITDO MACRO| SUBR)) 
	(COMMENT **FASL** 685. (LAP |COPYLIST MACRO| SUBR)) 
	(COMMENT **FASL** 711. (LAP |BUTLAST MACRO| SUBR)) 
	(COMMENT **FASL** 742. (LAP |REPEAT MACRO| SUBR)) 
	(COMMENT **FASL** 782. (LAP |SETF* MACRO| SUBR)) 
	(COMMENT **FASL** 818. (LAP |SOME MACRO| SUBR)) 
	(COMMENT **FASL** 883. (LAP |ALL MACRO| SUBR)) 
	(COMMENT **FASL** 951. (LAP |SUBSET MACRO| SUBR)) 
	(COMMENT **FASL** 1001. (LAP GOOD-NREVERSE SUBR)) 
	(COMMENT **FASL** 1058. (LAP NSUBLIS SUBR)) 
	(COMMENT **FASL** 1118. (LAP |HUNKQUANTP MACRO| SUBR)) 
	(COMMENT **FASL** 1153. (LAP QNSUBLIS SUBR)) 
	(COMMENT **FASL** 1288. (LAP |WRITE MACRO| SUBR)) 
	(COMMENT **FASL** 1374. (LAP SPACES SUBR)) 
	(COMMENT **FASL** 1385. (LAP LINTYPE SUBR)) 
	(COMMENT **FASL** 1588. (LAP E-LIN SUBR)) 
	(COMMENT **FASL** 1589. (LAP E-LIN-C SUBR)) 
	(COMMENT **FASL** 1593. (LAP ENCODE-LINFORMULA SUBR)) 
	(COMMENT **FASL** 1603. (LAP ENCODE-LINFORMULA-S SUBR)) 
	(COMMENT **FASL** 1886. (LAP TRANSFORM-ROLELINKS SUBR)) 
	(COMMENT **FASL** 2017. (LAP ENCODE-QUANT SUBR)) 
	(COMMENT **FASL** 2217. (LAP VARIABLE-RANGE SUBR)) 
	(COMMENT **FASL** 2260. (LAP GETFORMULA SUBR)) 
	(COMMENT **FASL** 2287. (LAP |ATC-GET MACRO| SUBR)) 
	(COMMENT **FASL** 2347. (LAP |ATC-PLIST MACRO| SUBR)) 
	(COMMENT **FASL** 2426. (LAP Q-KERNEL SUBR)) 
	(COMMENT **FASL** 2441. (LAP Q-KERNEL-LT-TYPE SUBR)) 
	(COMMENT **FASL** 2443. (LAP LT-TYPE SUBR)) 
	(COMMENT **FASL** 2654. (LAP LT-TYPE* SUBR)) 
(COMMENT ****  (CURRENTPOS NIL) 
		Binding number variable to NIL may be a bug in function DISPLAY)
	(COMMENT **FASL** 2840. (LAP DISPLAY LSUBR)) 
	(COMMENT **FASL** 2864. (LAP DPYLIST SUBR)) 
	(COMMENT **FASL** 2881. (LAP VNSUBLIS SUBR)) 
	(COMMENT **FASL** 2908. (LAP GENVAR LSUBR)) 
	(COMMENT **FASL** 3041. (LAP MAKE-QVLIST SUBR)) 
	(COMMENT **FASL** 3234. (LAP |Z-BASE-EQUIV MACRO| SUBR)) 
	(COMMENT **FASL** 3266. (LAP DPYLIST-S SUBR)) 
	(COMMENT **FASL** 4019. (LAP TCONC SUBR)) 
	(COMMENT **FASL** 4050. (LAP LCONC SUBR)) 
	(COMMENT **FASL** 4088. (LAP TERMSORT SUBR)) 
	(COMMENT **FASL** 4196. (LAP NORMALIZE-TERMSORTEXPR SUBR)) 
	(COMMENT **FASL** 4233. (LAP |PRINCLIST MACRO| SUBR)) 
	(COMMENT **FASL** 4260. (LAP |NEXTITEMSIZE MACRO| SUBR)) 
	(COMMENT **FASL** 4288. (LAP |PRINITEMS MACRO| SUBR)) 
	(COMMENT **FASL** 4352. (LAP |SPACELEFT MACRO| SUBR)) 
	(COMMENT **FASL** 4361. (LAP STRAIGHTPRIN SUBR)) 
	(COMMENT **FASL** 4613. (LAP PRINQUANT SUBR)) 
	(COMMENT **FASL** 4883. (LAP PRINλ-EXPR SUBR)) 
	(COMMENT **FASL** 4934. (LAP TAB SUBR)) 
	(COMMENT **FASL** 4964. (LAP CURRENTPOS LSUBR)) 
'LINK-NODE 
'LEAF-NODE 
'LTCC-PLIST 
	(COMMENT **FASL** 4980. (LAP NRML-ANL-YZE-LINFORMULA LSUBR)) 
	(COMMENT **FASL** 5010. (LAP |NRML-FORMULA MACRO| SUBR)) 
	(COMMENT **FASL** 5039. (LAP |NRML-ANL-YZE MACRO| SUBR)) 
	(COMMENT **FASL** 5092. (LAP |LT-CONCEPT-TYPE MACRO| SUBR)) 
	(COMMENT **FASL** 5143. (LAP |LEAF-UNIT MACRO| SUBR)) 
	(COMMENT **FASL** 5168. (LAP NORMALIZE-CMPD-CONCEPT LSUBR)) 
	(COMMENT **FASL** 5259. (LAP INITIALIZE-CMPD-CONCEPT SUBR)) 
	(COMMENT **FASL** 5332. (LAP |CONCEPT-BODY MACRO| SUBR)) 
	(COMMENT **FASL** 5375. (LAP |PREVIOUS-LETTER MACRO| SUBR)) 
	(COMMENT **FASL** 5408. (LAP ORDER-CNCPTS SUBR)) 
	(COMMENT **FASL** 5413. (LAP PRECEDES-CNCPT SUBR)) 
	(COMMENT **FASL** 5710. (LAP |GET-PKL-POSITION MACRO| SUBR)) 
	(COMMENT **FASL** 5781. (LAP NORMRAISE-CC LSUBR)) 
	(COMMENT **FASL** 6284. (LAP QV-QUASI-UNSUBST LSUBR)) 
	(COMMENT **FASL** 6583. (LAP ANALYZE-CMPD-CONCEPT LSUBR)) 
	(COMMENT **FASL** 8569. (LAP NACC LSUBR)) 
	(COMMENT **FASL** 8611. (LAP ANALYZE-ROLEMERGE SUBR)) 
	(COMMENT **FASL** 8808. (LAP ATOM-CONVERTIBLE SUBR)) 
	(COMMENT **FASL** 8858. (LAP ADJUST-λ-TERMSORT SUBR)) 
	(COMMENT **FASL** 8893. (LAP COMMON-SUBSORT* SUBR)) 
	(COMMENT **FASL** 8937. (LAP SUPERSORT* SUBR)) 
	(COMMENT **FASL** 9074. (LAP PATHKEY-SORT SUBR)) 
	(COMMENT **FASL** 9216. (LAP GET-ROLELINK SUBR)) 
	(COMMENT **FASL** 9249. (LAP |ALPHA-NTH MACRO| SUBR)) 
	(COMMENT **FASL** 9294. (LAP TERM-SUBRANCH SUBR)) 
	(COMMENT **FASL** 9376. (LAP COPYALLCONS SUBR)) 
	(COMMENT **FASL** 9392. (LAP COPY-1-1-PKLS SUBR)) 
	(COMMENT **FASL** 9429. (LAP LT-COPYALL SUBR)) 
	(COMMENT **FASL** 9437. (LAP LT-SUBST SUBR)) 
	(COMMENT **FASL** 9448. (LAP LT-SUBST* SUBR)) 
	(COMMENT **FASL** 9689. (LAP SELECT&SHORTEN SUBR)) 
	(COMMENT **FASL** 9754. (LAP |[MRS,LSP]ATC.LSP←1.| SUBR)) 
	(COMMENT **FASL** 9759. (LAP ORDER-PATHKEYLISTS SUBR)) 
	(COMMENT **FASL** 9761. (LAP COMPARE-ARGS SUBR)) 
	(COMMENT **FASL** 10026. (LAP CA-PUNT SUBR)) 
	(COMMENT **FASL** 10048. (LAP COMPARE-PFC-FORMULAS SUBR)) 
	(COMMENT **FASL** 10138. (LAP COMPARE-VECTORS SUBR)) 
	(COMMENT **FASL** 10186. (LAP |[MRS,LSP]ATC.LSP←2.| SUBR)) 
	(COMMENT **FASL** 10206. (LAP ORDER-ROLELINKS SUBR)) 
	(COMMENT **FASL** 10244. (LAP COMPARE-ROLEORDER SUBR)) 
	(COMMENT **FASL** 10250. (LAP CULL-EQS SUBR)) 
	(COMMENT **FASL** 10269. (LAP SOME-DUPLICATE-IK-ROLEMARKS SUBR)) 
	(COMMENT **FASL** 10357. (LAP ANALYZE-INSTANTIATION SUBR)) 
	(COMMENT **FASL** 10816. (LAP λ-UNSUBST LSUBR)) 
	(COMMENT **FASL** 10931. (LAP λ-INST-KEY SUBR)) 
	(COMMENT **FASL** 11002. (LAP RAISEATOM SUBR)) 
	(COMMENT **FASL** 11051. (LAP GET-↑-MARKER SUBR)) 
	(COMMENT **FASL** 11092. (LAP GET-↑-TALLY SUBR)) 
	(COMMENT **FASL** 11205. (LAP LOWER-↑-ATOM SUBR)) 
	(COMMENT **FASL** 11253. (LAP LOWER-λ-TERMSORTS SUBR)) 
	(COMMENT **FASL** 11294. (LAP RAISE-λ-TERMSORTS SUBR)) 
	(COMMENT **FASL** 11332. (LAP RAISE↑-TERM SUBR)) 
	(COMMENT **FASL** 11369. (LAP KEYNUMBER SUBR)) 
(COMMENT ****  (EXPRS-LENGTH NIL) 
		Binding number variable to NIL may be a bug in function POSPRINC)
	(COMMENT **FASL** 11386. (LAP POSPRINC LSUBR)) 
	(COMMENT **FASL** 11454. (LAP ANALYZE&EXPOUND LSUBR)) 
	(COMMENT **FASL** 11754. (LAP A&E LSUBR)) 
	(COMMENT **FASL** 11777. (LAP FIX-AL SUBR)) 
	(COMMENT **FASL** 11844. (LAP EXPOUND-ANALYSIS-MODULE-2 SUBR)) 
	(COMMENT **FASL** 12005. (LAP EXPLORE-DNET LSUBR)) 
	(COMMENT **FASL** 12190. (LAP XPDN LSUBR)) 
	(COMMENT **FASL** 12214. (LAP TRAVERSE-LINKS SUBR)) 
	(COMMENT **FASL** 12453. (LAP DISPLAY-KEYPATH SUBR)) 
	(COMMENT **FASL** 12573. (LAP DISPLAY-NODE SUBR)) 
	(COMMENT **FASL** 12745. (LAP EXTEND-CURRENT-KEYPATH SUBR)) 
	(COMMENT **FASL** 12811. (LAP SHORTEN-CURRENT-NODEPATH SUBR)) 
	(COMMENT **FASL** 12980. (LAP COUNT-LINKS&LEAVES SUBR)) 
(COMMENT ****  NUMBER 
		Using this numeric quantity in a predicate position in function PRINT-PROPERTIES)
(COMMENT ****  (FIXP NUMBER) 
		Numeric predicate applied 
 to numeric type datum is a constant in function PRINT-PROPERTIES)
	(COMMENT **FASL** 13055. (LAP PRINT-PROPERTIES SUBR)) 
'HELP-TABLE-ENTRY 
	(COMMENT **FASL** 13359. (LAP XPDN-HELP SUBR)) 
	(COMMENT **FASL** 13469. (LAP LT-EVAL SUBR)) 
	(COMMENT **FASL** 13610. (LAP WEAKEST-STATUS SUBR)) 
	(COMMENT **FASL** 13629. (LAP SORT-MEMBER SUBR)) 
	(COMMENT **FASL** 13642. (LAP SORT-EXCLUSIVE SUBR)) 
	(COMMENT **FASL** 13713. (LAP LT-GROSSEVAL SUBR)) 
(COMMENT ****  (π-PLIST π-GET π-YH-UNITP π-PUTPROP π-MAKE-UNIT EM:ECOMMANDS) 
		have been used but remain undefined in this file)
	(COMMENT **FASL** TOTAL =  13731. WORDS)