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_4 We n9_a_pantomime_6 expect n9_a_pantomime_9 to n9_a_pantomime_11 return n9_a_pantomime_14 to n9_a_pantomime_17 school n9_a_pantomime_20 at n9_a_pantomime_23 10 n9_a_pantomime_26 pm n9_a_pantomime_28 . n9_a_pantomime_1 IP-MAT n9_a_pantomime_2 NP-SBJ n9_a_pantomime_1->n9_a_pantomime_2 n9_a_pantomime_5 VBP;_Tt_ n9_a_pantomime_1->n9_a_pantomime_5 n9_a_pantomime_7 IP-INF-OB1 n9_a_pantomime_1->n9_a_pantomime_7 n9_a_pantomime_27 PUNC n9_a_pantomime_1->n9_a_pantomime_27 n9_a_pantomime_3 PRO n9_a_pantomime_2->n9_a_pantomime_3 n9_a_pantomime_3->n9_a_pantomime_4 n9_a_pantomime_5->n9_a_pantomime_6 n9_a_pantomime_8 TO n9_a_pantomime_7->n9_a_pantomime_8 n9_a_pantomime_10 VB;_Ipr_ n9_a_pantomime_7->n9_a_pantomime_10 n9_a_pantomime_12 PP-CLR n9_a_pantomime_7->n9_a_pantomime_12 n9_a_pantomime_18 PP-NIM n9_a_pantomime_7->n9_a_pantomime_18 n9_a_pantomime_8->n9_a_pantomime_9 n9_a_pantomime_10->n9_a_pantomime_11 n9_a_pantomime_13 P-ROLE n9_a_pantomime_12->n9_a_pantomime_13 n9_a_pantomime_15 NP n9_a_pantomime_12->n9_a_pantomime_15 n9_a_pantomime_13->n9_a_pantomime_14 n9_a_pantomime_16 N n9_a_pantomime_15->n9_a_pantomime_16 n9_a_pantomime_16->n9_a_pantomime_17 n9_a_pantomime_19 P-ROLE n9_a_pantomime_18->n9_a_pantomime_19 n9_a_pantomime_21 NP n9_a_pantomime_18->n9_a_pantomime_21 n9_a_pantomime_19->n9_a_pantomime_20 n9_a_pantomime_22 NUM n9_a_pantomime_21->n9_a_pantomime_22 n9_a_pantomime_24 ADVP n9_a_pantomime_21->n9_a_pantomime_24 n9_a_pantomime_22->n9_a_pantomime_23 n9_a_pantomime_25 ADV n9_a_pantomime_24->n9_a_pantomime_25 n9_a_pantomime_25->n9_a_pantomime_26 n9_a_pantomime_27->n9_a_pantomime_28 
( (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))