Context                Previous, Next                Top


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

%3 r_0064_0006__to_r_0064_0007__be to be r_0064_0008__taken taken r_0064_0006__to_r_0064_0007__be->r_0064_0008__taken [scope] r_0064_0002__One_r_0064_0003__table_r_0064_0005__spoonful One table spoonful r_0064_0008__taken->r_0064_0002__One_r_0064_0003__table_r_0064_0005__spoonful [arg1] r_0064_0010__bed_r_0064_0012__time bed time r_0064_0008__taken->r_0064_0010__bed_r_0064_0012__time at [nim] z_000_64_a_potter_1902_21 r_0064_0008__taken->z_000_64_a_potter_1902_21 [arg0] z_000_64_a_potter_1902_1 z_000_64_a_potter_1902_1->r_0064_0002__One_r_0064_0003__table_r_0064_0005__spoonful [nim] 
arc(r_0064_0006__to_r_0064_0007__be, r_0064_0008__taken, scope).
arc(r_0064_0008__taken, r_0064_0002__One_r_0064_0003__table_r_0064_0005__spoonful, arg1).
arc(r_0064_0008__taken, r_0064_0010__bed_r_0064_0012__time, r_0064_0009__at_nim28).
arc(r_0064_0008__taken, z_000_64_a_potter_1902_21, arg0).
arc(z_000_64_a_potter_1902_1, r_0064_0002__One_r_0064_0003__table_r_0064_0005__spoonful, nim4).


%3 r_0064_0006__to_r_0064_0007__be_r_0064_0008__taken to be taken r_0064_0002__One_r_0064_0003__table_r_0064_0005__spoonful One table spoonful r_0064_0006__to_r_0064_0007__be_r_0064_0008__taken->r_0064_0002__One_r_0064_0003__table_r_0064_0005__spoonful [arg1] r_0064_0010__bed_r_0064_0012__time bed time r_0064_0006__to_r_0064_0007__be_r_0064_0008__taken->r_0064_0010__bed_r_0064_0012__time at [nim] z_000_64_a_potter_1902_21 r_0064_0006__to_r_0064_0007__be_r_0064_0008__taken->z_000_64_a_potter_1902_21 [arg0] z_000_64_a_potter_1902_1 z_000_64_a_potter_1902_1->r_0064_0002__One_r_0064_0003__table_r_0064_0005__spoonful [nim] 
fof(formula,axiom,
    ? [R_64_6_TO_BE_TAKEN,Z_64_A_POTTER_1902_21,R_64_10_BED_TIME,Z_64_A_POTTER_1902_1,R_64_2_ONE_TABLE_SPOONFUL] :
      ( bed_time(R_64_10_BED_TIME)
      & one_table_spoonful(R_64_2_ONE_TABLE_SPOONFUL)
      & to_be_taken(R_64_6_TO_BE_TAKEN,Z_64_A_POTTER_1902_21,R_64_2_ONE_TABLE_SPOONFUL)
      & at_nim28(R_64_6_TO_BE_TAKEN,R_64_10_BED_TIME)
      & z_64_a_potter_1902_1(Z_64_A_POTTER_1902_1)
      & nim4(Z_64_A_POTTER_1902_1,R_64_2_ONE_TABLE_SPOONFUL) ) ).


n64_a_potter_1902 n64_a_potter_1902_3 <lquo> n64_a_potter_1902_6 One n64_a_potter_1902_8 table n64_a_potter_1902_10 - n64_a_potter_1902_12 spoonful n64_a_potter_1902_15 *T* n64_a_potter_1902_17 to n64_a_potter_1902_19 be n64_a_potter_1902_22 * n64_a_potter_1902_24 taken n64_a_potter_1902_27 at n64_a_potter_1902_30 bed n64_a_potter_1902_32 - n64_a_potter_1902_34 time n64_a_potter_1902_36 . n64_a_potter_1902_38 <rquo> n64_a_potter_1902_1 FRAG n64_a_potter_1902_2 PULQ n64_a_potter_1902_1->n64_a_potter_1902_2 n64_a_potter_1902_4 NP n64_a_potter_1902_1->n64_a_potter_1902_4 n64_a_potter_1902_35 PUNC n64_a_potter_1902_1->n64_a_potter_1902_35 n64_a_potter_1902_37 PURQ n64_a_potter_1902_1->n64_a_potter_1902_37 n64_a_potter_1902_2->n64_a_potter_1902_3 n64_a_potter_1902_5 D n64_a_potter_1902_4->n64_a_potter_1902_5 n64_a_potter_1902_7 N n64_a_potter_1902_4->n64_a_potter_1902_7 n64_a_potter_1902_9 PUNC n64_a_potter_1902_4->n64_a_potter_1902_9 n64_a_potter_1902_11 N n64_a_potter_1902_4->n64_a_potter_1902_11 n64_a_potter_1902_13 IP-INF-REL n64_a_potter_1902_4->n64_a_potter_1902_13 n64_a_potter_1902_5->n64_a_potter_1902_6 n64_a_potter_1902_7->n64_a_potter_1902_8 n64_a_potter_1902_9->n64_a_potter_1902_10 n64_a_potter_1902_11->n64_a_potter_1902_12 n64_a_potter_1902_14 NP-SBJ n64_a_potter_1902_13->n64_a_potter_1902_14 n64_a_potter_1902_16 TO n64_a_potter_1902_13->n64_a_potter_1902_16 n64_a_potter_1902_18 BE;_cat_VePASS_ n64_a_potter_1902_13->n64_a_potter_1902_18 n64_a_potter_1902_20 IP-PPL-CAT n64_a_potter_1902_13->n64_a_potter_1902_20 n64_a_potter_1902_14->n64_a_potter_1902_15 n64_a_potter_1902_16->n64_a_potter_1902_17 n64_a_potter_1902_18->n64_a_potter_1902_19 n64_a_potter_1902_21 NP-LGS n64_a_potter_1902_20->n64_a_potter_1902_21 n64_a_potter_1902_23 VVN;_Tn_ n64_a_potter_1902_20->n64_a_potter_1902_23 n64_a_potter_1902_25 PP-NIM n64_a_potter_1902_20->n64_a_potter_1902_25 n64_a_potter_1902_21->n64_a_potter_1902_22 n64_a_potter_1902_23->n64_a_potter_1902_24 n64_a_potter_1902_26 P-ROLE n64_a_potter_1902_25->n64_a_potter_1902_26 n64_a_potter_1902_28 NP n64_a_potter_1902_25->n64_a_potter_1902_28 n64_a_potter_1902_26->n64_a_potter_1902_27 n64_a_potter_1902_29 N n64_a_potter_1902_28->n64_a_potter_1902_29 n64_a_potter_1902_31 PUNC n64_a_potter_1902_28->n64_a_potter_1902_31 n64_a_potter_1902_33 N n64_a_potter_1902_28->n64_a_potter_1902_33 n64_a_potter_1902_29->n64_a_potter_1902_30 n64_a_potter_1902_31->n64_a_potter_1902_32 n64_a_potter_1902_33->n64_a_potter_1902_34 n64_a_potter_1902_35->n64_a_potter_1902_36 n64_a_potter_1902_37->n64_a_potter_1902_38 
( (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 64_a_potter_1902))