( (IP-MAT (PULQ <lquo>)
          (ADVP-NIM (ADV Personally;{personally}))
          (NP-SBJ;{BERYL} (PRO I;{I}))
          (HVP;_Tn_ <apos>ve;{have})
          (NP-OB1 (Q;_nphd_ no;{no})
                  (ADJP (ADJR more;{more}))
                  (IP-INF-REL (NP-OB1 *T*)
                              (TO to;{to})
                              (VB;_Tn_ say;{say})))
          (PUNC ,)
          (PP-SCON (P-CONN so;{so})
                   (IP-ADV (NP-SBJ;{BERYL} (PRO I;{I}))
                           (VBP;_Tf_ suggest;{suggest})
                           (CP-THT-OB1 (IP-SUB (NP-SBJ;{BERYL+PIERS} (PRO we;{we}))
                                               (VBP;_Ip_ get;{get[along]})
                                               (ADVP-CLR (RP along;{along}))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 117_a_lob_n02))

arc(r_0117_0004___apos_ve,r_0117_0002__Personally,nim).
arc(r_0117_0004___apos_ve,r_0117_0003__I,arg0).
arc(r_0117_0004___apos_ve,z_0117_5008,arg1).
arc(r_0117_0005__no__quant,r_0117_0010__so,scope).
arc(r_0117_0005__no__quant,z_0117_5008,restriction).
arc(r_0117_0008__say,z_0117_5006,arg0).
arc(r_0117_0008__say,z_0117_5008,inv_arg1).
arc(r_0117_0010__so,r_0117_0004___apos_ve,scope).
arc(r_0117_0010__so,r_0117_0012__suggest,restriction).
arc(r_0117_0012__suggest,r_0117_0003__I,arg0).
arc(r_0117_0012__suggest,r_0117_0014__get_r_0117_0015__along,arg1).
arc(r_0117_0014__get_r_0117_0015__along,r_0117_0013__we,arg0).
arc(z_0117_5008,r_0117_0006__more,attrib).

fof(formula,axiom,
    ! [Z_0117_5008,Z_0117_5006,R_0117_0008__SAY,R_0117_0006__MORE] :
      ( ( r_0117_0006__more(R_0117_0006__MORE)
        & z_0117_5006(Z_0117_5006)
        & z_0117_5008(Z_0117_5008)
        & has_attrib(Z_0117_5008,R_0117_0006__MORE)
        & has_inv_arg1(Z_0117_5008,R_0117_0008__SAY)
        & r_0117_0008__say(R_0117_0008__SAY)
        & has_arg0(R_0117_0008__SAY,Z_0117_5006) )
     => ? [R_0117_0002__PERSONALLY,R_0117_0003__I,R_0117_0004___APOS_VE,R_0117_0013__WE,R_0117_0014__GET_R_0117_0015__ALONG,R_0117_0012__SUGGEST,R_0117_0010__SO] :
          ( r_0117_0002__Personally(R_0117_0002__PERSONALLY)
          & r_0117_0003__I(R_0117_0003__I)
          & r_0117_0013__we(R_0117_0013__WE)
          & r_0117_0010__so(R_0117_0010__SO)
          & has_conj1(R_0117_0010__SO,R_0117_0012__SUGGEST)
          & r_0117_0012__suggest(R_0117_0012__SUGGEST)
          & has_arg1(R_0117_0012__SUGGEST,R_0117_0014__GET_R_0117_0015__ALONG)
          & r_0117_0014__get_r_0117_0015__along(R_0117_0014__GET_R_0117_0015__ALONG)
          & has_arg0(R_0117_0014__GET_R_0117_0015__ALONG,R_0117_0013__WE)
          & has_arg0(R_0117_0012__SUGGEST,R_0117_0003__I)
          & has_conj2(R_0117_0010__SO,R_0117_0004___APOS_VE)
          & r_0117_0004___apos_ve(R_0117_0004___APOS_VE)
          & has_arg1(R_0117_0004___APOS_VE,Z_0117_5008)
          & has_arg0(R_0117_0004___APOS_VE,R_0117_0003__I)
          & has_nim(R_0117_0004___APOS_VE,R_0117_0002__PERSONALLY) ) ) ).