) (A1 <2 .L>) (A2 <3 .L>) (VV <4 .L>) (VAL <6 .L>) AC INS (RFALSE )) #DECL ((L) LIST (OP) ATOM>) >)> > ) (ELSE >)> DFAD) (<==? .OP -> DFSB) (<==? .OP *> DFMP) (ELSE DFDV)>> > ) (ELSE >)> > .AC> ) (ELSE >)> > > >