arc(r_0048_0002__If, r_0048_0004__want, restriction).
arc(r_0048_0002__If, r_0048_0009___apos_ll, scope).
arc(r_0048_0004__want, r_0048_0003__you, arg0).
arc(r_0048_0004__want, r_0048_0007__opinion, arg1).
arc(r_0048_0007__opinion, r_0048_0005__my, gen).
arc(r_0048_0007__opinion, r_0048_0006__true, attrib17).
arc(r_0048_0009___apos_ll, r_0048_0010__give, scope).
arc(r_0048_0010__give, r_0048_0007__opinion, arg1).
arc(r_0048_0010__give, r_0048_0008__I, arg0).

fof(formula,axiom,
    ! [R_48_4_WANT,R_48_3_YOU,R_48_7_OPINION,R_48_6_TRUE,R_48_5_MY] :
      ( ( you(R_48_3_YOU)
        & true(R_48_6_TRUE)
        & my(R_48_5_MY)
        & want(R_48_4_WANT,R_48_3_YOU,R_48_7_OPINION)
        & opinion(R_48_7_OPINION)
        & attrib17(R_48_7_OPINION,R_48_6_TRUE)
        & gen(R_48_7_OPINION,R_48_5_MY) )
     => ? [R_48_9__APOS_LL_GIVE,R_48_8_I] :
          ( i(R_48_8_I)
          & _apos_ll_give(R_48_9__APOS_LL_GIVE,R_48_8_I,R_48_7_OPINION) ) ) ).

( (IP-MAT (PULQ <lquo>)
          (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ;{BERYL} (PRO you;{you}))
                           (VB;__ want;{want})
                           (NP-OB1;{OPINION} (NP-GEN;{PIERS} (PRO;_genm_ my;{my}))
                                             (ADJP (ADJ true;{true}))
                                             (N opinion;{opinion}))))
          (NP-SBJ;{PIERS} (PRO I;{I}))
          (MD;_cat_Vi_ <apos>ll;{will})
          (IP-INF-CAT (VB;__ give;{give})
                      (NP-OB1;{OPINION} (PRO it;{it})))
          (PUNC .))
  (ID 48_a_lob_n02))