Context                Previous, Next                Top


54_a_potter_1902
‘One table - spoonful to be taken at bed - time.’

%3 r_0054_0006__to_r_0054_0007__be to be r_0054_0008__taken taken r_0054_0006__to_r_0054_0007__be->r_0054_0008__taken [scope] r_0054_0002__One_r_0054_0003__table_r_0054_0005__spoonful One table spoonful r_0054_0008__taken->r_0054_0002__One_r_0054_0003__table_r_0054_0005__spoonful [arg1] r_0054_0010__bed_r_0054_0012__time bed time r_0054_0008__taken->r_0054_0010__bed_r_0054_0012__time at [nim] z_000_54_a_potter_1902_21 r_0054_0008__taken->z_000_54_a_potter_1902_21 [arg0] z_000_54_a_potter_1902_1 z_000_54_a_potter_1902_1->r_0054_0002__One_r_0054_0003__table_r_0054_0005__spoonful [nim] 
arc(r_0054_0006__to_r_0054_0007__be, r_0054_0008__taken, scope).
arc(r_0054_0008__taken, r_0054_0002__One_r_0054_0003__table_r_0054_0005__spoonful, arg1).
arc(r_0054_0008__taken, r_0054_0010__bed_r_0054_0012__time, r_0054_0009__at_nim28).
arc(r_0054_0008__taken, z_000_54_a_potter_1902_21, arg0).
arc(z_000_54_a_potter_1902_1, r_0054_0002__One_r_0054_0003__table_r_0054_0005__spoonful, nim4).


%3 z_000_54_a_potter_1902_1 r_0054_0002__One_r_0054_0003__table_r_0054_0005__spoonful One table spoonful z_000_54_a_potter_1902_1->r_0054_0002__One_r_0054_0003__table_r_0054_0005__spoonful [nim] r_0054_0006__to_r_0054_0007__be_r_0054_0008__taken to be taken r_0054_0006__to_r_0054_0007__be_r_0054_0008__taken->r_0054_0002__One_r_0054_0003__table_r_0054_0005__spoonful [arg1] z_000_54_a_potter_1902_21 r_0054_0006__to_r_0054_0007__be_r_0054_0008__taken->z_000_54_a_potter_1902_21 [arg0] r_0054_0010__bed_r_0054_0012__time bed time r_0054_0006__to_r_0054_0007__be_r_0054_0008__taken->r_0054_0010__bed_r_0054_0012__time at [nim] 
fof(formula,axiom,
    ? [R_54_6_TO_BE_TAKEN,Z_54_A_POTTER_1902_21,R_54_10_BED_TIME,Z_54_A_POTTER_1902_1,R_54_2_ONE_TABLE_SPOONFUL] :
      ( bed_time(R_54_10_BED_TIME)
      & one_table_spoonful(R_54_2_ONE_TABLE_SPOONFUL)
      & to_be_taken(R_54_6_TO_BE_TAKEN,Z_54_A_POTTER_1902_21,R_54_2_ONE_TABLE_SPOONFUL)
      & at_nim28(R_54_6_TO_BE_TAKEN,R_54_10_BED_TIME)
      & z_54_a_potter_1902_1(Z_54_A_POTTER_1902_1)
      & nim4(Z_54_A_POTTER_1902_1,R_54_2_ONE_TABLE_SPOONFUL) ) ).


n54_a_potter_1902 n54_a_potter_1902__1_1_1 <lquo> n54_a_potter_1902__1_2_1_1 One n54_a_potter_1902__1_2_2_1 table n54_a_potter_1902__1_2_3_1 - n54_a_potter_1902__1_2_4_1 spoonful n54_a_potter_1902__1_2_5_1_1 *T* n54_a_potter_1902__1_2_5_2_1 to n54_a_potter_1902__1_2_5_3_1 be n54_a_potter_1902__1_2_5_4_1_1 * n54_a_potter_1902__1_2_5_4_2_1 taken n54_a_potter_1902__1_2_5_4_3_1_1 at n54_a_potter_1902__1_2_5_4_3_2_1_1 bed n54_a_potter_1902__1_2_5_4_3_2_2_1 - n54_a_potter_1902__1_2_5_4_3_2_3_1 time n54_a_potter_1902__1_3_1 . n54_a_potter_1902__1_4_1 <rquo> n54_a_potter_1902__1 FRAG n54_a_potter_1902__1_1 PULQ n54_a_potter_1902__1->n54_a_potter_1902__1_1 n54_a_potter_1902__1_2 NP n54_a_potter_1902__1->n54_a_potter_1902__1_2 n54_a_potter_1902__1_3 PUNC n54_a_potter_1902__1->n54_a_potter_1902__1_3 n54_a_potter_1902__1_4 PURQ n54_a_potter_1902__1->n54_a_potter_1902__1_4 n54_a_potter_1902__1_1->n54_a_potter_1902__1_1_1 n54_a_potter_1902__1_2_1 D n54_a_potter_1902__1_2->n54_a_potter_1902__1_2_1 n54_a_potter_1902__1_2_2 N n54_a_potter_1902__1_2->n54_a_potter_1902__1_2_2 n54_a_potter_1902__1_2_3 PUNC n54_a_potter_1902__1_2->n54_a_potter_1902__1_2_3 n54_a_potter_1902__1_2_4 N n54_a_potter_1902__1_2->n54_a_potter_1902__1_2_4 n54_a_potter_1902__1_2_5 IP-INF-REL n54_a_potter_1902__1_2->n54_a_potter_1902__1_2_5 n54_a_potter_1902__1_2_1->n54_a_potter_1902__1_2_1_1 n54_a_potter_1902__1_2_2->n54_a_potter_1902__1_2_2_1 n54_a_potter_1902__1_2_3->n54_a_potter_1902__1_2_3_1 n54_a_potter_1902__1_2_4->n54_a_potter_1902__1_2_4_1 n54_a_potter_1902__1_2_5_1 NP-SBJ n54_a_potter_1902__1_2_5->n54_a_potter_1902__1_2_5_1 n54_a_potter_1902__1_2_5_2 TO n54_a_potter_1902__1_2_5->n54_a_potter_1902__1_2_5_2 n54_a_potter_1902__1_2_5_3 BE;_cat_VePASS_ n54_a_potter_1902__1_2_5->n54_a_potter_1902__1_2_5_3 n54_a_potter_1902__1_2_5_4 IP-PPL-CAT n54_a_potter_1902__1_2_5->n54_a_potter_1902__1_2_5_4 n54_a_potter_1902__1_2_5_1->n54_a_potter_1902__1_2_5_1_1 n54_a_potter_1902__1_2_5_2->n54_a_potter_1902__1_2_5_2_1 n54_a_potter_1902__1_2_5_3->n54_a_potter_1902__1_2_5_3_1 n54_a_potter_1902__1_2_5_4_1 NP-LGS n54_a_potter_1902__1_2_5_4->n54_a_potter_1902__1_2_5_4_1 n54_a_potter_1902__1_2_5_4_2 VVN;_Tn_ n54_a_potter_1902__1_2_5_4->n54_a_potter_1902__1_2_5_4_2 n54_a_potter_1902__1_2_5_4_3 PP-NIM n54_a_potter_1902__1_2_5_4->n54_a_potter_1902__1_2_5_4_3 n54_a_potter_1902__1_2_5_4_1->n54_a_potter_1902__1_2_5_4_1_1 n54_a_potter_1902__1_2_5_4_2->n54_a_potter_1902__1_2_5_4_2_1 n54_a_potter_1902__1_2_5_4_3_1 P-ROLE n54_a_potter_1902__1_2_5_4_3->n54_a_potter_1902__1_2_5_4_3_1 n54_a_potter_1902__1_2_5_4_3_2 NP n54_a_potter_1902__1_2_5_4_3->n54_a_potter_1902__1_2_5_4_3_2 n54_a_potter_1902__1_2_5_4_3_1->n54_a_potter_1902__1_2_5_4_3_1_1 n54_a_potter_1902__1_2_5_4_3_2_1 N n54_a_potter_1902__1_2_5_4_3_2->n54_a_potter_1902__1_2_5_4_3_2_1 n54_a_potter_1902__1_2_5_4_3_2_2 PUNC n54_a_potter_1902__1_2_5_4_3_2->n54_a_potter_1902__1_2_5_4_3_2_2 n54_a_potter_1902__1_2_5_4_3_2_3 N n54_a_potter_1902__1_2_5_4_3_2->n54_a_potter_1902__1_2_5_4_3_2_3 n54_a_potter_1902__1_2_5_4_3_2_1->n54_a_potter_1902__1_2_5_4_3_2_1_1 n54_a_potter_1902__1_2_5_4_3_2_2->n54_a_potter_1902__1_2_5_4_3_2_2_1 n54_a_potter_1902__1_2_5_4_3_2_3->n54_a_potter_1902__1_2_5_4_3_2_3_1 n54_a_potter_1902__1_3->n54_a_potter_1902__1_3_1 n54_a_potter_1902__1_4->n54_a_potter_1902__1_4_1 
( (FRAG (PULQ <lquo>)
        (NP (D One;{one})
            (N table;{table})
            (PUNC <hyphen>)
            (N spoonful;{spoonful})
            (IP-INF-REL (NP-SBJ *T*)
                        (TO to;{to})
                        (BE;_cat_VePASS_ be;{be})
                        (IP-PPL-CAT (NP-LGS *)
                                    (VVN;_Tn_ taken;{take})
                                    (PP-NIM (P-ROLE at;{at})
                                            (NP (N bed;{bed})
                                                (PUNC <hyphen>)
                                                (N time;{time}))))))
        (PUNC .)
        (PURQ <rquo>))
  (ID 54_a_potter_1902))