Context                Previous, Next                Top


7_a_maptext
If you're lucky, you may see some horses behind the fence.

n7_a_maptext n7_a_maptext__1_1_1_1 If n7_a_maptext__1_1_2_1_1_1 you n7_a_maptext__1_1_2_2_1 're n7_a_maptext__1_1_2_3_1_1 lucky n7_a_maptext__1_2_1 , n7_a_maptext__1_3_1_1 you n7_a_maptext__1_4_1 may n7_a_maptext__1_5_1_1 see n7_a_maptext__1_5_2_1_1 some n7_a_maptext__1_5_2_2_1 horses n7_a_maptext__1_5_3_1_1 behind n7_a_maptext__1_5_3_2_1_1 the n7_a_maptext__1_5_3_2_2_1 fence n7_a_maptext__1_6_1 . n7_a_maptext__1 IP-MAT n7_a_maptext__1_1 PP-SCON n7_a_maptext__1->n7_a_maptext__1_1 n7_a_maptext__1_2 PUNC n7_a_maptext__1->n7_a_maptext__1_2 n7_a_maptext__1_3 NP-SBJ n7_a_maptext__1->n7_a_maptext__1_3 n7_a_maptext__1_4 MD;_cat_Vi_ n7_a_maptext__1->n7_a_maptext__1_4 n7_a_maptext__1_5 IP-INF-CAT n7_a_maptext__1->n7_a_maptext__1_5 n7_a_maptext__1_6 PUNC n7_a_maptext__1->n7_a_maptext__1_6 n7_a_maptext__1_1_1 P-CONN n7_a_maptext__1_1->n7_a_maptext__1_1_1 n7_a_maptext__1_1_2 IP-ADV n7_a_maptext__1_1->n7_a_maptext__1_1_2 n7_a_maptext__1_1_1->n7_a_maptext__1_1_1_1 n7_a_maptext__1_1_2_1 NP-SBJ n7_a_maptext__1_1_2->n7_a_maptext__1_1_2_1 n7_a_maptext__1_1_2_2 BEP;_La_ n7_a_maptext__1_1_2->n7_a_maptext__1_1_2_2 n7_a_maptext__1_1_2_3 ADJP-PRD n7_a_maptext__1_1_2->n7_a_maptext__1_1_2_3 n7_a_maptext__1_1_2_1_1 PRO n7_a_maptext__1_1_2_1->n7_a_maptext__1_1_2_1_1 n7_a_maptext__1_1_2_1_1->n7_a_maptext__1_1_2_1_1_1 n7_a_maptext__1_1_2_2->n7_a_maptext__1_1_2_2_1 n7_a_maptext__1_1_2_3_1 ADJ n7_a_maptext__1_1_2_3->n7_a_maptext__1_1_2_3_1 n7_a_maptext__1_1_2_3_1->n7_a_maptext__1_1_2_3_1_1 n7_a_maptext__1_2->n7_a_maptext__1_2_1 n7_a_maptext__1_3_1 PRO n7_a_maptext__1_3->n7_a_maptext__1_3_1 n7_a_maptext__1_3_1->n7_a_maptext__1_3_1_1 n7_a_maptext__1_4->n7_a_maptext__1_4_1 n7_a_maptext__1_5_1 VB;_Tn_ n7_a_maptext__1_5->n7_a_maptext__1_5_1 n7_a_maptext__1_5_2 NP-OB1 n7_a_maptext__1_5->n7_a_maptext__1_5_2 n7_a_maptext__1_5_3 PP-NIM n7_a_maptext__1_5->n7_a_maptext__1_5_3 n7_a_maptext__1_5_1->n7_a_maptext__1_5_1_1 n7_a_maptext__1_5_2_1 D n7_a_maptext__1_5_2->n7_a_maptext__1_5_2_1 n7_a_maptext__1_5_2_2 NS n7_a_maptext__1_5_2->n7_a_maptext__1_5_2_2 n7_a_maptext__1_5_2_1->n7_a_maptext__1_5_2_1_1 n7_a_maptext__1_5_2_2->n7_a_maptext__1_5_2_2_1 n7_a_maptext__1_5_3_1 P-ROLE n7_a_maptext__1_5_3->n7_a_maptext__1_5_3_1 n7_a_maptext__1_5_3_2 NP n7_a_maptext__1_5_3->n7_a_maptext__1_5_3_2 n7_a_maptext__1_5_3_1->n7_a_maptext__1_5_3_1_1 n7_a_maptext__1_5_3_2_1 D n7_a_maptext__1_5_3_2->n7_a_maptext__1_5_3_2_1 n7_a_maptext__1_5_3_2_2 N n7_a_maptext__1_5_3_2->n7_a_maptext__1_5_3_2_2 n7_a_maptext__1_5_3_2_1->n7_a_maptext__1_5_3_2_1_1 n7_a_maptext__1_5_3_2_2->n7_a_maptext__1_5_3_2_2_1 n7_a_maptext__1_6->n7_a_maptext__1_6_1 
( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (BEP;_La_ <apos>re;{be})
                           (ADJP-PRD (ADJ lucky;{lucky}))))
          (PUNC ,)
          (NP-SBJ (PRO you;{you}))
          (MD;_cat_Vi_ may;{may})
          (IP-INF-CAT (VB;_Tn_ see;{see})
                      (NP-OB1 (D some;{some})
                              (NS horses;{horse}))
                      (PP-NIM (P-ROLE behind;{behind})
                              (NP;{FENCE} (D the;{the})
                                          (N fence;{fence}))))
          (PUNC .))
  (ID 7_a_maptext))


%3 r_0007_0008__see see r_0007_0012__the_r_0007_0013__fence the fence r_0007_0008__see->r_0007_0012__the_r_0007_0013__fence behind [nim] r_0007_0009__some_r_0007_0010__horses some horses r_0007_0008__see->r_0007_0009__some_r_0007_0010__horses [arg1] r_0007_0002__you you r_0007_0008__see->r_0007_0002__you [arg0] r_0007_0007__may may r_0007_0007__may->r_0007_0008__see [scope] r_0007_0003___apos_re 're r_0007_0003___apos_re->r_0007_0002__you [arg0] r_0007_0004__lucky lucky r_0007_0003___apos_re->r_0007_0004__lucky [prd] r_0007_0001__If If r_0007_0001__If->r_0007_0007__may [scope] r_0007_0001__If->r_0007_0003___apos_re [restriction] 
arc(r_0007_0001__If,r_0007_0003___apos_re,restriction).
arc(r_0007_0001__If,r_0007_0007__may,scope).
arc(r_0007_0003___apos_re,r_0007_0002__you,arg0).
arc(r_0007_0003___apos_re,r_0007_0004__lucky,prd).
arc(r_0007_0007__may,r_0007_0008__see,scope).
arc(r_0007_0008__see,r_0007_0002__you,arg0).
arc(r_0007_0008__see,r_0007_0009__some_r_0007_0010__horses,arg1).
arc(r_0007_0008__see,r_0007_0012__the_r_0007_0013__fence,r_0007_0011__behind__nim).


%3 r_0007_0001__If If r_0007_0003___apos_re 're r_0007_0001__If->r_0007_0003___apos_re [restriction] r_0007_0007__may_r_0007_0008__see may see r_0007_0001__If->r_0007_0007__may_r_0007_0008__see [scope] r_0007_0002__you you r_0007_0003___apos_re->r_0007_0002__you [arg0] r_0007_0004__lucky lucky r_0007_0003___apos_re->r_0007_0004__lucky [prd] r_0007_0007__may_r_0007_0008__see->r_0007_0002__you [arg0] r_0007_0009__some_r_0007_0010__horses some horses r_0007_0007__may_r_0007_0008__see->r_0007_0009__some_r_0007_0010__horses [arg1] r_0007_0012__the_r_0007_0013__fence the fence r_0007_0007__may_r_0007_0008__see->r_0007_0012__the_r_0007_0013__fence behind [nim] 
fof(formula,axiom,
    ! [R_0007_0003___APOS_RE,R_0007_0002__YOU,R_0007_0004__LUCKY] :
      ( ( r_0007_0002__you(R_0007_0002__YOU)
        & r_0007_0004__lucky(R_0007_0004__LUCKY)
        & r_0007_0003___apos_re(R_0007_0003___APOS_RE)
        & has_prd(R_0007_0003___APOS_RE,R_0007_0004__LUCKY)
        & has_arg0(R_0007_0003___APOS_RE,R_0007_0002__YOU) )
     => ? [R_0007_0009__SOME_R_0007_0010__HORSES,R_0007_0012__THE_R_0007_0013__FENCE,R_0007_0007__MAY_R_0007_0008__SEE] :
          ( r_0007_0009__some_r_0007_0010__horses(R_0007_0009__SOME_R_0007_0010__HORSES)
          & r_0007_0012__the_r_0007_0013__fence(R_0007_0012__THE_R_0007_0013__FENCE)
          & r_0007_0007__may_r_0007_0008__see(R_0007_0007__MAY_R_0007_0008__SEE)
          & has_r_0007_0011__behind__nim(R_0007_0007__MAY_R_0007_0008__SEE,R_0007_0012__THE_R_0007_0013__FENCE)
          & has_arg1(R_0007_0007__MAY_R_0007_0008__SEE,R_0007_0009__SOME_R_0007_0010__HORSES)
          & has_arg0(R_0007_0007__MAY_R_0007_0008__SEE,R_0007_0002__YOU) ) ) ).