( (IP-IMP (FRM Please)
          (ILYR (ILYR (VB;_Tn_ choose;{choose})
                      (NP-OB1;{ACTIVITY} (NUM;_nphd_ two;{two}))
                      (PP-NIM (P-ROLE from;{from})
                              (NP (D the;{the})
                                  (N list;{list})
                                  (ADVP (ADV below;{below})))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP *ICH*-172)
                             (VB;_Dn.w_ tell;{tell})
                             (NP-OB2 (PRO us;{we}))
                             (CP-QUE-OB1 (IP-SUB (ADJP-PRD (ADVP (WADV how;{how}))
                                                           (ADJ good;{good}))
                                                 (NP-SBJ (PRO you;{you}))
                                                 (BEP;_La_ are;{be})
                                                 (PP-NIM (P-ROLE at;{at})
                                                         (NP-172;{ACTIVITY} (Q each;{each})
                                                                            (N one;{one}))))))))
          (PUNC .))
  (ID 12_a_fce_0100_2000_06))

arc(r_0012_0002__choose,r_0012_0003__two,arg1).
arc(r_0012_0002__choose,r_0012_0005__the_r_0012_0006__list,r_0012_0004__from__nim).
arc(r_0012_0002__choose,z_0012_5002,arg0).
arc(r_0012_0005__the_r_0012_0006__list,r_0012_0007__below,qual).
arc(r_0012_0008__and,r_0012_0002__choose,conj1).
arc(r_0012_0008__and,r_0012_0016__each__quant,conj2).
arc(r_0012_0009__tell,r_0012_0010__us,arg2).
arc(r_0012_0009__tell,r_0012_0014__are,arg1).
arc(r_0012_0009__tell,z_0012_5002,arg0).
arc(r_0012_0012__good,r_0012_0011__how,qual).
arc(r_0012_0014__are,r_0012_0012__good,prd).
arc(r_0012_0014__are,r_0012_0013__you,arg0).
arc(r_0012_0014__are,r_0012_0017__one,r_0012_0015__at__nim).
arc(r_0012_0016__each__quant,r_0012_0009__tell,scope).
arc(r_0012_0016__each__quant,r_0012_0017__one,restriction).

fof(formula,axiom,
    ? [R_0012_0003__TWO,R_0012_0007__BELOW,R_0012_0005__THE_R_0012_0006__LIST,Z_0012_5002,R_0012_0002__CHOOSE,R_0012_0008__AND] :
      ( r_0012_0003__two(R_0012_0003__TWO)
      & r_0012_0007__below(R_0012_0007__BELOW)
      & z_0012_5002(Z_0012_5002)
      & r_0012_0008__and(R_0012_0008__AND)
      & ! [R_0012_0017__ONE] :
          ( r_0012_0017__one(R_0012_0017__ONE)
         => ? [R_0012_0010__US,R_0012_0011__HOW,R_0012_0012__GOOD,R_0012_0013__YOU,R_0012_0014__ARE,R_0012_0009__TELL] :
              ( r_0012_0010__us(R_0012_0010__US)
              & r_0012_0011__how(R_0012_0011__HOW)
              & r_0012_0013__you(R_0012_0013__YOU)
              & r_0012_0009__tell(R_0012_0009__TELL)
              & has_arg0(R_0012_0009__TELL,Z_0012_5002)
              & has_arg1(R_0012_0009__TELL,R_0012_0014__ARE)
              & r_0012_0014__are(R_0012_0014__ARE)
              & has_r_0012_0015__at__nim(R_0012_0014__ARE,R_0012_0017__ONE)
              & has_arg0(R_0012_0014__ARE,R_0012_0013__YOU)
              & has_prd(R_0012_0014__ARE,R_0012_0012__GOOD)
              & r_0012_0012__good(R_0012_0012__GOOD)
              & has_qual(R_0012_0012__GOOD,R_0012_0011__HOW)
              & has_arg2(R_0012_0009__TELL,R_0012_0010__US) ) )
      & has_conj1(R_0012_0008__AND,R_0012_0002__CHOOSE)
      & r_0012_0002__choose(R_0012_0002__CHOOSE)
      & has_arg0(R_0012_0002__CHOOSE,Z_0012_5002)
      & has_r_0012_0004__from__nim(R_0012_0002__CHOOSE,R_0012_0005__THE_R_0012_0006__LIST)
      & r_0012_0005__the_r_0012_0006__list(R_0012_0005__THE_R_0012_0006__LIST)
      & has_qual(R_0012_0005__THE_R_0012_0006__LIST,R_0012_0007__BELOW)
      & has_arg1(R_0012_0002__CHOOSE,R_0012_0003__TWO) ) ).