arc(r_0117_0004___apos_ve, r_0117_0002__Personally, nim4).
arc(r_0117_0004___apos_ve, r_0117_0003__I, arg0).
arc(r_0117_0004___apos_ve, z_000_117_a_lob_n02_12, arg1).
arc(r_0117_0005__no_quant, r_0117_0004___apos_ve, scope).
arc(r_0117_0005__no_quant, z_000_117_a_lob_n02_12, restriction).
arc(r_0117_0007__to_r_0117_0008__say, z_000_117_a_lob_n02_12, arg1).
arc(r_0117_0007__to_r_0117_0008__say, z_000_117_a_lob_n02_18, arg0).
arc(r_0117_0010__so, r_0117_0005__no_quant, 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, arg1).
arc(r_0117_0014__get, r_0117_0013__we, arg0).
arc(r_0117_0014__get, r_0117_0015__along, clr43).
arc(z_000_117_a_lob_n02_12, r_0117_0006__more, attrib15).

fof(formula,axiom,
    ? [R_0117_0003__I,R_0117_0013__WE,R_0117_0015__ALONG,R_0117_0014__GET,R_0117_0012__SUGGEST,R_0117_0010__SO] :
      ( r_0117_0003__I(R_0117_0003__I)
      & r_0117_0013__we(R_0117_0013__WE)
      & r_0117_0015__along(R_0117_0015__ALONG)
      & 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_0014__get(R_0117_0014__GET)
      & has_clr43(R_0117_0014__GET,R_0117_0015__ALONG)
      & has_arg0(R_0117_0014__GET,R_0117_0013__WE)
      & has_arg0(R_0117_0012__SUGGEST,R_0117_0003__I)
      & ! [Z_000_117_A_LOB_N02_12,R_0117_0006__MORE,Z_000_117_A_LOB_N02_18,R_0117_0007__TO_R_0117_0008__SAY] :
          ( ( r_0117_0006__more(R_0117_0006__MORE)
            & z_000_117_a_lob_n02_18(Z_000_117_A_LOB_N02_18)
            & r_0117_0007__to_r_0117_0008__say(R_0117_0007__TO_R_0117_0008__SAY)
            & has_arg0(R_0117_0007__TO_R_0117_0008__SAY,Z_000_117_A_LOB_N02_18)
            & has_arg1(R_0117_0007__TO_R_0117_0008__SAY,Z_000_117_A_LOB_N02_12)
            & z_000_117_a_lob_n02_12(Z_000_117_A_LOB_N02_12)
            & has_attrib15(Z_000_117_A_LOB_N02_12,R_0117_0006__MORE) )
         => ? [R_0117_0002__PERSONALLY,R_0117_0004___APOS_VE] :
              ( r_0117_0002__Personally(R_0117_0002__PERSONALLY)
              & r_0117_0004___apos_ve(R_0117_0004___APOS_VE)
              & has_arg1(R_0117_0004___APOS_VE,Z_000_117_A_LOB_N02_12)
              & has_arg0(R_0117_0004___APOS_VE,R_0117_0003__I)
              & has_nim4(R_0117_0004___APOS_VE,R_0117_0002__PERSONALLY) ) ) ) ).

( (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))