Context                Previous, Next                Top


48_a_duplex
A nifty trick to avoid tourist hotspots if you're far from home.

%3 r_0048_0001__A_r_0048_0003__trick A trick r_0048_0002__nifty nifty r_0048_0001__A_r_0048_0003__trick->r_0048_0002__nifty [attrib] r_0048_0004__to_r_0048_0005__avoid to avoid r_0048_0004__to_r_0048_0005__avoid->r_0048_0001__A_r_0048_0003__trick [arg0] r_0048_0006__tourist_r_0048_0007__hotspots tourist hotspots r_0048_0004__to_r_0048_0005__avoid->r_0048_0006__tourist_r_0048_0007__hotspots [arg1] r_0048_0008__if if r_0048_0010___apos_re 're r_0048_0008__if->r_0048_0010___apos_re [restriction] z_000_48_a_duplex_1 r_0048_0008__if->z_000_48_a_duplex_1 [scope] r_0048_0009__you you r_0048_0010___apos_re->r_0048_0009__you [arg0] r_0048_0011__far far r_0048_0010___apos_re->r_0048_0011__far [prd] z_000_48_a_duplex_1->r_0048_0001__A_r_0048_0003__trick [nim] r_0048_0013__home home r_0048_0011__far->r_0048_0013__home from 
arc(r_0048_0001__A_r_0048_0003__trick, r_0048_0002__nifty, attrib5).
arc(r_0048_0004__to_r_0048_0005__avoid, r_0048_0001__A_r_0048_0003__trick, arg0).
arc(r_0048_0004__to_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_000_48_a_duplex_1, 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_000_48_a_duplex_1, r_0048_0001__A_r_0048_0003__trick, nim2).


%3 r_0048_0001__A_r_0048_0003__trick A trick r_0048_0002__nifty nifty r_0048_0001__A_r_0048_0003__trick->r_0048_0002__nifty [attrib] r_0048_0004__to_r_0048_0005__avoid to avoid r_0048_0004__to_r_0048_0005__avoid->r_0048_0001__A_r_0048_0003__trick [arg0] r_0048_0006__tourist_r_0048_0007__hotspots tourist hotspots r_0048_0004__to_r_0048_0005__avoid->r_0048_0006__tourist_r_0048_0007__hotspots [arg1] r_0048_0008__if if r_0048_0010___apos_re 're r_0048_0008__if->r_0048_0010___apos_re [restriction] z_000_48_a_duplex_1 r_0048_0008__if->z_000_48_a_duplex_1 [scope] r_0048_0009__you you r_0048_0010___apos_re->r_0048_0009__you [arg0] r_0048_0011__far far r_0048_0010___apos_re->r_0048_0011__far [prd] z_000_48_a_duplex_1->r_0048_0001__A_r_0048_0003__trick [nim] r_0048_0013__home home r_0048_0011__far->r_0048_0013__home from 
fof(formula,axiom,
    ? [R_48_4_TO_AVOID,R_48_1_A_TRICK,R_48_2_NIFTY,R_48_6_TOURIST_HOTSPOTS] :
      ( nifty(R_48_2_NIFTY)
      & tourist_hotspots(R_48_6_TOURIST_HOTSPOTS)
      & to_avoid(R_48_4_TO_AVOID,R_48_1_A_TRICK,R_48_6_TOURIST_HOTSPOTS)
      & a_trick(R_48_1_A_TRICK)
      & attrib5(R_48_1_A_TRICK,R_48_2_NIFTY)
      & ! [R_48_10__APOS_RE,R_48_9_YOU,R_48_11_FAR,R_48_13_HOME] :
          ( ( you(R_48_9_YOU)
            & home(R_48_13_HOME)
            & _apos_re(R_48_10__APOS_RE,R_48_9_YOU,R_48_11_FAR)
            & far(R_48_11_FAR)
            & from(R_48_11_FAR,R_48_13_HOME) )
         => ? [Z_48_A_DUPLEX_1] :
              ( z_48_a_duplex_1(Z_48_A_DUPLEX_1)
              & nim2(Z_48_A_DUPLEX_1,R_48_1_A_TRICK) ) ) ) ).


n48_a_duplex n48_a_duplex_4 A n48_a_duplex_7 nifty n48_a_duplex_9 trick n48_a_duplex_12 *T* n48_a_duplex_14 to n48_a_duplex_16 avoid n48_a_duplex_19 tourist n48_a_duplex_21 hotspots n48_a_duplex_24 if n48_a_duplex_28 you n48_a_duplex_30 're n48_a_duplex_33 far n48_a_duplex_36 from n48_a_duplex_39 home n48_a_duplex_41 . n48_a_duplex_1 FRAG n48_a_duplex_2 NP n48_a_duplex_1->n48_a_duplex_2 n48_a_duplex_22 PP-SCON n48_a_duplex_1->n48_a_duplex_22 n48_a_duplex_40 PUNC n48_a_duplex_1->n48_a_duplex_40 n48_a_duplex_3 D n48_a_duplex_2->n48_a_duplex_3 n48_a_duplex_5 ADJP n48_a_duplex_2->n48_a_duplex_5 n48_a_duplex_8 N n48_a_duplex_2->n48_a_duplex_8 n48_a_duplex_10 IP-INF-REL n48_a_duplex_2->n48_a_duplex_10 n48_a_duplex_3->n48_a_duplex_4 n48_a_duplex_6 ADJ n48_a_duplex_5->n48_a_duplex_6 n48_a_duplex_6->n48_a_duplex_7 n48_a_duplex_8->n48_a_duplex_9 n48_a_duplex_11 NP-SBJ n48_a_duplex_10->n48_a_duplex_11 n48_a_duplex_13 TO n48_a_duplex_10->n48_a_duplex_13 n48_a_duplex_15 VB;_Tn_ n48_a_duplex_10->n48_a_duplex_15 n48_a_duplex_17 NP-OB1 n48_a_duplex_10->n48_a_duplex_17 n48_a_duplex_11->n48_a_duplex_12 n48_a_duplex_13->n48_a_duplex_14 n48_a_duplex_15->n48_a_duplex_16 n48_a_duplex_18 N n48_a_duplex_17->n48_a_duplex_18 n48_a_duplex_20 NS n48_a_duplex_17->n48_a_duplex_20 n48_a_duplex_18->n48_a_duplex_19 n48_a_duplex_20->n48_a_duplex_21 n48_a_duplex_23 P-CONN n48_a_duplex_22->n48_a_duplex_23 n48_a_duplex_25 IP-ADV n48_a_duplex_22->n48_a_duplex_25 n48_a_duplex_23->n48_a_duplex_24 n48_a_duplex_26 NP-SBJ n48_a_duplex_25->n48_a_duplex_26 n48_a_duplex_29 BEP;_La_ n48_a_duplex_25->n48_a_duplex_29 n48_a_duplex_31 ADJP-PRD n48_a_duplex_25->n48_a_duplex_31 n48_a_duplex_27 PRO n48_a_duplex_26->n48_a_duplex_27 n48_a_duplex_27->n48_a_duplex_28 n48_a_duplex_29->n48_a_duplex_30 n48_a_duplex_32 ADJ n48_a_duplex_31->n48_a_duplex_32 n48_a_duplex_34 PP n48_a_duplex_31->n48_a_duplex_34 n48_a_duplex_32->n48_a_duplex_33 n48_a_duplex_35 P-ROLE n48_a_duplex_34->n48_a_duplex_35 n48_a_duplex_37 NP n48_a_duplex_34->n48_a_duplex_37 n48_a_duplex_35->n48_a_duplex_36 n48_a_duplex_38 N n48_a_duplex_37->n48_a_duplex_38 n48_a_duplex_38->n48_a_duplex_39 n48_a_duplex_40->n48_a_duplex_41 
( (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))