Context                Previous, Next                Top


8_a_pantomime
Please ensure that you turn up on time.

%3 r_0008_0001__Please_r_0008_0002__ensure Please ensure r_0008_0003__that_r_0008_0005__turn_r_0008_0006__up that turn up r_0008_0001__Please_r_0008_0002__ensure->r_0008_0003__that_r_0008_0005__turn_r_0008_0006__up [arg1] z_000_8_a_pantomime_1 r_0008_0001__Please_r_0008_0002__ensure->z_000_8_a_pantomime_1 [arg0] r_0008_0004__you you r_0008_0003__that_r_0008_0005__turn_r_0008_0006__up->r_0008_0004__you [arg0] r_0008_0008__time time r_0008_0003__that_r_0008_0005__turn_r_0008_0006__up->r_0008_0008__time on [nim] 
arc(r_0008_0001__Please_r_0008_0002__ensure, r_0008_0003__that_r_0008_0005__turn_r_0008_0006__up, arg1).
arc(r_0008_0001__Please_r_0008_0002__ensure, z_000_8_a_pantomime_1, arg0).
arc(r_0008_0003__that_r_0008_0005__turn_r_0008_0006__up, r_0008_0004__you, arg0).
arc(r_0008_0003__that_r_0008_0005__turn_r_0008_0006__up, r_0008_0008__time, r_0008_0007__on_nim20).


%3 r_0008_0001__Please_r_0008_0002__ensure Please ensure r_0008_0003__that_r_0008_0005__turn_r_0008_0006__up that turn up r_0008_0001__Please_r_0008_0002__ensure->r_0008_0003__that_r_0008_0005__turn_r_0008_0006__up [arg1] z_000_8_a_pantomime_1 r_0008_0001__Please_r_0008_0002__ensure->z_000_8_a_pantomime_1 [arg0] r_0008_0004__you you r_0008_0003__that_r_0008_0005__turn_r_0008_0006__up->r_0008_0004__you [arg0] r_0008_0008__time time r_0008_0003__that_r_0008_0005__turn_r_0008_0006__up->r_0008_0008__time on [nim] 
fof(formula,axiom,
    ? [R_8_1_PLEASE_ENSURE,Z_8_A_PANTOMIME_1,R_8_3_THAT_TURN_UP,R_8_4_YOU,R_8_8_TIME] :
      ( you(R_8_4_YOU)
      & time(R_8_8_TIME)
      & please_ensure(R_8_1_PLEASE_ENSURE,Z_8_A_PANTOMIME_1,R_8_3_THAT_TURN_UP)
      & that_turn_up(R_8_3_THAT_TURN_UP,R_8_4_YOU)
      & on_nim20(R_8_3_THAT_TURN_UP,R_8_8_TIME) ) ).


n8_a_pantomime n8_a_pantomime__1_1_1 Please n8_a_pantomime__1_2_1 ensure n8_a_pantomime__1_3_1_1_1 that n8_a_pantomime__1_3_1_2_1_1 you n8_a_pantomime__1_3_1_3_1 turn n8_a_pantomime__1_3_1_4_1 up n8_a_pantomime__1_3_1_5_1_1 on n8_a_pantomime__1_3_1_5_2_1_1 time n8_a_pantomime__1_4_1 . n8_a_pantomime__1 IP-IMP n8_a_pantomime__1_1 FRM n8_a_pantomime__1->n8_a_pantomime__1_1 n8_a_pantomime__1_2 VB;_Tf_ n8_a_pantomime__1->n8_a_pantomime__1_2 n8_a_pantomime__1_3 CP-THT-OB1 n8_a_pantomime__1->n8_a_pantomime__1_3 n8_a_pantomime__1_4 PUNC n8_a_pantomime__1->n8_a_pantomime__1_4 n8_a_pantomime__1_1->n8_a_pantomime__1_1_1 n8_a_pantomime__1_2->n8_a_pantomime__1_2_1 n8_a_pantomime__1_3_1 IP-SUB n8_a_pantomime__1_3->n8_a_pantomime__1_3_1 n8_a_pantomime__1_3_1_1 C n8_a_pantomime__1_3_1->n8_a_pantomime__1_3_1_1 n8_a_pantomime__1_3_1_2 NP-SBJ n8_a_pantomime__1_3_1->n8_a_pantomime__1_3_1_2 n8_a_pantomime__1_3_1_3 VBP;_phr_Vp_ n8_a_pantomime__1_3_1->n8_a_pantomime__1_3_1_3 n8_a_pantomime__1_3_1_4 RP n8_a_pantomime__1_3_1->n8_a_pantomime__1_3_1_4 n8_a_pantomime__1_3_1_5 PP-NIM n8_a_pantomime__1_3_1->n8_a_pantomime__1_3_1_5 n8_a_pantomime__1_3_1_1->n8_a_pantomime__1_3_1_1_1 n8_a_pantomime__1_3_1_2_1 PRO n8_a_pantomime__1_3_1_2->n8_a_pantomime__1_3_1_2_1 n8_a_pantomime__1_3_1_2_1->n8_a_pantomime__1_3_1_2_1_1 n8_a_pantomime__1_3_1_3->n8_a_pantomime__1_3_1_3_1 n8_a_pantomime__1_3_1_4->n8_a_pantomime__1_3_1_4_1 n8_a_pantomime__1_3_1_5_1 P-ROLE n8_a_pantomime__1_3_1_5->n8_a_pantomime__1_3_1_5_1 n8_a_pantomime__1_3_1_5_2 NP n8_a_pantomime__1_3_1_5->n8_a_pantomime__1_3_1_5_2 n8_a_pantomime__1_3_1_5_1->n8_a_pantomime__1_3_1_5_1_1 n8_a_pantomime__1_3_1_5_2_1 N n8_a_pantomime__1_3_1_5_2->n8_a_pantomime__1_3_1_5_2_1 n8_a_pantomime__1_3_1_5_2_1->n8_a_pantomime__1_3_1_5_2_1_1 n8_a_pantomime__1_4->n8_a_pantomime__1_4_1 
( (IP-IMP (FRM Please)
          (VB;_Tf_ ensure;{ensure})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ (PRO you;{you}))
                              (VBP;_phr_Vp_ turn;{turn[up]})
                              (RP up;{up})
                              (PP-NIM (P-ROLE on;{on})
                                      (NP (N time;{time})))))
          (PUNC .))
  (ID 8_a_pantomime))