Context                Previous, Next                Top


9_a_pantomime
We expect to return to school at 10 pm.

%3 r_0009_0002__expect expect r_0009_0001__We We r_0009_0002__expect->r_0009_0001__We [arg0] r_0009_0003__to_r_0009_0004__return to return r_0009_0002__expect->r_0009_0003__to_r_0009_0004__return [arg1] r_0009_0003__to_r_0009_0004__return->r_0009_0001__We [arg0] r_0009_0006__school school r_0009_0003__to_r_0009_0004__return->r_0009_0006__school to [clr] r_0009_0008__10 10 r_0009_0003__to_r_0009_0004__return->r_0009_0008__10 at [nim] r_0009_0009__pm pm r_0009_0008__10->r_0009_0009__pm [qual] 
arc(r_0009_0002__expect, r_0009_0001__We, arg0).
arc(r_0009_0002__expect, r_0009_0003__to_r_0009_0004__return, arg1).
arc(r_0009_0003__to_r_0009_0004__return, r_0009_0001__We, arg0).
arc(r_0009_0003__to_r_0009_0004__return, r_0009_0006__school, r_0009_0005__to_clr15).
arc(r_0009_0003__to_r_0009_0004__return, r_0009_0008__10, r_0009_0007__at_nim21).
arc(r_0009_0008__10, r_0009_0009__pm, qual24).


%3 r_0009_0002__expect expect r_0009_0001__We We r_0009_0002__expect->r_0009_0001__We [arg0] r_0009_0003__to_r_0009_0004__return to return r_0009_0002__expect->r_0009_0003__to_r_0009_0004__return [arg1] r_0009_0003__to_r_0009_0004__return->r_0009_0001__We [arg0] r_0009_0006__school school r_0009_0003__to_r_0009_0004__return->r_0009_0006__school to [clr] r_0009_0008__10 10 r_0009_0003__to_r_0009_0004__return->r_0009_0008__10 at [nim] r_0009_0009__pm pm r_0009_0008__10->r_0009_0009__pm [qual] 
fof(formula,axiom,
    ? [R_9_2_EXPECT,R_9_3_TO_RETURN,R_9_1_WE,R_9_6_SCHOOL,R_9_8_10,R_9_9_PM] :
      ( we(R_9_1_WE)
      & school(R_9_6_SCHOOL)
      & pm(R_9_9_PM)
      & expect(R_9_2_EXPECT,R_9_1_WE,R_9_3_TO_RETURN)
      & to_return(R_9_3_TO_RETURN,R_9_1_WE)
      & to_clr15(R_9_3_TO_RETURN,R_9_6_SCHOOL)
      & at_nim21(R_9_3_TO_RETURN,R_9_8_10)
      & 10(R_9_8_10)
      & qual24(R_9_8_10,R_9_9_PM) ) ).


n9_a_pantomime n9_a_pantomime__1_1_1_1 We n9_a_pantomime__1_2_1 expect n9_a_pantomime__1_3_1_1 to n9_a_pantomime__1_3_2_1 return n9_a_pantomime__1_3_3_1_1 to n9_a_pantomime__1_3_3_2_1_1 school n9_a_pantomime__1_3_4_1_1 at n9_a_pantomime__1_3_4_2_1_1 10 n9_a_pantomime__1_3_4_2_2_1_1 pm n9_a_pantomime__1_4_1 . n9_a_pantomime__1 IP-MAT n9_a_pantomime__1_1 NP-SBJ n9_a_pantomime__1->n9_a_pantomime__1_1 n9_a_pantomime__1_2 VBP;_Tt_ n9_a_pantomime__1->n9_a_pantomime__1_2 n9_a_pantomime__1_3 IP-INF-OB1 n9_a_pantomime__1->n9_a_pantomime__1_3 n9_a_pantomime__1_4 PUNC n9_a_pantomime__1->n9_a_pantomime__1_4 n9_a_pantomime__1_1_1 PRO n9_a_pantomime__1_1->n9_a_pantomime__1_1_1 n9_a_pantomime__1_1_1->n9_a_pantomime__1_1_1_1 n9_a_pantomime__1_2->n9_a_pantomime__1_2_1 n9_a_pantomime__1_3_1 TO n9_a_pantomime__1_3->n9_a_pantomime__1_3_1 n9_a_pantomime__1_3_2 VB;_Ipr_ n9_a_pantomime__1_3->n9_a_pantomime__1_3_2 n9_a_pantomime__1_3_3 PP-CLR n9_a_pantomime__1_3->n9_a_pantomime__1_3_3 n9_a_pantomime__1_3_4 PP-NIM n9_a_pantomime__1_3->n9_a_pantomime__1_3_4 n9_a_pantomime__1_3_1->n9_a_pantomime__1_3_1_1 n9_a_pantomime__1_3_2->n9_a_pantomime__1_3_2_1 n9_a_pantomime__1_3_3_1 P-ROLE n9_a_pantomime__1_3_3->n9_a_pantomime__1_3_3_1 n9_a_pantomime__1_3_3_2 NP n9_a_pantomime__1_3_3->n9_a_pantomime__1_3_3_2 n9_a_pantomime__1_3_3_1->n9_a_pantomime__1_3_3_1_1 n9_a_pantomime__1_3_3_2_1 N n9_a_pantomime__1_3_3_2->n9_a_pantomime__1_3_3_2_1 n9_a_pantomime__1_3_3_2_1->n9_a_pantomime__1_3_3_2_1_1 n9_a_pantomime__1_3_4_1 P-ROLE n9_a_pantomime__1_3_4->n9_a_pantomime__1_3_4_1 n9_a_pantomime__1_3_4_2 NP n9_a_pantomime__1_3_4->n9_a_pantomime__1_3_4_2 n9_a_pantomime__1_3_4_1->n9_a_pantomime__1_3_4_1_1 n9_a_pantomime__1_3_4_2_1 NUM n9_a_pantomime__1_3_4_2->n9_a_pantomime__1_3_4_2_1 n9_a_pantomime__1_3_4_2_2 ADVP n9_a_pantomime__1_3_4_2->n9_a_pantomime__1_3_4_2_2 n9_a_pantomime__1_3_4_2_1->n9_a_pantomime__1_3_4_2_1_1 n9_a_pantomime__1_3_4_2_2_1 ADV n9_a_pantomime__1_3_4_2_2->n9_a_pantomime__1_3_4_2_2_1 n9_a_pantomime__1_3_4_2_2_1->n9_a_pantomime__1_3_4_2_2_1_1 n9_a_pantomime__1_4->n9_a_pantomime__1_4_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 .))
  (ID 9_a_pantomime))