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

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,attrib).
arc(r_0048_0009___apos_ll,r_0048_0010__give,scope).
arc(r_0048_0010__give,r_0048_0005__my,arg0).
arc(r_0048_0010__give,r_0048_0007__opinion,arg1).

fof(formula,axiom,
    ! [R_0048_0004__WANT,R_0048_0003__YOU,R_0048_0005__MY,R_0048_0006__TRUE,R_0048_0007__OPINION] :
      ( ( r_0048_0003__you(R_0048_0003__YOU)
        & r_0048_0005__my(R_0048_0005__MY)
        & r_0048_0006__true(R_0048_0006__TRUE)
        & r_0048_0004__want(R_0048_0004__WANT)
        & has_arg1(R_0048_0004__WANT,R_0048_0007__OPINION)
        & r_0048_0007__opinion(R_0048_0007__OPINION)
        & has_attrib(R_0048_0007__OPINION,R_0048_0006__TRUE)
        & has_gen(R_0048_0007__OPINION,R_0048_0005__MY)
        & has_arg0(R_0048_0004__WANT,R_0048_0003__YOU) )
     => ? [R_0048_0009___APOS_LL_R_0048_0010__GIVE] :
          ( r_0048_0009___apos_ll_r_0048_0010__give(R_0048_0009___APOS_LL_R_0048_0010__GIVE)
          & has_arg1(R_0048_0009___APOS_LL_R_0048_0010__GIVE,R_0048_0007__OPINION)
          & has_arg0(R_0048_0009___APOS_LL_R_0048_0010__GIVE,R_0048_0005__MY) ) ) ).