00010
00020
00030 (DEFPROP F1
00040 (LAMBDA (X) (CAR X))
00050 EXPR)
00060
00070 (DEFPROP F2
00080 (LAMBDA (X) (CADR X))
00090 EXPR)
00100
00110 (DEFPROP F3
00120 (LAMBDA (X) (CADDR X))
00130 EXPR)
00140
00150 (DEFPROP F4
00160 (LAMBDA (X) (CADDDR X))
00170 EXPR)