-
Notifications
You must be signed in to change notification settings - Fork 5
/
progmr
501 lines (445 loc) · 14.4 KB
/
progmr
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
(DECLARE (GENPREFIX PROGMR))
;;;**********************************************************
;;;
;;; PROGMR
;;; (INTERPRETER FOR THE PROGRAMMAR GRAMMAR WRITING LANGUAGE)
;;;
;;;############################################################
(DEFUN RESTOREPT NIL (SETQ PT SAVEPT))
(DEFUN SETMVB (PTR-MVB)
(PROG (SAVE)
(SETQ MVB PTR-MVB) ;IF THERE ARE SEVERAL CLAUSES ACTIVE AT THE
(SETQ SAVE PT)
(SETQ PT PTR-MVB) ;SAME TIME IT SETS THE NEAEST ONE.
(SETR 'MVB PTR-MVB (MOVE-PT C U (CLAUSE)))
(SETQ PT SAVE)
(RETURN T)))
(DEFUN ADD-F-PT (FEATURE PTR)
(PUTPROP (CAR PTR) (CONS FEATURE (FE PTR)) 'FEATURES)
(AND (EQ PTR C) (SETQ FE (FE PTR)))
T)
(DEFUN REMOVE-F-PT (FEATURE PTR)
(PUTPROP (CAR PTR)
(SETDIF (GET (CAR PTR) 'FEATURES)
(LIST FEATURE))
'FEATURES)
(AND (EQ PTR C) (SETQ FE (FE PTR)))
T)
(DEFUN ONE-WORD-LEFT NIL (AND (CDR NB) (NOT (CDDR NB))))
(SETQ SMNBREAKS NIL
;;; a list of smnfns which will
;;; be broken at (before calling)
)
(DEFUN CALLSM FEXPR (SEMANTIC-EXPRESSION)
(PROG (RESULT MPLNR-TIME SM-TTIME GC SMNFN)
(SETQ SMNFN (CAR SEMANTIC-EXPRESSION))
(AND SMNTRACE
(APPLY 'SAY
(LIST 'SEMANTICS
'*****
UNIT
'CALLING
SMNFN)))
(AND SMN
(COND ((OR (EQ SMNBREAKS T) (MEMQ SMNFN SMNBREAKS))
(RETURN (ERT)))
(T (RETURN T))))
(AND SMNTRACE
(PROGN (PRINTC '/ / CALLSM:/ )
(PRINC (CAR SEMANTIC-EXPRESSION))))
(SETQ MPLNR-TIME 0.)
(SETQ GC (STATUS GCTIME)
SM-TTIME (RUNTIME)
RESULT (EVAL (CAR SEMANTIC-EXPRESSION)))
(SETQ SM-TIME (PLUS SM-TIME
(DIFFERENCE (TIMER SM-TTIME
(RUNTIME))
MPLNR-TIME)))
(OR (= GC (STATUS GCTIME))
(SETQ SM-TIME
(DIFFERENCE SM-TIME (TIMER GC (STATUS GCTIME)))
P-GC
(STATUS GCTIME)))
(SETQ MP-TIME (PLUS MP-TIME MPLNR-TIME))
(AND SMNTRACE
(PROGN (PRINTC 'CALLSM/ RETURNING:/ )
(PRINC RESULT)))
(COND ((OR (EQ SMNBREAKS 'ALL)
(MEMQ SMNFN SMNBREAKS))
(ERT)))
(RETURN RESULT)))
(DEFUN MOVE-PT FEXPR (L)
(PROG (XX YY L2 EXEC SAVE)
(SETQ EXEC L)
(SETQ SAVE PT)
TEST1(COND ((AND (CDR EXEC) (NOT (ATOM (CADR EXEC))))
(GO TEST)))
LOOK1(SETQ XX (CAR EXEC))
LOOK (COND ((EQ XX 'H)
(OR (SETQ PT H) (GO FAIL))
(GO EX))
((EQ XX 'C) (SETQ PT C) (GO EX))
((EQ XX 'PC)
(SETQ PT (H (PARENT C)))
(GO EX))
((EQ XX 'LASTSENT)
(SETQ PT LASTSENT)
(GO EX))
((EQ XX 'U)
(OR (SETQ PT (PARENT PT)) (GO FAIL)))
((EQ XX 'DLC)
(OR (SETQ PT (H PT)) (GO FAIL)))
((EQ XX 'DF)
(SETQ L2 (CONS 'DLC (CONS 'FR L2)))
(SETQ XX 'DLC)
(GO LOOK))
((EQ XX 'FR)
(COND ((MOVE-PT PV) (GO LOOK))))
((EQ XX 'NX)
(OR (SETQ PT (PREVIOUS (H (PARENT PT)) (CAR PT)))
(GO FAIL)))
((EQ XX 'PV)
(SETQ PT (OR (AND (EQ PT C) (H (PARENT C)))
(FOLLOWING (H (PARENT PT)) (CAR PT))
(GO FAIL))))
(T (PRINT XX) (ERT MOVE-PT ILLEGAL INSTRUCTION)))
EX (COND ((OR (NULL L2) (NULL (SETQ L2 (CDR L2))))
(GO TEST)))
(SETQ XX (CAR L2))
(GO LOOK)
TEST (COND ((NULL (CDR EXEC)) (RETURN PT))
((ATOM (CADR EXEC)) T)
((COND ((CDADR EXEC) (EVAL (CADR EXEC)))
(T (ISX PT (CAADR EXEC))))
(SETQ EXEC (CDR EXEC)))
(T (GO LOOK1)))
(COND ((SETQ EXEC (CDR EXEC)) (GO TEST1)))
(RETURN PT)
FAIL (SETQ PT SAVE)
(RETURN NIL)))
(DEFUN MOVE-PTW FEXPR (L)
(PROG (EXEC SAVE XX)
(SETQ SAVE PTW)
(SETQ EXEC L)
TEST1(COND ((AND (CDR EXEC) (NOT (ATOM (CADR EXEC))))
(GO EX)))
LOOK1(SETQ XX (CAR EXEC))
LOOK (COND ((EQ XX 'N) (SETQ PTW N))
((EQ XX 'LASTSENT) (SETQ PTW (NB LASTSENT)))
((EQ XX 'FW) (SETQ PTW (NB PT)))
((EQ XX 'AW)
(COND ((EQ PT C) (GO FAIL))
((SETQ PTW (N PT))
(SETQ XX 'PW)
(GO LOOK))))
((EQ XX 'LW)
(COND ((EQ PT C) (GO FAIL))
((SETQ PTW (N PT))
(SETQ XX 'PW)
(GO LOOK))))
((EQ XX 'NW)
(COND ((SETQ PTW (CDR PTW)))
((SETQ PTW (FINDB SENT NIL)) (GO FAIL))))
((EQ XX 'PW)
(COND ((SETQ PTW (FINDB SENT PTW)))
((SETQ PTW SENT) (GO FAIL))))
((EQ XX 'SFW) (SETQ PTW SENT))
((EQ XX 'SLW) (SETQ PTW (FINDB SENT NIL)))
((BUG MOVE-PTW ILLEGAL INSTRUCTION)))
EX (COND ((NULL (CDR EXEC)) (RETURN PTW))
((ATOM (CADR EXEC)) T)
((COND ((CDADR EXEC) (EVAL (CADR EXEC)))
(T (ISX PTW (CAADR EXEC))))
(SETQ EXEC (CDR EXEC)))
(T (GO LOOK1)))
(COND ((SETQ EXEC (CDR EXEC)) (GO TEST1)))
(RETURN PTW)
FAIL (SETQ PTW SAVE)
(RETURN NIL)))
(DEFUN APPLY-GRAMMAR (UNIT)
(COND ((GET UNIT 'INTERPRET) (INTERPRET UNIT))
(T (EVAL (LIST UNIT)))))
(DEFUN BUILDNODE (FEATURES FIRSTWORD WORDAFTER DAUGHTERS SEMANTICS)
(PROG (NODE)
(SETQ NODE (LIST (MAKESYM 'NODE)))
(SETR 'FEATURES FEATURES NODE)
(SETR 'FIRSTWORD FIRSTWORD NODE)
(SETR 'WORDAFTER WORDAFTER NODE)
(SETR 'DAUGHTERS DAUGHTERS NODE)
(SETR 'SEMANTICS SEMANTICS NODE)
(RETURN NODE)))
(DEFUN CQ FEXPR (FEATURE) (MEMQ (CAR FEATURE) FE))
(DEFPROP CUT
(LAMBDA (A) (PROG (B C)
(SETQ B N)
LOOP (COND ((EQ A B)
(SETQ CUT A)
(SETQ NN (NOT (EQ CUT N)))
(RETURN T))
((EQ B END) (RETURN NIL))
((SETQ B (CDR B)) (GO LOOP))
((NULL A)
(SETQ CUT NIL)
(SETQ NN N)
(RETURN T)))))
EXPR)
(DEFUN CUT-BACK-ONE NIL (MOVE-PTW N PW) (POP) (CUT PTW))
(DEFPROP F
(LAMBDA (A) (COND ((MEMBER A FE) T)
((SETR 'FEATURES
(SETQ FE (CONS A FE))
C))))
EXPR)
(DEFUN FE (NODE) (GETR 'FEATURES NODE))
(DEFUN FEATURE? (FEATURE) (MEMQ FEATURE FE))
(DEFUN FESET (NODE FEATURES) (SETR 'FEATURES FEATURES NODE))
(DEFUN FLUSHME NIL
;; IF YOU HAVEN'T REAHED THE CUT, FLUSHES THE NEXT WORD IN THE
;;SENTENCE. FAILS IF IT REACHES CUT POINT
(AND N NN (SETQ NN (NOT (EQ CUT (SETQ N (CDR N)))))))
(DEFUN FOLLOWING (LIST MEMBER)
;; GET THE ELEMENT OF LIST FOLLOWING MEMBER
(AND (MEMQ MEMBER LIST) (CDR (MEMQ MEMBER LIST))))
(DEFUN FQ FEXPR (A)
(MAPCAR
(FUNCTION (LAMBDA (X) (OR (MEMQ X FE) (SETQ FE (CONS X FE)))))
A)
(SETR 'FEATURES FE C))
(DEFUN GETR (REGISTER NODE)
;; THIS FUNCTION RETRIEVES THE CONTENTS OF THE REGISTER
;;ASSOCIATED WITH THE GIVEN NODE
(GET (CAR NODE) REGISTER))
(DEFUN H (NODE) (GETR 'DAUGHTERS NODE))
(DEFPROP ISQ (LAMBDA (A) (MEMQ (CADR A) (FE (EVAL (CAR A))))) FEXPR)
(DEFUN ISX (A B) (MEMBER B (FE A)))
(DEFPROP M (LAMBDA (A) (SETQ ME (CONS A ME))) EXPR)
(DEFPROP MP (LAMBDA (A) (SETQ MESP A)) FEXPR)
(DEFPROP MQ (LAMBDA (A) (SETQ ME (CONS A ME))) FEXPR)
(DEFUN N (NODE) (GETR 'WORDAFTER NODE))
(DEFUN NB (NODE) (GETR 'FIRSTWORD NODE))
(DEFUN NEXTW FEXPR (A) (EQ (CAR N) (CAR A)))
(DEFUN NEXTWORD NIL (CAR N)) ;RETURN THE NEXT WORD IN THE SENTENCE
(DEFUN NEXTWORD? (A) (EQ (CAR N) A))
(DEFUN NQ FEXPR (A) (MEMQ (CAR A) (FE N)))
(DEFUN ONLY-ONE-WORD-LEFT NIL (AND N (NOT (CDR N))))
(DEFUN PARENT (NODE) (GETR 'PARENT NODE))
(DEFUN PARSE FEXPR (A)
(COND ((MEMQ (CAR A) '(NG CLAUSE VG PREPG ADJG))
(PARSE2 A (MEMQ 'TOPLEVEL A)))
((PARSE3 A NIL))))
(DEFUN PARSE2 (REST P)
;;THIS FUNCTION CALLS THE PROGRAMMAR FUNCTION INDICATED BY THE
;;FIRST MEMBER OF REST - A FEATURE LIST THE PARAMETER P
;;INDICATES WHETHER PARSE2 IS BEING CALLED FROM THE TOPLEVEL
;;IF P IS TRUE, PARSE2 DOES NOT APPEND THE NODE JUST PARSED TO
;;THE PARSING TREE PARSE2 WILL CALL EITHER A COMPILED OR
;;INTERPRETED VERSION OF THE GRAMMAR PROGRAM
(PROG (UNIT CREATED-NODE END PARENT RE SPECIAL NBB)
(SETQ UNIT (CAR REST) LEVEL (1+ LEVEL))
(COND ((EQ (SETQ NBB N) CUT)
(SETQ LEVEL (1- LEVEL))
(RETURN NIL)))
(SETQ END CUT)
(SETQ NN (NOT (EQ N CUT)))
(SETQ PARENT C)
(COND ((NQ B-SPECIAL)
(AND PARSETRACE
(PROGN (PRINTC '/ / SPECIAL/ WORD)
(PRINC (CAR N))))
(EVAL (GETR 'B-SPECIAL N))))
(COND ((EQ SPECIAL 'SKIP) (GO SKIP))
((EQ SPECIAL 'DONE) (GO DONE))
((EQ SPECIAL 'LOSE) (SETQ N NBB) (GO LOSE)))
(AND PARSETRACE
(PROGN (TERPRI)
(PRINC '/()
(PRINC LEVEL)
(PRINC '/ ####/ PARSING:/ )
(PRINC REST)))
(COND ((NULL (SETQ RE (APPLY-GRAMMAR UNIT))) ;THIS IS WHERE ALL THE WORK HAPPENS. IF THE
(SETQ RE NIL) ;PARSE SUCEEDS, IT WILL RETURN THE NODE THAT HAS
(SETQ N NBB) ;BEEN BUILT UP (SEE THE FUNCTION
(GO LOSE))) ;"INTERPRETATION" IN IN GINTER)
SKIP (COND ((EQ N CUT))
((NQ SPECIAL) (EVAL (GETR 'SPECIAL N))))
DONE (OR P
(REBUILD (SETQ FE (GET (CAR C) 'FEATURES)) ;REBUILDS THE HIGHER LEVEL NODE TO INCORPORATE
NB ;THE DAUGHTER THAT WAS JUST PARSED EXCEPT IN THE
N ;CASE WHERE THIS NODE IS THE TOPLEVEL
(SETQ H (APPEND RE H))
SM
C))
LOSE (SETQ NN (NOT (EQ N CUT)))
OK (COND ((AND RE
(OR (EQ PARSETRACE 'ALL)
(EQ PARSEBREAK 'ALL)
(MEMQ UNIT PARSEBREAK)
(MEMQ UNIT PARSETRACE)))
(TERPRI)
(PRINC '/()
(PRINC LEVEL)
(PRINC '/ PARSE/ SUCEEDED:/ )
(PRINC UNIT)
(PRINC '/ / )
(PRINC (FROM (NB RE) N))
(AND PARSENODE-SEE (DP (CAR RE)))
(AND (OR (EQ PARSEBREAK 'ALL)
(MEMQ UNIT PARSEBREAK))
(ERT)))
((OR PARSEBREAK PARSETRACE)
(TERPRI)
(PRINC '/()
(PRINC LEVEL)
(PRINC '/ PARSE/ FAILED)
(AND (OR (EQ PARSEBREAK 'ALL)
(MEMQ UNIT PARSEBREAK))
(ERT))))
(PARSE-STATISTICS) ;defined in SYSCOM
(SETQ LEVEL (1- LEVEL))
(RETURN RE)))
(DEFUN PARSE3 (REST P)
;; PARSE3 IS CALLED TO PARSE JUST THE NEXT WORD IN THE
;;SENTENCE
(PROG (XP LABL RE SPECIAL NBB NODE)
(COND ((EQ (SETQ NBB N) CUT) (MQ CUT) (RETURN NIL))
((NQ B-SPECIAL) ;IS THE NEXT WORD MARKED SPECL?
(EVAL (GETR 'B-SPECIAL N)) ;YES, DO SOMETHING SPECIALL
(COND ((EQ SPECIAL 'SKIP) (GO SKIP))
((EQ SPECIAL 'LOSE)
(SETQ N NBB)
(RETURN NIL))
((EQ SPECIAL 'DONE) (GO DONE)))))
(COND ((CAR (SETQ XP REST))) ;IF CALL IS (PARSE NIL FOO)
((NEXTWORD? (CADR REST)) (GO OK)) ;THEN LOOK FOR EXACT WORD "FOO"
((SETQ N NBB) (RETURN NIL))) ;IF NOT THERE, FAIL
LOOP (COND ((NOT (ATOM (CAR XP)))
(SETQ LABL (CONS (CAAR XP) LABL))) ;IF THE FEATURE IS NOT AN ATOM JUST ADD THE
((EQ (CAR XP) 'NULL)) ;FEATURE TO THE LIST
((MEMQ (CAR XP) (FE N)))
((MEMQ (CAR XP) UNMKD))
((M (CAR XP)) (SETQ N NBB) (RETURN NIL)))
(COND ((SETQ XP (CDR XP)) (GO LOOP)))
OK (SETQ
RE
(BUILDNODE (MEET (APPEND (FE N) LABL)
(GET (CAR REST) 'ELIM))
N
(CDR N)
'WORD
(OR SMN
(NULL (CAR REST))
(AND (NULL (SM N)) (UNDEFINED))
(CADR (SASSOC (CAR REST)
(SM N)
(FUNCTION UNDEFINED))))))
(SETQ N (CDR N))
SKIP (SETQ NN (NOT (EQ N CUT)))
(COND ((AND NN (NQ SPECIAL))
(EVAL (GETR 'SPECIAL N))))
DONE (SETR 'PARENT C RE)
(COND (P RE)
(T (REBUILD FE NB N (SETQ H (APPEND RE H)) SM C)))
(AND PARSENODE-SEE RE (DP (CAR RE)) PNS-BK (ERT))
(PARSE-STATISTICS)
(RETURN RE)))
(DEFUN PARSEREL (A B NODE)
(PROG NIL
GO (COND ((NULL A) (RETURN NIL))
((NOT (ISX NODE (CAAR A))))
((EVAL (APPEND '(PARSE CLAUSE RSNG)
(CDAR A)
B))
(RETURN H)))
(SETQ A (CDR A))
(GO GO)))
(DEFUN POP FEXPR (A)
(COND
((OR (NULL A) (NULL (CAR A)))
(COND
((NULL H) NIL)
((SETQ N (NB H))
(SETQ H (CDR H))
(REBUILD FE NB N H SM C)
(SETQ NN (NOT (EQ N CUT)))
(OR
SMN
(PROG (XX)
(MAP
'(LAMBDA (BACKNODE)
(ERRSET
(AND (MAP '(LAMBDA (PLACE)
(AND (EQ PLACE (NB BACKNODE))
(ERR)))
N)
(SETQ XX (CONS (CAR BACKNODE) XX)))))
BACKREF)
(SETQ BACKREF XX)))
T)))
((EVAL (CONS 'POPTO A)) (POP))))
(DEFUN POPTO FEXPR (A)
(PROG (XX)
(SETQ XX H)
LOOP (COND ((EVAL (CONS 'ISQ (CONS 'XX A))))
((SETQ XX (CDR XX)) (GO LOOP))
((MQ POPTO) (RETURN NIL)))
EX (COND ((EQ XX H) (RETURN C)) ((POP) (GO EX)))))
(DEFUN PREVIOUS (LIST MEMBER)
;; GET THE ELEMENT OF LIST BEFORE MEMBER
(PROG (GOODIE)
GO (COND ((NULL LIST) (RETURN NIL))
((EQ MEMBER (CAR LIST)) (RETURN GOODIE))
(T (SETQ GOODIE (CAR LIST))
(SETQ LIST (CDR LIST))))
(GO GO)))
(DEFUN PTFIND (X YY Z)
(PROG (FOO)
(SETQ FOO (CAR X))
UP (COND ((MOVE-PT U) (GO UP)) ((EQ (NB PT) X) (GO ON)))
DOWN (OR (MOVE-PT DLC PV (MEMQ FOO (NB PT))) (RETURN NIL))
ON (COND ((NOT (EQ X (NB PT))) (GO DOWN))
((EQ YY T))
((MOVE-PT DF (EQ (N PT) YY)))
((RETURN NIL)))
CHECK(COND ((EVAL Z) (RETURN PT))
((NOT (EQ YY T)))
((MOVE-PT DF) (GO CHECK)))))
(DEFUN REBUILD (FEATURES FIRSTWORD WORDAFTER DAUGHTERS SEMANTICS
NODE)
(SETR 'FEATURES FEATURES NODE)
(SETR 'FIRSTWORD FIRSTWORD NODE)
(SETR 'WORDAFTER WORDAFTER NODE)
(SETR 'DAUGHTERS DAUGHTERS NODE)
(SETR 'SEMANTICS SEMANTICS NODE)
NODE)
(DEFUN ROOT (X)
;;; INPUT= PIECE OF SENTENCE
;;; OUTPUT= ROOT OF FIRST WORD IN THAT PIECE
;;; IF WORD HAS NO ROOT PROPERTY, THE ROOT == WORD
(OR (GET (CAR X) 'ROOT) (CAR X)))
(DEFUN RQ FEXPR (A) (SETR 'FEATURES (SETQ FE (SETDIF FE A)) C)) ;REMOVE THE FEATURE A FROM FEATURE LIST OF THE
;CURRENT NODE
(DEFUN SECONDWORD? (WORD) (AND N (CDR N) (EQ (CADR N) WORD)))
(DEFUN SETR (REGISTER VALUE NODE)
;; THIS FUNCTION ASSOCIATES THE GIVEN VALUE WITH THE GIVEN
;;NODE UNDER THE GIVEN INDICATOR, REGISTER
(PUTPROP (CAR NODE) VALUE REGISTER))
(DEFUN SM (NODE) (GETR 'SEMANTICS NODE))
(DEFUN TRNSF FEXPR (A)
(SETR 'FEATURES
(SETQ FE (UNION (MEET A (FE PT)) FE))
C))
(DEFUN UPREL (X)
(AND (NOT (ATOM X))
(OR (MEMQ 'UPREL (FE X)) ; FIND NODE WITH UPREL FEATURE
(UPREL (H X))
(UPREL (CDR X)))))
(DEFUN WORD (N) (CAR N))
(DEFPROP UPCHECK
(LAMBDA NIL (AND (MOVE-PT C U (REL-NOT-FOUND))
(NOT (MEET (FE PT)
'(OBJ1Q OBJ1REL
OBJ2Q
OBJ2REL
LOBREL
LOBQ)))))
EXPR)