Context                Previous, Next                Top


6_a_maptext
Once you are inside the wood keep the fence on your left.

%3 r_0006_0001__Once Once r_0006_0003__are are r_0006_0001__Once->r_0006_0003__are [restriction] r_0006_0007__keep keep r_0006_0001__Once->r_0006_0007__keep [scope] r_0006_0002__you you r_0006_0003__are->r_0006_0002__you [arg0] r_0006_0005__the_r_0006_0006__wood the wood r_0006_0003__are->r_0006_0005__the_r_0006_0006__wood inside [clr] r_0006_0008__the_r_0006_0009__fence the fence r_0006_0007__keep->r_0006_0008__the_r_0006_0009__fence [arg1] r_0006_0012__left left r_0006_0007__keep->r_0006_0012__left on [nim] z_000_6_a_maptext_1 r_0006_0007__keep->z_000_6_a_maptext_1 [arg0] r_0006_0012__left->r_0006_0002__you [gen] 
arc(r_0006_0001__Once, r_0006_0003__are, restriction).
arc(r_0006_0001__Once, r_0006_0007__keep, scope).
arc(r_0006_0003__are, r_0006_0002__you, arg0).
arc(r_0006_0003__are, r_0006_0005__the_r_0006_0006__wood, r_0006_0004__inside_clr14).
arc(r_0006_0007__keep, r_0006_0008__the_r_0006_0009__fence, arg1).
arc(r_0006_0007__keep, r_0006_0012__left, r_0006_0010__on_nim29).
arc(r_0006_0007__keep, z_000_6_a_maptext_1, arg0).
arc(r_0006_0012__left, r_0006_0002__you, gen).


%3 r_0006_0012__left left r_0006_0002__you you r_0006_0012__left->r_0006_0002__you [gen] r_0006_0007__keep keep r_0006_0007__keep->r_0006_0012__left on [nim] z_000_6_a_maptext_1 r_0006_0007__keep->z_000_6_a_maptext_1 [arg0] r_0006_0008__the_r_0006_0009__fence the fence r_0006_0007__keep->r_0006_0008__the_r_0006_0009__fence [arg1] r_0006_0003__are are r_0006_0003__are->r_0006_0002__you [arg0] r_0006_0005__the_r_0006_0006__wood the wood r_0006_0003__are->r_0006_0005__the_r_0006_0006__wood inside [clr] r_0006_0001__Once Once r_0006_0001__Once->r_0006_0007__keep [conj2] r_0006_0001__Once->r_0006_0003__are [conj1] 
fof(formula,axiom,
    ? [R_0006_0002__YOU,R_0006_0005__THE_R_0006_0006__WOOD,R_0006_0003__ARE,R_0006_0008__THE_R_0006_0009__FENCE,R_0006_0012__LEFT,Z_000_6_A_MAPTEXT_1,R_0006_0007__KEEP,R_0006_0001__ONCE] :
      ( r_0006_0002__you(R_0006_0002__YOU)
      & r_0006_0005__the_r_0006_0006__wood(R_0006_0005__THE_R_0006_0006__WOOD)
      & r_0006_0008__the_r_0006_0009__fence(R_0006_0008__THE_R_0006_0009__FENCE)
      & z_000_6_a_maptext_1(Z_000_6_A_MAPTEXT_1)
      & r_0006_0001__Once(R_0006_0001__ONCE)
      & has_conj2(R_0006_0001__ONCE,R_0006_0007__KEEP)
      & r_0006_0007__keep(R_0006_0007__KEEP)
      & has_arg0(R_0006_0007__KEEP,Z_000_6_A_MAPTEXT_1)
      & has_r_0006_0010__on_nim29(R_0006_0007__KEEP,R_0006_0012__LEFT)
      & r_0006_0012__left(R_0006_0012__LEFT)
      & has_gen(R_0006_0012__LEFT,R_0006_0002__YOU)
      & has_arg1(R_0006_0007__KEEP,R_0006_0008__THE_R_0006_0009__FENCE)
      & has_conj1(R_0006_0001__ONCE,R_0006_0003__ARE)
      & r_0006_0003__are(R_0006_0003__ARE)
      & has_r_0006_0004__inside_clr14(R_0006_0003__ARE,R_0006_0005__THE_R_0006_0006__WOOD)
      & has_arg0(R_0006_0003__ARE,R_0006_0002__YOU) ) ).


n6_a_maptext n6_a_maptext__1_1_1_1 Once n6_a_maptext__1_1_2_1_1_1 you n6_a_maptext__1_1_2_2_1 are n6_a_maptext__1_1_2_3_1_1 inside n6_a_maptext__1_1_2_3_2_1_1 the n6_a_maptext__1_1_2_3_2_2_1 wood n6_a_maptext__1_2_1 keep n6_a_maptext__1_3_1_1 the n6_a_maptext__1_3_2_1 fence n6_a_maptext__1_4_1_1 on n6_a_maptext__1_4_2_1_1_1 your n6_a_maptext__1_4_2_2_1 left n6_a_maptext__1_5_1 . n6_a_maptext__1 IP-IMP n6_a_maptext__1_1 PP-SCON n6_a_maptext__1->n6_a_maptext__1_1 n6_a_maptext__1_2 VB;_Tn.pr_ n6_a_maptext__1->n6_a_maptext__1_2 n6_a_maptext__1_3 NP-OB1 n6_a_maptext__1->n6_a_maptext__1_3 n6_a_maptext__1_4 PP-NIM n6_a_maptext__1->n6_a_maptext__1_4 n6_a_maptext__1_5 PUNC n6_a_maptext__1->n6_a_maptext__1_5 n6_a_maptext__1_1_1 P-CONN n6_a_maptext__1_1->n6_a_maptext__1_1_1 n6_a_maptext__1_1_2 IP-ADV n6_a_maptext__1_1->n6_a_maptext__1_1_2 n6_a_maptext__1_1_1->n6_a_maptext__1_1_1_1 n6_a_maptext__1_1_2_1 NP-SBJ n6_a_maptext__1_1_2->n6_a_maptext__1_1_2_1 n6_a_maptext__1_1_2_2 BEP;_Ipr_ n6_a_maptext__1_1_2->n6_a_maptext__1_1_2_2 n6_a_maptext__1_1_2_3 PP-CLR n6_a_maptext__1_1_2->n6_a_maptext__1_1_2_3 n6_a_maptext__1_1_2_1_1 PRO n6_a_maptext__1_1_2_1->n6_a_maptext__1_1_2_1_1 n6_a_maptext__1_1_2_1_1->n6_a_maptext__1_1_2_1_1_1 n6_a_maptext__1_1_2_2->n6_a_maptext__1_1_2_2_1 n6_a_maptext__1_1_2_3_1 P-ROLE n6_a_maptext__1_1_2_3->n6_a_maptext__1_1_2_3_1 n6_a_maptext__1_1_2_3_2 NP n6_a_maptext__1_1_2_3->n6_a_maptext__1_1_2_3_2 n6_a_maptext__1_1_2_3_1->n6_a_maptext__1_1_2_3_1_1 n6_a_maptext__1_1_2_3_2_1 D n6_a_maptext__1_1_2_3_2->n6_a_maptext__1_1_2_3_2_1 n6_a_maptext__1_1_2_3_2_2 N n6_a_maptext__1_1_2_3_2->n6_a_maptext__1_1_2_3_2_2 n6_a_maptext__1_1_2_3_2_1->n6_a_maptext__1_1_2_3_2_1_1 n6_a_maptext__1_1_2_3_2_2->n6_a_maptext__1_1_2_3_2_2_1 n6_a_maptext__1_2->n6_a_maptext__1_2_1 n6_a_maptext__1_3_1 D n6_a_maptext__1_3->n6_a_maptext__1_3_1 n6_a_maptext__1_3_2 N n6_a_maptext__1_3->n6_a_maptext__1_3_2 n6_a_maptext__1_3_1->n6_a_maptext__1_3_1_1 n6_a_maptext__1_3_2->n6_a_maptext__1_3_2_1 n6_a_maptext__1_4_1 P-ROLE n6_a_maptext__1_4->n6_a_maptext__1_4_1 n6_a_maptext__1_4_2 NP n6_a_maptext__1_4->n6_a_maptext__1_4_2 n6_a_maptext__1_4_1->n6_a_maptext__1_4_1_1 n6_a_maptext__1_4_2_1 NP-GEN n6_a_maptext__1_4_2->n6_a_maptext__1_4_2_1 n6_a_maptext__1_4_2_2 N n6_a_maptext__1_4_2->n6_a_maptext__1_4_2_2 n6_a_maptext__1_4_2_1_1 PRO;_genm_ n6_a_maptext__1_4_2_1->n6_a_maptext__1_4_2_1_1 n6_a_maptext__1_4_2_1_1->n6_a_maptext__1_4_2_1_1_1 n6_a_maptext__1_4_2_2->n6_a_maptext__1_4_2_2_1 n6_a_maptext__1_5->n6_a_maptext__1_5_1 
( (IP-IMP (PP-SCON (P-CONN Once;{once})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (BEP;_Ipr_ are;{be[inside]})
                           (PP-CLR (P-ROLE inside;{inside})
                                   (NP;{WOOD} (D the;{the})
                                              (N wood;{wood})))))
          (VB;_Tn.pr_ keep;{keep})
          (NP-OB1;{FENCE} (D the;{the})
                          (N fence;{fence}))
          (PP-NIM (P-ROLE on;{on})
                  (NP (NP-GEN (PRO;_genm_ your;{your}))
                      (N left;{left})))
          (PUNC .))
  (ID 6_a_maptext))