Context                Previous, Next                Top


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

%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 may r_0007_0001__If->r_0007_0007__may [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_0008__see see r_0007_0007__may->r_0007_0008__see [scope] r_0007_0008__see->r_0007_0002__you [arg0] 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_0012__the_r_0007_0013__fence the fence r_0007_0008__see->r_0007_0012__the_r_0007_0013__fence behind [nim] 
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_nim32).


%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_7_3__APOS_RE,R_7_2_YOU,R_7_4_LUCKY] :
      ( ( you(R_7_2_YOU)
        & lucky(R_7_4_LUCKY)
        & _apos_re(R_7_3__APOS_RE,R_7_2_YOU,R_7_4_LUCKY) )
     => ? [R_7_7_MAY_SEE,R_7_9_SOME_HORSES,R_7_12_THE_FENCE] :
          ( some_horses(R_7_9_SOME_HORSES)
          & the_fence(R_7_12_THE_FENCE)
          & may_see(R_7_7_MAY_SEE,R_7_2_YOU,R_7_9_SOME_HORSES)
          & behind_nim32(R_7_7_MAY_SEE,R_7_12_THE_FENCE) ) ) ).


n7_a_maptext n7_a_maptext_4 If n7_a_maptext_8 you n7_a_maptext_10 're n7_a_maptext_13 lucky n7_a_maptext_15 , n7_a_maptext_18 you n7_a_maptext_20 may n7_a_maptext_23 see n7_a_maptext_26 some n7_a_maptext_28 horses n7_a_maptext_31 behind n7_a_maptext_34 the n7_a_maptext_36 fence n7_a_maptext_38 . n7_a_maptext_1 IP-MAT n7_a_maptext_2 PP-SCON n7_a_maptext_1->n7_a_maptext_2 n7_a_maptext_14 PUNC n7_a_maptext_1->n7_a_maptext_14 n7_a_maptext_16 NP-SBJ n7_a_maptext_1->n7_a_maptext_16 n7_a_maptext_19 MD;_cat_Vi_ n7_a_maptext_1->n7_a_maptext_19 n7_a_maptext_21 IP-INF-CAT n7_a_maptext_1->n7_a_maptext_21 n7_a_maptext_37 PUNC n7_a_maptext_1->n7_a_maptext_37 n7_a_maptext_3 P-CONN n7_a_maptext_2->n7_a_maptext_3 n7_a_maptext_5 IP-ADV n7_a_maptext_2->n7_a_maptext_5 n7_a_maptext_3->n7_a_maptext_4 n7_a_maptext_6 NP-SBJ n7_a_maptext_5->n7_a_maptext_6 n7_a_maptext_9 BEP;_La_ n7_a_maptext_5->n7_a_maptext_9 n7_a_maptext_11 ADJP-PRD n7_a_maptext_5->n7_a_maptext_11 n7_a_maptext_7 PRO n7_a_maptext_6->n7_a_maptext_7 n7_a_maptext_7->n7_a_maptext_8 n7_a_maptext_9->n7_a_maptext_10 n7_a_maptext_12 ADJ n7_a_maptext_11->n7_a_maptext_12 n7_a_maptext_12->n7_a_maptext_13 n7_a_maptext_14->n7_a_maptext_15 n7_a_maptext_17 PRO n7_a_maptext_16->n7_a_maptext_17 n7_a_maptext_17->n7_a_maptext_18 n7_a_maptext_19->n7_a_maptext_20 n7_a_maptext_22 VB;_Tn_ n7_a_maptext_21->n7_a_maptext_22 n7_a_maptext_24 NP-OB1 n7_a_maptext_21->n7_a_maptext_24 n7_a_maptext_29 PP-NIM n7_a_maptext_21->n7_a_maptext_29 n7_a_maptext_22->n7_a_maptext_23 n7_a_maptext_25 D n7_a_maptext_24->n7_a_maptext_25 n7_a_maptext_27 NS n7_a_maptext_24->n7_a_maptext_27 n7_a_maptext_25->n7_a_maptext_26 n7_a_maptext_27->n7_a_maptext_28 n7_a_maptext_30 P-ROLE n7_a_maptext_29->n7_a_maptext_30 n7_a_maptext_32 NP n7_a_maptext_29->n7_a_maptext_32 n7_a_maptext_30->n7_a_maptext_31 n7_a_maptext_33 D n7_a_maptext_32->n7_a_maptext_33 n7_a_maptext_35 N n7_a_maptext_32->n7_a_maptext_35 n7_a_maptext_33->n7_a_maptext_34 n7_a_maptext_35->n7_a_maptext_36 n7_a_maptext_37->n7_a_maptext_38 
( (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))