Context                Previous, Next                Top


72_a_wilde_2_1888
Every afternoon, when school was over, the children came and played with the Giant.

%3 r_0072_0001__Every_quant Every [quant] r_0072_0002__afternoon afternoon r_0072_0001__Every_quant->r_0072_0002__afternoon [restriction] r_0072_0004__when when r_0072_0001__Every_quant->r_0072_0004__when [scope] r_0072_0006__was was r_0072_0004__when->r_0072_0006__was [restriction] r_0072_0012__and and r_0072_0004__when->r_0072_0012__and [scope] r_0072_0005__school school r_0072_0006__was->r_0072_0005__school [arg0] r_0072_0007__over over r_0072_0006__was->r_0072_0007__over [clr] r_0072_0011__came came r_0072_0012__and->r_0072_0011__came [conj1] r_0072_0013__played played r_0072_0012__and->r_0072_0013__played [conj2] r_0072_0011__came->r_0072_0002__afternoon [nim] r_0072_0009__the_r_0072_0010__children the children r_0072_0011__came->r_0072_0009__the_r_0072_0010__children [arg0] r_0072_0013__played->r_0072_0002__afternoon [nim] r_0072_0013__played->r_0072_0009__the_r_0072_0010__children [arg0] r_0072_0015__the_r_0072_0016__Giant the Giant r_0072_0013__played->r_0072_0015__the_r_0072_0016__Giant with [nim] 
arc(r_0072_0001__Every_quant, r_0072_0002__afternoon, restriction).
arc(r_0072_0001__Every_quant, r_0072_0004__when, scope).
arc(r_0072_0004__when, r_0072_0006__was, restriction).
arc(r_0072_0004__when, r_0072_0012__and, scope).
arc(r_0072_0006__was, r_0072_0005__school, arg0).
arc(r_0072_0006__was, r_0072_0007__over, clr18).
arc(r_0072_0011__came, r_0072_0002__afternoon, nim2).
arc(r_0072_0011__came, r_0072_0009__the_r_0072_0010__children, arg0).
arc(r_0072_0012__and, r_0072_0011__came, conj1).
arc(r_0072_0012__and, r_0072_0013__played, conj2).
arc(r_0072_0013__played, r_0072_0002__afternoon, nim2).
arc(r_0072_0013__played, r_0072_0009__the_r_0072_0010__children, arg0).
arc(r_0072_0013__played, r_0072_0015__the_r_0072_0016__Giant, r_0072_0014__with_nim41).


%3 r_0072_0001__Every_quant Every [quant] r_0072_0002__afternoon afternoon r_0072_0001__Every_quant->r_0072_0002__afternoon [restriction] r_0072_0004__when when r_0072_0001__Every_quant->r_0072_0004__when [scope] r_0072_0006__was was r_0072_0004__when->r_0072_0006__was [restriction] r_0072_0012__and and r_0072_0004__when->r_0072_0012__and [scope] r_0072_0005__school school r_0072_0006__was->r_0072_0005__school [arg0] r_0072_0007__over over r_0072_0006__was->r_0072_0007__over [clr] r_0072_0011__came came r_0072_0012__and->r_0072_0011__came [conj1] r_0072_0013__played played r_0072_0012__and->r_0072_0013__played [conj2] r_0072_0011__came->r_0072_0002__afternoon [nim] r_0072_0009__the_r_0072_0010__children the children r_0072_0011__came->r_0072_0009__the_r_0072_0010__children [arg0] r_0072_0013__played->r_0072_0002__afternoon [nim] r_0072_0013__played->r_0072_0009__the_r_0072_0010__children [arg0] r_0072_0015__the_r_0072_0016__Giant the Giant r_0072_0013__played->r_0072_0015__the_r_0072_0016__Giant with [nim] 
fof(formula,axiom,
    ! [R_72_2_AFTERNOON] :
      ( afternoon(R_72_2_AFTERNOON)
     => ! [R_72_6_WAS,R_72_5_SCHOOL,R_72_7_OVER] :
          ( ( school(R_72_5_SCHOOL)
            & over(R_72_7_OVER)
            & was(R_72_6_WAS,R_72_5_SCHOOL)
            & clr18(R_72_6_WAS,R_72_7_OVER) )
         => ? [R_72_12_AND,R_72_11_CAME,R_72_13_PLAYED,R_72_9_THE_CHILDREN,R_72_15_THE_GIANT] :
              ( the_children(R_72_9_THE_CHILDREN)
              & the_Giant(R_72_15_THE_GIANT)
              & and(R_72_12_AND)
              & conj1(R_72_12_AND,R_72_11_CAME)
              & came(R_72_11_CAME,R_72_9_THE_CHILDREN)
              & nim2(R_72_11_CAME,R_72_2_AFTERNOON)
              & conj2(R_72_12_AND,R_72_13_PLAYED)
              & played(R_72_13_PLAYED,R_72_9_THE_CHILDREN)
              & nim2(R_72_13_PLAYED,R_72_2_AFTERNOON)
              & with_nim41(R_72_13_PLAYED,R_72_15_THE_GIANT) ) ) ) ).


n72_a_wilde_2_1888 n72_a_wilde_2_1888_4 Every n72_a_wilde_2_1888_6 afternoon n72_a_wilde_2_1888_8 , n72_a_wilde_2_1888_11 when n72_a_wilde_2_1888_15 school n72_a_wilde_2_1888_17 was n72_a_wilde_2_1888_20 over n72_a_wilde_2_1888_22 , n72_a_wilde_2_1888_25 the n72_a_wilde_2_1888_27 children n72_a_wilde_2_1888_31 came n72_a_wilde_2_1888_34 and n72_a_wilde_2_1888_37 played n72_a_wilde_2_1888_40 with n72_a_wilde_2_1888_43 the n72_a_wilde_2_1888_45 Giant n72_a_wilde_2_1888_47 . n72_a_wilde_2_1888_1 IP-MAT n72_a_wilde_2_1888_2 NP-NIM n72_a_wilde_2_1888_1->n72_a_wilde_2_1888_2 n72_a_wilde_2_1888_7 PUNC n72_a_wilde_2_1888_1->n72_a_wilde_2_1888_7 n72_a_wilde_2_1888_9 PP-SCON n72_a_wilde_2_1888_1->n72_a_wilde_2_1888_9 n72_a_wilde_2_1888_21 PUNC n72_a_wilde_2_1888_1->n72_a_wilde_2_1888_21 n72_a_wilde_2_1888_23 NP-SBJ n72_a_wilde_2_1888_1->n72_a_wilde_2_1888_23 n72_a_wilde_2_1888_28 ILYR n72_a_wilde_2_1888_1->n72_a_wilde_2_1888_28 n72_a_wilde_2_1888_46 PUNC n72_a_wilde_2_1888_1->n72_a_wilde_2_1888_46 n72_a_wilde_2_1888_3 Q n72_a_wilde_2_1888_2->n72_a_wilde_2_1888_3 n72_a_wilde_2_1888_5 N n72_a_wilde_2_1888_2->n72_a_wilde_2_1888_5 n72_a_wilde_2_1888_3->n72_a_wilde_2_1888_4 n72_a_wilde_2_1888_5->n72_a_wilde_2_1888_6 n72_a_wilde_2_1888_7->n72_a_wilde_2_1888_8 n72_a_wilde_2_1888_10 P-CONN n72_a_wilde_2_1888_9->n72_a_wilde_2_1888_10 n72_a_wilde_2_1888_12 IP-ADV n72_a_wilde_2_1888_9->n72_a_wilde_2_1888_12 n72_a_wilde_2_1888_10->n72_a_wilde_2_1888_11 n72_a_wilde_2_1888_13 NP-SBJ n72_a_wilde_2_1888_12->n72_a_wilde_2_1888_13 n72_a_wilde_2_1888_16 BED;__ n72_a_wilde_2_1888_12->n72_a_wilde_2_1888_16 n72_a_wilde_2_1888_18 ADVP-CLR n72_a_wilde_2_1888_12->n72_a_wilde_2_1888_18 n72_a_wilde_2_1888_14 N n72_a_wilde_2_1888_13->n72_a_wilde_2_1888_14 n72_a_wilde_2_1888_14->n72_a_wilde_2_1888_15 n72_a_wilde_2_1888_16->n72_a_wilde_2_1888_17 n72_a_wilde_2_1888_19 RP n72_a_wilde_2_1888_18->n72_a_wilde_2_1888_19 n72_a_wilde_2_1888_19->n72_a_wilde_2_1888_20 n72_a_wilde_2_1888_21->n72_a_wilde_2_1888_22 n72_a_wilde_2_1888_24 D n72_a_wilde_2_1888_23->n72_a_wilde_2_1888_24 n72_a_wilde_2_1888_26 NS n72_a_wilde_2_1888_23->n72_a_wilde_2_1888_26 n72_a_wilde_2_1888_24->n72_a_wilde_2_1888_25 n72_a_wilde_2_1888_26->n72_a_wilde_2_1888_27 n72_a_wilde_2_1888_29 ILYR n72_a_wilde_2_1888_28->n72_a_wilde_2_1888_29 n72_a_wilde_2_1888_32 CONJP n72_a_wilde_2_1888_28->n72_a_wilde_2_1888_32 n72_a_wilde_2_1888_30 VBD;_I_ n72_a_wilde_2_1888_29->n72_a_wilde_2_1888_30 n72_a_wilde_2_1888_30->n72_a_wilde_2_1888_31 n72_a_wilde_2_1888_33 CONJ n72_a_wilde_2_1888_32->n72_a_wilde_2_1888_33 n72_a_wilde_2_1888_35 ILYR n72_a_wilde_2_1888_32->n72_a_wilde_2_1888_35 n72_a_wilde_2_1888_33->n72_a_wilde_2_1888_34 n72_a_wilde_2_1888_36 VBD;_I_ n72_a_wilde_2_1888_35->n72_a_wilde_2_1888_36 n72_a_wilde_2_1888_38 PP-NIM n72_a_wilde_2_1888_35->n72_a_wilde_2_1888_38 n72_a_wilde_2_1888_36->n72_a_wilde_2_1888_37 n72_a_wilde_2_1888_39 P-ROLE n72_a_wilde_2_1888_38->n72_a_wilde_2_1888_39 n72_a_wilde_2_1888_41 NP n72_a_wilde_2_1888_38->n72_a_wilde_2_1888_41 n72_a_wilde_2_1888_39->n72_a_wilde_2_1888_40 n72_a_wilde_2_1888_42 D n72_a_wilde_2_1888_41->n72_a_wilde_2_1888_42 n72_a_wilde_2_1888_44 N n72_a_wilde_2_1888_41->n72_a_wilde_2_1888_44 n72_a_wilde_2_1888_42->n72_a_wilde_2_1888_43 n72_a_wilde_2_1888_44->n72_a_wilde_2_1888_45 n72_a_wilde_2_1888_46->n72_a_wilde_2_1888_47 
( (IP-MAT (NP-NIM (Q Every;{every})
                  (N afternoon;{afternoon}))
          (PUNC ,)
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ (N school;{school}))
                           (BED;__ was;{be})
                           (ADVP-CLR (RP over;{over}))))
          (PUNC ,)
          (NP-SBJ;{CHILDREN} (D the;{the})
                             (NS children;{child}))
          (ILYR (ILYR (VBD;_I_ came;{come}))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_I_ played;{play})
                             (PP-NIM (P-ROLE with;{with})
                                     (NP;{GIANT} (D the;{the})
                                                 (N Giant;{giant}))))))
          (PUNC .))
  (ID 72_a_wilde_2_1888))