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 z_000_48_a_duplex_1 r_0048_0001__A_r_0048_0003__trick A trick z_000_48_a_duplex_1->r_0048_0001__A_r_0048_0003__trick [nim] r_0048_0002__nifty nifty r_0048_0001__A_r_0048_0003__trick->r_0048_0002__nifty [attrib] r_0048_0011__far far r_0048_0013__home home r_0048_0011__far->r_0048_0013__home from r_0048_0010___apos_re 're r_0048_0010___apos_re->r_0048_0011__far [prd] r_0048_0009__you you r_0048_0010___apos_re->r_0048_0009__you [arg0] r_0048_0008__if if r_0048_0008__if->z_000_48_a_duplex_1 [scope] r_0048_0008__if->r_0048_0010___apos_re [restriction] 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] 
fof(formula,axiom,
    ? [R_0048_0002__NIFTY,R_0048_0001__A_R_0048_0003__TRICK,R_0048_0006__TOURIST_R_0048_0007__HOTSPOTS,R_0048_0004__TO_R_0048_0005__AVOID] :
      ( r_0048_0002__nifty(R_0048_0002__NIFTY)
      & r_0048_0006__tourist_r_0048_0007__hotspots(R_0048_0006__TOURIST_R_0048_0007__HOTSPOTS)
      & ! [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) )
         => ? [Z_000_48_A_DUPLEX_1] :
              ( z_000_48_a_duplex_1(Z_000_48_A_DUPLEX_1)
              & has_nim2(Z_000_48_A_DUPLEX_1,R_0048_0001__A_R_0048_0003__TRICK) ) )
      & r_0048_0004__to_r_0048_0005__avoid(R_0048_0004__TO_R_0048_0005__AVOID)
      & has_arg1(R_0048_0004__TO_R_0048_0005__AVOID,R_0048_0006__TOURIST_R_0048_0007__HOTSPOTS)
      & has_arg0(R_0048_0004__TO_R_0048_0005__AVOID,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_attrib5(R_0048_0001__A_R_0048_0003__TRICK,R_0048_0002__NIFTY) ) ).


n48_a_duplex n48_a_duplex__1_1_1_1 A n48_a_duplex__1_1_2_1_1 nifty n48_a_duplex__1_1_3_1 trick n48_a_duplex__1_1_4_1_1 *T* n48_a_duplex__1_1_4_2_1 to n48_a_duplex__1_1_4_3_1 avoid n48_a_duplex__1_1_4_4_1_1 tourist n48_a_duplex__1_1_4_4_2_1 hotspots n48_a_duplex__1_2_1_1 if n48_a_duplex__1_2_2_1_1_1 you n48_a_duplex__1_2_2_2_1 're n48_a_duplex__1_2_2_3_1_1 far n48_a_duplex__1_2_2_3_2_1_1 from n48_a_duplex__1_2_2_3_2_2_1_1 home n48_a_duplex__1_3_1 . n48_a_duplex__1 FRAG n48_a_duplex__1_1 NP n48_a_duplex__1->n48_a_duplex__1_1 n48_a_duplex__1_2 PP-SCON n48_a_duplex__1->n48_a_duplex__1_2 n48_a_duplex__1_3 PUNC n48_a_duplex__1->n48_a_duplex__1_3 n48_a_duplex__1_1_1 D n48_a_duplex__1_1->n48_a_duplex__1_1_1 n48_a_duplex__1_1_2 ADJP n48_a_duplex__1_1->n48_a_duplex__1_1_2 n48_a_duplex__1_1_3 N n48_a_duplex__1_1->n48_a_duplex__1_1_3 n48_a_duplex__1_1_4 IP-INF-REL n48_a_duplex__1_1->n48_a_duplex__1_1_4 n48_a_duplex__1_1_1->n48_a_duplex__1_1_1_1 n48_a_duplex__1_1_2_1 ADJ n48_a_duplex__1_1_2->n48_a_duplex__1_1_2_1 n48_a_duplex__1_1_2_1->n48_a_duplex__1_1_2_1_1 n48_a_duplex__1_1_3->n48_a_duplex__1_1_3_1 n48_a_duplex__1_1_4_1 NP-SBJ n48_a_duplex__1_1_4->n48_a_duplex__1_1_4_1 n48_a_duplex__1_1_4_2 TO n48_a_duplex__1_1_4->n48_a_duplex__1_1_4_2 n48_a_duplex__1_1_4_3 VB;_Tn_ n48_a_duplex__1_1_4->n48_a_duplex__1_1_4_3 n48_a_duplex__1_1_4_4 NP-OB1 n48_a_duplex__1_1_4->n48_a_duplex__1_1_4_4 n48_a_duplex__1_1_4_1->n48_a_duplex__1_1_4_1_1 n48_a_duplex__1_1_4_2->n48_a_duplex__1_1_4_2_1 n48_a_duplex__1_1_4_3->n48_a_duplex__1_1_4_3_1 n48_a_duplex__1_1_4_4_1 N n48_a_duplex__1_1_4_4->n48_a_duplex__1_1_4_4_1 n48_a_duplex__1_1_4_4_2 NS n48_a_duplex__1_1_4_4->n48_a_duplex__1_1_4_4_2 n48_a_duplex__1_1_4_4_1->n48_a_duplex__1_1_4_4_1_1 n48_a_duplex__1_1_4_4_2->n48_a_duplex__1_1_4_4_2_1 n48_a_duplex__1_2_1 P-CONN n48_a_duplex__1_2->n48_a_duplex__1_2_1 n48_a_duplex__1_2_2 IP-ADV n48_a_duplex__1_2->n48_a_duplex__1_2_2 n48_a_duplex__1_2_1->n48_a_duplex__1_2_1_1 n48_a_duplex__1_2_2_1 NP-SBJ n48_a_duplex__1_2_2->n48_a_duplex__1_2_2_1 n48_a_duplex__1_2_2_2 BEP;_La_ n48_a_duplex__1_2_2->n48_a_duplex__1_2_2_2 n48_a_duplex__1_2_2_3 ADJP-PRD n48_a_duplex__1_2_2->n48_a_duplex__1_2_2_3 n48_a_duplex__1_2_2_1_1 PRO n48_a_duplex__1_2_2_1->n48_a_duplex__1_2_2_1_1 n48_a_duplex__1_2_2_1_1->n48_a_duplex__1_2_2_1_1_1 n48_a_duplex__1_2_2_2->n48_a_duplex__1_2_2_2_1 n48_a_duplex__1_2_2_3_1 ADJ n48_a_duplex__1_2_2_3->n48_a_duplex__1_2_2_3_1 n48_a_duplex__1_2_2_3_2 PP n48_a_duplex__1_2_2_3->n48_a_duplex__1_2_2_3_2 n48_a_duplex__1_2_2_3_1->n48_a_duplex__1_2_2_3_1_1 n48_a_duplex__1_2_2_3_2_1 P-ROLE n48_a_duplex__1_2_2_3_2->n48_a_duplex__1_2_2_3_2_1 n48_a_duplex__1_2_2_3_2_2 NP n48_a_duplex__1_2_2_3_2->n48_a_duplex__1_2_2_3_2_2 n48_a_duplex__1_2_2_3_2_1->n48_a_duplex__1_2_2_3_2_1_1 n48_a_duplex__1_2_2_3_2_2_1 N n48_a_duplex__1_2_2_3_2_2->n48_a_duplex__1_2_2_3_2_2_1 n48_a_duplex__1_2_2_3_2_2_1->n48_a_duplex__1_2_2_3_2_2_1_1 n48_a_duplex__1_3->n48_a_duplex__1_3_1 
( (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))