( (FRAG (NP (D A;{a})
            (ADJP (ADJ nifty;{nifty}))
            (N trick;{trick})
            (IP-INF-REL (NP-SBJ *T*)
                        (TO to;{to})
                        (VB;_Tn_ avoid;{avoid})
                        (NP-OB1 (N tourist;{tourist})
                                (NS hotspots;{hotspot}))))
        (PP-SCON (P-CONN if;{if})
                 (IP-ADV (NP-SBJ (PRO you;{you}))
                         (BEP;_La_ <apos>re;{be})
                         (ADJP-PRD (ADJ far;{far})
                                   (PP (P-ROLE from;{from})
                                       (NP (N home;{home}))))))
        (PUNC .))
  (ID 48_a_duplex))

arc(r_0048_0001__A_r_0048_0003__trick,r_0048_0002__nifty,attrib).
arc(r_0048_0005__avoid,r_0048_0001__A_r_0048_0003__trick,inv_arg0).
arc(r_0048_0005__avoid,r_0048_0006__tourist_r_0048_0007__hotspots,arg1).
arc(r_0048_0008__if,r_0048_0010___apos_re,restriction).
arc(r_0048_0008__if,z_0048_5011,scope).
arc(r_0048_0010___apos_re,r_0048_0009__you,arg0).
arc(r_0048_0010___apos_re,r_0048_0011__far,prd).
arc(r_0048_0011__far,r_0048_0013__home,r_0048_0012__from).
arc(z_0048_5011,r_0048_0001__A_r_0048_0003__trick,z_0048_5006).

fof(formula,axiom,
    ! [R_0048_0010___APOS_RE,R_0048_0009__YOU,R_0048_0013__HOME,R_0048_0011__FAR] :
      ( ( r_0048_0009__you(R_0048_0009__YOU)
        & r_0048_0013__home(R_0048_0013__HOME)
        & r_0048_0010___apos_re(R_0048_0010___APOS_RE)
        & has_prd(R_0048_0010___APOS_RE,R_0048_0011__FAR)
        & r_0048_0011__far(R_0048_0011__FAR)
        & has_r_0048_0012__from(R_0048_0011__FAR,R_0048_0013__HOME)
        & has_arg0(R_0048_0010___APOS_RE,R_0048_0009__YOU) )
     => ? [R_0048_0002__NIFTY,R_0048_0006__TOURIST_R_0048_0007__HOTSPOTS,R_0048_0005__AVOID,R_0048_0001__A_R_0048_0003__TRICK,Z_0048_5011] :
          ( r_0048_0002__nifty(R_0048_0002__NIFTY)
          & r_0048_0006__tourist_r_0048_0007__hotspots(R_0048_0006__TOURIST_R_0048_0007__HOTSPOTS)
          & z_0048_5011(Z_0048_5011)
          & has_z_0048_5006(Z_0048_5011,R_0048_0001__A_R_0048_0003__TRICK)
          & r_0048_0001__A_r_0048_0003__trick(R_0048_0001__A_R_0048_0003__TRICK)
          & has_inv_arg0(R_0048_0001__A_R_0048_0003__TRICK,R_0048_0005__AVOID)
          & r_0048_0005__avoid(R_0048_0005__AVOID)
          & has_arg1(R_0048_0005__AVOID,R_0048_0006__TOURIST_R_0048_0007__HOTSPOTS)
          & has_attrib(R_0048_0001__A_R_0048_0003__TRICK,R_0048_0002__NIFTY) ) ) ).