( (IP-MAT (PULQ <lquo>)
          (PP-NIM (P-ROLE For;{for})
                  (NP (Q all;{all})
                      (NP-GEN;{PIERS} (PRO;_genm_ your;{your}))
                      (ADJP (ADJ good;{good}))
                      (N opinion;{opinion})
                      (PP (P-ROLE of;{of})
                          (NP;{PIERS} (PNX yourself;{yourself})))))
          (PUNC ,)
          (NP-SBJ;{BERYL} (PRO I;{I}))
          (VBP;_Tn_ doubt;{doubt})
          (NP-OB1 (PRO it;{it}))
          (PUNC .))
  (ID 101_a_lob_n02))

arc(r_0101_0003__all__quant,r_0101_0006__opinion,restriction).
arc(r_0101_0003__all__quant,r_0101_0011__doubt,scope).
arc(r_0101_0006__opinion,r_0101_0004__your,gen).
arc(r_0101_0006__opinion,r_0101_0004__your,r_0101_0007__of).
arc(r_0101_0006__opinion,r_0101_0005__good,attrib).
arc(r_0101_0011__doubt,r_0101_0006__opinion,r_0101_0002__For__nim).
arc(r_0101_0011__doubt,r_0101_0010__I,arg0).
arc(r_0101_0011__doubt,r_0101_0012__it,arg1).

fof(formula,axiom,
    ! [R_0101_0006__OPINION,R_0101_0004__YOUR,R_0101_0005__GOOD] :
      ( ( r_0101_0004__your(R_0101_0004__YOUR)
        & r_0101_0005__good(R_0101_0005__GOOD)
        & r_0101_0006__opinion(R_0101_0006__OPINION)
        & has_attrib(R_0101_0006__OPINION,R_0101_0005__GOOD)
        & has_r_0101_0007__of(R_0101_0006__OPINION,R_0101_0004__YOUR)
        & has_gen(R_0101_0006__OPINION,R_0101_0004__YOUR) )
     => ? [R_0101_0010__I,R_0101_0012__IT,R_0101_0011__DOUBT] :
          ( r_0101_0010__I(R_0101_0010__I)
          & r_0101_0012__it(R_0101_0012__IT)
          & r_0101_0011__doubt(R_0101_0011__DOUBT)
          & has_arg1(R_0101_0011__DOUBT,R_0101_0012__IT)
          & has_arg0(R_0101_0011__DOUBT,R_0101_0010__I)
          & has_r_0101_0002__For__nim(R_0101_0011__DOUBT,R_0101_0006__OPINION) ) ) ).