( (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))

arc(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,inv_arg1).
arc(r_0054_0008__taken,r_0054_0010__bed_r_0054_0012__time,r_0054_0009__at__nim).
arc(r_0054_0008__taken,z_0054_5008___star_,arg0).
arc(z_0054_5011,r_0054_0002__One_r_0054_0003__table_r_0054_0005__spoonful,z_0054_5002).

fof(formula,axiom,
    ? [R_0054_0010__BED_R_0054_0012__TIME,Z_0054_5008___STAR_,R_0054_0007__BE_R_0054_0008__TAKEN,R_0054_0002__ONE_R_0054_0003__TABLE_R_0054_0005__SPOONFUL,Z_0054_5011] :
      ( r_0054_0010__bed_r_0054_0012__time(R_0054_0010__BED_R_0054_0012__TIME)
      & z_0054_5008___star_(Z_0054_5008___STAR_)
      & z_0054_5011(Z_0054_5011)
      & has_z_0054_5002(Z_0054_5011,R_0054_0002__ONE_R_0054_0003__TABLE_R_0054_0005__SPOONFUL)
      & r_0054_0002__One_r_0054_0003__table_r_0054_0005__spoonful(R_0054_0002__ONE_R_0054_0003__TABLE_R_0054_0005__SPOONFUL)
      & has_inv_arg1(R_0054_0002__ONE_R_0054_0003__TABLE_R_0054_0005__SPOONFUL,R_0054_0007__BE_R_0054_0008__TAKEN)
      & r_0054_0007__be_r_0054_0008__taken(R_0054_0007__BE_R_0054_0008__TAKEN)
      & has_arg0(R_0054_0007__BE_R_0054_0008__TAKEN,Z_0054_5008___STAR_)
      & has_r_0054_0009__at__nim(R_0054_0007__BE_R_0054_0008__TAKEN,R_0054_0010__BED_R_0054_0012__TIME) ) ).