Symbol R$PROP

			4548	PROP(O,P,U)
			4549	= (NULL(O) YIELDS U, CAR(O) = P YIELDS CDR(O),
			4550	T YIELDS PROP(CDR(O),P,U))
	10011	0634 00 4 10065	4551	PROP	SXA	SAST1,4 SAVE LINK IR