Context                Previous, Next                Top


7_a_pantomime
We expect to return to school at 10 pm; please be there to collect your child.

%3 r_0007_0002__expect expect r_0007_0001__We We r_0007_0002__expect->r_0007_0001__We [arg0] r_0007_0003__to_r_0007_0004__return to return r_0007_0002__expect->r_0007_0003__to_r_0007_0004__return [arg1] r_0007_0003__to_r_0007_0004__return->r_0007_0001__We [arg0] r_0007_0006__school school r_0007_0003__to_r_0007_0004__return->r_0007_0006__school to [clr] r_0007_0008__10 10 r_0007_0003__to_r_0007_0004__return->r_0007_0008__10 at [nim] r_0007_0009__pm pm r_0007_0008__10->r_0007_0009__pm [qual] 
arc(r_0007_0002__expect, r_0007_0001__We, arg0).
arc(r_0007_0002__expect, r_0007_0003__to_r_0007_0004__return, arg1).
arc(r_0007_0003__to_r_0007_0004__return, r_0007_0001__We, arg0).
arc(r_0007_0003__to_r_0007_0004__return, r_0007_0006__school, r_0007_0005__to_clr15).
arc(r_0007_0003__to_r_0007_0004__return, r_0007_0008__10, r_0007_0007__at_nim21).
arc(r_0007_0008__10, r_0007_0009__pm, qual24).


%3 r_0007_0008__10 10 r_0007_0009__pm pm r_0007_0008__10->r_0007_0009__pm [qual] r_0007_0003__to_r_0007_0004__return to return r_0007_0003__to_r_0007_0004__return->r_0007_0008__10 at [nim] r_0007_0006__school school r_0007_0003__to_r_0007_0004__return->r_0007_0006__school to [clr] r_0007_0001__We We r_0007_0003__to_r_0007_0004__return->r_0007_0001__We [arg0] r_0007_0002__expect expect r_0007_0002__expect->r_0007_0003__to_r_0007_0004__return [arg1] r_0007_0002__expect->r_0007_0001__We [arg0] 
fof(formula,axiom,
    ? [R_0007_0001__WE,R_0007_0006__SCHOOL,R_0007_0009__PM,R_0007_0008__10,R_0007_0003__TO_R_0007_0004__RETURN,R_0007_0002__EXPECT] :
      ( r_0007_0001__We(R_0007_0001__WE)
      & r_0007_0006__school(R_0007_0006__SCHOOL)
      & r_0007_0009__pm(R_0007_0009__PM)
      & r_0007_0002__expect(R_0007_0002__EXPECT)
      & has_arg1(R_0007_0002__EXPECT,R_0007_0003__TO_R_0007_0004__RETURN)
      & r_0007_0003__to_r_0007_0004__return(R_0007_0003__TO_R_0007_0004__RETURN)
      & has_r_0007_0007__at_nim21(R_0007_0003__TO_R_0007_0004__RETURN,R_0007_0008__10)
      & r_0007_0008__10(R_0007_0008__10)
      & has_qual24(R_0007_0008__10,R_0007_0009__PM)
      & has_r_0007_0005__to_clr15(R_0007_0003__TO_R_0007_0004__RETURN,R_0007_0006__SCHOOL)
      & has_arg0(R_0007_0003__TO_R_0007_0004__RETURN,R_0007_0001__WE)
      & has_arg0(R_0007_0002__EXPECT,R_0007_0001__WE) ) ).


n7_a_pantomime n7_a_pantomime__1_1_1_1 We n7_a_pantomime__1_2_1 expect n7_a_pantomime__1_3_1_1 to n7_a_pantomime__1_3_2_1 return n7_a_pantomime__1_3_3_1_1 to n7_a_pantomime__1_3_3_2_1_1 school n7_a_pantomime__1_3_4_1_1 at n7_a_pantomime__1_3_4_2_1_1 10 n7_a_pantomime__1_3_4_2_2_1_1 pm n7_a_pantomime__1_4_1 ; n7_a_pantomime__1_5_1_1_1 please n7_a_pantomime__1_5_1_2_1 be n7_a_pantomime__1_5_1_3_1_1 there n7_a_pantomime__1_5_1_4_1_1_1 to n7_a_pantomime__1_5_1_4_1_2_1 collect n7_a_pantomime__1_5_1_4_1_3_1_1_1 your n7_a_pantomime__1_5_1_4_1_3_2_1 child n7_a_pantomime__1_6_1 . n7_a_pantomime__1 IP-MAT n7_a_pantomime__1_1 NP-SBJ n7_a_pantomime__1->n7_a_pantomime__1_1 n7_a_pantomime__1_2 VBP;_Tt_ n7_a_pantomime__1->n7_a_pantomime__1_2 n7_a_pantomime__1_3 IP-INF-OB1 n7_a_pantomime__1->n7_a_pantomime__1_3 n7_a_pantomime__1_4 PUNC n7_a_pantomime__1->n7_a_pantomime__1_4 n7_a_pantomime__1_5 PRN n7_a_pantomime__1->n7_a_pantomime__1_5 n7_a_pantomime__1_6 PUNC n7_a_pantomime__1->n7_a_pantomime__1_6 n7_a_pantomime__1_1_1 PRO n7_a_pantomime__1_1->n7_a_pantomime__1_1_1 n7_a_pantomime__1_1_1->n7_a_pantomime__1_1_1_1 n7_a_pantomime__1_2->n7_a_pantomime__1_2_1 n7_a_pantomime__1_3_1 TO n7_a_pantomime__1_3->n7_a_pantomime__1_3_1 n7_a_pantomime__1_3_2 VB;_Ipr_ n7_a_pantomime__1_3->n7_a_pantomime__1_3_2 n7_a_pantomime__1_3_3 PP-CLR n7_a_pantomime__1_3->n7_a_pantomime__1_3_3 n7_a_pantomime__1_3_4 PP-NIM n7_a_pantomime__1_3->n7_a_pantomime__1_3_4 n7_a_pantomime__1_3_1->n7_a_pantomime__1_3_1_1 n7_a_pantomime__1_3_2->n7_a_pantomime__1_3_2_1 n7_a_pantomime__1_3_3_1 P-ROLE n7_a_pantomime__1_3_3->n7_a_pantomime__1_3_3_1 n7_a_pantomime__1_3_3_2 NP n7_a_pantomime__1_3_3->n7_a_pantomime__1_3_3_2 n7_a_pantomime__1_3_3_1->n7_a_pantomime__1_3_3_1_1 n7_a_pantomime__1_3_3_2_1 N n7_a_pantomime__1_3_3_2->n7_a_pantomime__1_3_3_2_1 n7_a_pantomime__1_3_3_2_1->n7_a_pantomime__1_3_3_2_1_1 n7_a_pantomime__1_3_4_1 P-ROLE n7_a_pantomime__1_3_4->n7_a_pantomime__1_3_4_1 n7_a_pantomime__1_3_4_2 NP n7_a_pantomime__1_3_4->n7_a_pantomime__1_3_4_2 n7_a_pantomime__1_3_4_1->n7_a_pantomime__1_3_4_1_1 n7_a_pantomime__1_3_4_2_1 NUM n7_a_pantomime__1_3_4_2->n7_a_pantomime__1_3_4_2_1 n7_a_pantomime__1_3_4_2_2 ADVP n7_a_pantomime__1_3_4_2->n7_a_pantomime__1_3_4_2_2 n7_a_pantomime__1_3_4_2_1->n7_a_pantomime__1_3_4_2_1_1 n7_a_pantomime__1_3_4_2_2_1 ADV n7_a_pantomime__1_3_4_2_2->n7_a_pantomime__1_3_4_2_2_1 n7_a_pantomime__1_3_4_2_2_1->n7_a_pantomime__1_3_4_2_2_1_1 n7_a_pantomime__1_4->n7_a_pantomime__1_4_1 n7_a_pantomime__1_5_1 IP-IMP n7_a_pantomime__1_5->n7_a_pantomime__1_5_1 n7_a_pantomime__1_5_1_1 FRM n7_a_pantomime__1_5_1->n7_a_pantomime__1_5_1_1 n7_a_pantomime__1_5_1_2 BE;_Ip_ n7_a_pantomime__1_5_1->n7_a_pantomime__1_5_1_2 n7_a_pantomime__1_5_1_3 ADVP-CLR n7_a_pantomime__1_5_1->n7_a_pantomime__1_5_1_3 n7_a_pantomime__1_5_1_4 PP-SCON n7_a_pantomime__1_5_1->n7_a_pantomime__1_5_1_4 n7_a_pantomime__1_5_1_1->n7_a_pantomime__1_5_1_1_1 n7_a_pantomime__1_5_1_2->n7_a_pantomime__1_5_1_2_1 n7_a_pantomime__1_5_1_3_1 ADV n7_a_pantomime__1_5_1_3->n7_a_pantomime__1_5_1_3_1 n7_a_pantomime__1_5_1_3_1->n7_a_pantomime__1_5_1_3_1_1 n7_a_pantomime__1_5_1_4_1 IP-INF n7_a_pantomime__1_5_1_4->n7_a_pantomime__1_5_1_4_1 n7_a_pantomime__1_5_1_4_1_1 TO n7_a_pantomime__1_5_1_4_1->n7_a_pantomime__1_5_1_4_1_1 n7_a_pantomime__1_5_1_4_1_2 VB;_Tn_ n7_a_pantomime__1_5_1_4_1->n7_a_pantomime__1_5_1_4_1_2 n7_a_pantomime__1_5_1_4_1_3 NP-OB1 n7_a_pantomime__1_5_1_4_1->n7_a_pantomime__1_5_1_4_1_3 n7_a_pantomime__1_5_1_4_1_1->n7_a_pantomime__1_5_1_4_1_1_1 n7_a_pantomime__1_5_1_4_1_2->n7_a_pantomime__1_5_1_4_1_2_1 n7_a_pantomime__1_5_1_4_1_3_1 NP-GEN n7_a_pantomime__1_5_1_4_1_3->n7_a_pantomime__1_5_1_4_1_3_1 n7_a_pantomime__1_5_1_4_1_3_2 N n7_a_pantomime__1_5_1_4_1_3->n7_a_pantomime__1_5_1_4_1_3_2 n7_a_pantomime__1_5_1_4_1_3_1_1 PRO;_genm_ n7_a_pantomime__1_5_1_4_1_3_1->n7_a_pantomime__1_5_1_4_1_3_1_1 n7_a_pantomime__1_5_1_4_1_3_1_1->n7_a_pantomime__1_5_1_4_1_3_1_1_1 n7_a_pantomime__1_5_1_4_1_3_2->n7_a_pantomime__1_5_1_4_1_3_2_1 n7_a_pantomime__1_6->n7_a_pantomime__1_6_1 
( (IP-MAT (NP-SBJ (PRO We;{we}))
          (VBP;_Tt_ expect;{expect})
          (IP-INF-OB1 (TO to;{to})
                      (VB;_Ipr_ return;{return[to]})
                      (PP-CLR (P-ROLE to;{to})
                              (NP (N school;{school})))
                      (PP-NIM (P-ROLE at;{at})
                              (NP (NUM 10)
                                  (ADVP (ADV pm;{pm})))))
          (PUNC ;)
          (PRN (IP-IMP (FRM please)
                       (BE;_Ip_ be;{be})
                       (ADVP-CLR (ADV there;{there}))
                       (PP-SCON (IP-INF (TO to;{to})
                                        (VB;_Tn_ collect;{collect})
                                        (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                                                (N child;{child}))))))
          (PUNC .))
  (ID 7_a_pantomime))