( (IP-MAT (PULQ <lquo>)
          (NP-SBJ (PRO I;{I}))
          (HVP;_Tn_ have;{have})
          (NP-OB1 (N picture;{picture})
                  (PP (P-ROLE of;{of})
                      (NP;{TOWER_BRIDGE} (NPR Tower;{Tower})
                                         (NPR Bridge;{Bridge}))))
          (PP-NIM (P-ROLE at;{at})
                  (NP (N home;{home})))
          (PP-NIM (P-ROLE on;{on})
                  (NP (N wall;{wall})))
          (PP-SCON (P-CONN although;{although})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (HVP;_cat_Ve_ have;{have})
                           (NEG not;{not})
                           (IP-PPL-CAT (VVN;__ seen;{see})
                                       (ADVP-NIM (ADV yet;{yet})))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 140_a_loosechange))

arc(r_0140_0003__have,r_0140_0002__I,arg0).
arc(r_0140_0003__have,r_0140_0004__picture,arg1).
arc(r_0140_0003__have,r_0140_0009__home,r_0140_0008__at__nim).
arc(r_0140_0003__have,r_0140_0011__wall,r_0140_0010__on__nim).
arc(r_0140_0004__picture,r_0140_0006__Tower_r_0140_0007__Bridge,r_0140_0005__of).
arc(r_0140_0012__although,r_0140_0003__have,scope).
arc(r_0140_0012__although,r_0140_0015__not,restriction).
arc(r_0140_0014__have,r_0140_0016__seen,scope).
arc(r_0140_0015__not,r_0140_0014__have,keep_scope).
arc(r_0140_0016__seen,r_0140_0002__I,arg0).
arc(r_0140_0016__seen,r_0140_0017__yet,nim).

fof(formula,axiom,
    ? [R_0140_0002__I,R_0140_0006__TOWER_R_0140_0007__BRIDGE,R_0140_0004__PICTURE,R_0140_0009__HOME,R_0140_0011__WALL,R_0140_0003__HAVE,R_0140_0012__ALTHOUGH] :
      ( r_0140_0002__I(R_0140_0002__I)
      & r_0140_0006__Tower_r_0140_0007__Bridge(R_0140_0006__TOWER_R_0140_0007__BRIDGE)
      & r_0140_0009__home(R_0140_0009__HOME)
      & r_0140_0011__wall(R_0140_0011__WALL)
      & r_0140_0012__although(R_0140_0012__ALTHOUGH)
      & has_conj1(R_0140_0012__ALTHOUGH,R_0140_0015__NOT)
      & ~ ? [R_0140_0017__YET,R_0140_0014__HAVE_R_0140_0016__SEEN] :
            ( r_0140_0017__yet(R_0140_0017__YET)
            & r_0140_0014__have_r_0140_0016__seen(R_0140_0014__HAVE_R_0140_0016__SEEN)
            & has_nim(R_0140_0014__HAVE_R_0140_0016__SEEN,R_0140_0017__YET)
            & has_arg0(R_0140_0014__HAVE_R_0140_0016__SEEN,R_0140_0002__I) )
      & has_conj2(R_0140_0012__ALTHOUGH,R_0140_0003__HAVE)
      & r_0140_0003__have(R_0140_0003__HAVE)
      & has_r_0140_0010__on__nim(R_0140_0003__HAVE,R_0140_0011__WALL)
      & has_r_0140_0008__at__nim(R_0140_0003__HAVE,R_0140_0009__HOME)
      & has_arg1(R_0140_0003__HAVE,R_0140_0004__PICTURE)
      & r_0140_0004__picture(R_0140_0004__PICTURE)
      & has_r_0140_0005__of(R_0140_0004__PICTURE,R_0140_0006__TOWER_R_0140_0007__BRIDGE)
      & has_arg0(R_0140_0003__HAVE,R_0140_0002__I) ) ).