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_0013__played played r_0072_0015__the_r_0072_0016__Giant the Giant r_0072_0013__played->r_0072_0015__the_r_0072_0016__Giant with [nim] r_0072_0009__the_r_0072_0010__children the children r_0072_0013__played->r_0072_0009__the_r_0072_0010__children [arg0] r_0072_0002__afternoon afternoon r_0072_0013__played->r_0072_0002__afternoon [nim] r_0072_0012__and and r_0072_0012__and->r_0072_0013__played [conj2] r_0072_0011__came came r_0072_0012__and->r_0072_0011__came [conj1] r_0072_0011__came->r_0072_0009__the_r_0072_0010__children [arg0] r_0072_0011__came->r_0072_0002__afternoon [nim] r_0072_0006__was was r_0072_0007__over over r_0072_0006__was->r_0072_0007__over [clr] r_0072_0005__school school r_0072_0006__was->r_0072_0005__school [arg0] r_0072_0004__when when r_0072_0004__when->r_0072_0012__and [scope] r_0072_0004__when->r_0072_0006__was [restriction] r_0072_0001__Every_quant Every [quant] r_0072_0001__Every_quant->r_0072_0002__afternoon [restriction] r_0072_0001__Every_quant->r_0072_0004__when [scope] 
fof(formula,axiom,
    ! [R_0072_0002__AFTERNOON] :
      ( r_0072_0002__afternoon(R_0072_0002__AFTERNOON)
     => ! [R_0072_0006__WAS,R_0072_0005__SCHOOL,R_0072_0007__OVER] :
          ( ( r_0072_0005__school(R_0072_0005__SCHOOL)
            & r_0072_0007__over(R_0072_0007__OVER)
            & r_0072_0006__was(R_0072_0006__WAS)
            & has_clr18(R_0072_0006__WAS,R_0072_0007__OVER)
            & has_arg0(R_0072_0006__WAS,R_0072_0005__SCHOOL) )
         => ? [R_0072_0009__THE_R_0072_0010__CHILDREN,R_0072_0011__CAME,R_0072_0015__THE_R_0072_0016__GIANT,R_0072_0013__PLAYED,R_0072_0012__AND] :
              ( r_0072_0009__the_r_0072_0010__children(R_0072_0009__THE_R_0072_0010__CHILDREN)
              & r_0072_0015__the_r_0072_0016__Giant(R_0072_0015__THE_R_0072_0016__GIANT)
              & r_0072_0012__and(R_0072_0012__AND)
              & has_conj2(R_0072_0012__AND,R_0072_0013__PLAYED)
              & r_0072_0013__played(R_0072_0013__PLAYED)
              & has_r_0072_0014__with_nim41(R_0072_0013__PLAYED,R_0072_0015__THE_R_0072_0016__GIANT)
              & has_arg0(R_0072_0013__PLAYED,R_0072_0009__THE_R_0072_0010__CHILDREN)
              & has_nim2(R_0072_0013__PLAYED,R_0072_0002__AFTERNOON)
              & has_conj1(R_0072_0012__AND,R_0072_0011__CAME)
              & r_0072_0011__came(R_0072_0011__CAME)
              & has_arg0(R_0072_0011__CAME,R_0072_0009__THE_R_0072_0010__CHILDREN)
              & has_nim2(R_0072_0011__CAME,R_0072_0002__AFTERNOON) ) ) ) ).


n72_a_wilde_2_1888 n72_a_wilde_2_1888__1_1_1_1 Every n72_a_wilde_2_1888__1_1_2_1 afternoon n72_a_wilde_2_1888__1_2_1 , n72_a_wilde_2_1888__1_3_1_1 when n72_a_wilde_2_1888__1_3_2_1_1_1 school n72_a_wilde_2_1888__1_3_2_2_1 was n72_a_wilde_2_1888__1_3_2_3_1_1 over n72_a_wilde_2_1888__1_4_1 , n72_a_wilde_2_1888__1_5_1_1 the n72_a_wilde_2_1888__1_5_2_1 children n72_a_wilde_2_1888__1_6_1_1_1 came n72_a_wilde_2_1888__1_6_2_1_1 and n72_a_wilde_2_1888__1_6_2_2_1_1 played n72_a_wilde_2_1888__1_6_2_2_2_1_1 with n72_a_wilde_2_1888__1_6_2_2_2_2_1_1 the n72_a_wilde_2_1888__1_6_2_2_2_2_2_1 Giant n72_a_wilde_2_1888__1_7_1 . n72_a_wilde_2_1888__1 IP-MAT n72_a_wilde_2_1888__1_1 NP-NIM n72_a_wilde_2_1888__1->n72_a_wilde_2_1888__1_1 n72_a_wilde_2_1888__1_2 PUNC n72_a_wilde_2_1888__1->n72_a_wilde_2_1888__1_2 n72_a_wilde_2_1888__1_3 PP-SCON n72_a_wilde_2_1888__1->n72_a_wilde_2_1888__1_3 n72_a_wilde_2_1888__1_4 PUNC n72_a_wilde_2_1888__1->n72_a_wilde_2_1888__1_4 n72_a_wilde_2_1888__1_5 NP-SBJ n72_a_wilde_2_1888__1->n72_a_wilde_2_1888__1_5 n72_a_wilde_2_1888__1_6 ILYR n72_a_wilde_2_1888__1->n72_a_wilde_2_1888__1_6 n72_a_wilde_2_1888__1_7 PUNC n72_a_wilde_2_1888__1->n72_a_wilde_2_1888__1_7 n72_a_wilde_2_1888__1_1_1 Q n72_a_wilde_2_1888__1_1->n72_a_wilde_2_1888__1_1_1 n72_a_wilde_2_1888__1_1_2 N n72_a_wilde_2_1888__1_1->n72_a_wilde_2_1888__1_1_2 n72_a_wilde_2_1888__1_1_1->n72_a_wilde_2_1888__1_1_1_1 n72_a_wilde_2_1888__1_1_2->n72_a_wilde_2_1888__1_1_2_1 n72_a_wilde_2_1888__1_2->n72_a_wilde_2_1888__1_2_1 n72_a_wilde_2_1888__1_3_1 P-CONN n72_a_wilde_2_1888__1_3->n72_a_wilde_2_1888__1_3_1 n72_a_wilde_2_1888__1_3_2 IP-ADV n72_a_wilde_2_1888__1_3->n72_a_wilde_2_1888__1_3_2 n72_a_wilde_2_1888__1_3_1->n72_a_wilde_2_1888__1_3_1_1 n72_a_wilde_2_1888__1_3_2_1 NP-SBJ n72_a_wilde_2_1888__1_3_2->n72_a_wilde_2_1888__1_3_2_1 n72_a_wilde_2_1888__1_3_2_2 BED;__ n72_a_wilde_2_1888__1_3_2->n72_a_wilde_2_1888__1_3_2_2 n72_a_wilde_2_1888__1_3_2_3 ADVP-CLR n72_a_wilde_2_1888__1_3_2->n72_a_wilde_2_1888__1_3_2_3 n72_a_wilde_2_1888__1_3_2_1_1 N n72_a_wilde_2_1888__1_3_2_1->n72_a_wilde_2_1888__1_3_2_1_1 n72_a_wilde_2_1888__1_3_2_1_1->n72_a_wilde_2_1888__1_3_2_1_1_1 n72_a_wilde_2_1888__1_3_2_2->n72_a_wilde_2_1888__1_3_2_2_1 n72_a_wilde_2_1888__1_3_2_3_1 RP n72_a_wilde_2_1888__1_3_2_3->n72_a_wilde_2_1888__1_3_2_3_1 n72_a_wilde_2_1888__1_3_2_3_1->n72_a_wilde_2_1888__1_3_2_3_1_1 n72_a_wilde_2_1888__1_4->n72_a_wilde_2_1888__1_4_1 n72_a_wilde_2_1888__1_5_1 D n72_a_wilde_2_1888__1_5->n72_a_wilde_2_1888__1_5_1 n72_a_wilde_2_1888__1_5_2 NS n72_a_wilde_2_1888__1_5->n72_a_wilde_2_1888__1_5_2 n72_a_wilde_2_1888__1_5_1->n72_a_wilde_2_1888__1_5_1_1 n72_a_wilde_2_1888__1_5_2->n72_a_wilde_2_1888__1_5_2_1 n72_a_wilde_2_1888__1_6_1 ILYR n72_a_wilde_2_1888__1_6->n72_a_wilde_2_1888__1_6_1 n72_a_wilde_2_1888__1_6_2 CONJP n72_a_wilde_2_1888__1_6->n72_a_wilde_2_1888__1_6_2 n72_a_wilde_2_1888__1_6_1_1 VBD;_I_ n72_a_wilde_2_1888__1_6_1->n72_a_wilde_2_1888__1_6_1_1 n72_a_wilde_2_1888__1_6_1_1->n72_a_wilde_2_1888__1_6_1_1_1 n72_a_wilde_2_1888__1_6_2_1 CONJ n72_a_wilde_2_1888__1_6_2->n72_a_wilde_2_1888__1_6_2_1 n72_a_wilde_2_1888__1_6_2_2 ILYR n72_a_wilde_2_1888__1_6_2->n72_a_wilde_2_1888__1_6_2_2 n72_a_wilde_2_1888__1_6_2_1->n72_a_wilde_2_1888__1_6_2_1_1 n72_a_wilde_2_1888__1_6_2_2_1 VBD;_I_ n72_a_wilde_2_1888__1_6_2_2->n72_a_wilde_2_1888__1_6_2_2_1 n72_a_wilde_2_1888__1_6_2_2_2 PP-NIM n72_a_wilde_2_1888__1_6_2_2->n72_a_wilde_2_1888__1_6_2_2_2 n72_a_wilde_2_1888__1_6_2_2_1->n72_a_wilde_2_1888__1_6_2_2_1_1 n72_a_wilde_2_1888__1_6_2_2_2_1 P-ROLE n72_a_wilde_2_1888__1_6_2_2_2->n72_a_wilde_2_1888__1_6_2_2_2_1 n72_a_wilde_2_1888__1_6_2_2_2_2 NP n72_a_wilde_2_1888__1_6_2_2_2->n72_a_wilde_2_1888__1_6_2_2_2_2 n72_a_wilde_2_1888__1_6_2_2_2_1->n72_a_wilde_2_1888__1_6_2_2_2_1_1 n72_a_wilde_2_1888__1_6_2_2_2_2_1 D n72_a_wilde_2_1888__1_6_2_2_2_2->n72_a_wilde_2_1888__1_6_2_2_2_2_1 n72_a_wilde_2_1888__1_6_2_2_2_2_2 N n72_a_wilde_2_1888__1_6_2_2_2_2->n72_a_wilde_2_1888__1_6_2_2_2_2_2 n72_a_wilde_2_1888__1_6_2_2_2_2_1->n72_a_wilde_2_1888__1_6_2_2_2_2_1_1 n72_a_wilde_2_1888__1_6_2_2_2_2_2->n72_a_wilde_2_1888__1_6_2_2_2_2_2_1 n72_a_wilde_2_1888__1_7->n72_a_wilde_2_1888__1_7_1 
( (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))