Context                Previous, Next                Top


576_a_dick_1952
There was still much work to be done.

%3 r_0576_0001__There_r_0576_0002__was There was r_0576_0003__still still r_0576_0001__There_r_0576_0002__was->r_0576_0003__still [nim] r_0576_0005__work work r_0576_0001__There_r_0576_0002__was->r_0576_0005__work [arg0] r_0576_0004__much much r_0576_0005__work->r_0576_0004__much [attrib] r_0576_0006__to_r_0576_0007__be to be r_0576_0008__done done r_0576_0006__to_r_0576_0007__be->r_0576_0008__done [scope] r_0576_0008__done->r_0576_0005__work [arg1] z_000_576_a_dick_1952_23 r_0576_0008__done->z_000_576_a_dick_1952_23 [arg0] 
arc(r_0576_0001__There_r_0576_0002__was, r_0576_0003__still, nim6).
arc(r_0576_0001__There_r_0576_0002__was, r_0576_0005__work, arg0).
arc(r_0576_0005__work, r_0576_0004__much, attrib10).
arc(r_0576_0006__to_r_0576_0007__be, r_0576_0008__done, scope).
arc(r_0576_0008__done, r_0576_0005__work, arg1).
arc(r_0576_0008__done, z_000_576_a_dick_1952_23, arg0).


%3 r_0576_0006__to_r_0576_0007__be_r_0576_0008__done to be done z_000_576_a_dick_1952_23 r_0576_0006__to_r_0576_0007__be_r_0576_0008__done->z_000_576_a_dick_1952_23 [arg0] r_0576_0005__work work r_0576_0006__to_r_0576_0007__be_r_0576_0008__done->r_0576_0005__work [arg1] r_0576_0004__much much r_0576_0005__work->r_0576_0004__much [attrib] r_0576_0001__There_r_0576_0002__was There was r_0576_0001__There_r_0576_0002__was->r_0576_0005__work [arg0] r_0576_0003__still still r_0576_0001__There_r_0576_0002__was->r_0576_0003__still [nim] 
fof(formula,axiom,
    ? [R_0576_0003__STILL,R_0576_0004__MUCH,R_0576_0005__WORK,R_0576_0001__THERE_R_0576_0002__WAS,Z_000_576_A_DICK_1952_23,R_0576_0006__TO_R_0576_0007__BE_R_0576_0008__DONE] :
      ( r_0576_0003__still(R_0576_0003__STILL)
      & r_0576_0004__much(R_0576_0004__MUCH)
      & z_000_576_a_dick_1952_23(Z_000_576_A_DICK_1952_23)
      & r_0576_0006__to_r_0576_0007__be_r_0576_0008__done(R_0576_0006__TO_R_0576_0007__BE_R_0576_0008__DONE)
      & has_arg0(R_0576_0006__TO_R_0576_0007__BE_R_0576_0008__DONE,Z_000_576_A_DICK_1952_23)
      & has_arg1(R_0576_0006__TO_R_0576_0007__BE_R_0576_0008__DONE,R_0576_0005__WORK)
      & r_0576_0005__work(R_0576_0005__WORK)
      & has_attrib10(R_0576_0005__WORK,R_0576_0004__MUCH)
      & r_0576_0001__There_r_0576_0002__was(R_0576_0001__THERE_R_0576_0002__WAS)
      & has_arg0(R_0576_0001__THERE_R_0576_0002__WAS,R_0576_0005__WORK)
      & has_nim6(R_0576_0001__THERE_R_0576_0002__WAS,R_0576_0003__STILL) ) ).


n576_a_dick_1952 n576_a_dick_1952__1_1_1 There n576_a_dick_1952__1_2_1 was n576_a_dick_1952__1_3_1_1 still n576_a_dick_1952__1_4_1_1_1 much n576_a_dick_1952__1_4_2_1 work n576_a_dick_1952__1_4_3_1_1 *T* n576_a_dick_1952__1_4_3_2_1 to n576_a_dick_1952__1_4_3_3_1 be n576_a_dick_1952__1_4_3_4_1_1 * n576_a_dick_1952__1_4_3_4_2_1 done n576_a_dick_1952__1_5_1 . n576_a_dick_1952__1 IP-MAT n576_a_dick_1952__1_1 EX n576_a_dick_1952__1->n576_a_dick_1952__1_1 n576_a_dick_1952__1_2 BED;_ex_V_ n576_a_dick_1952__1->n576_a_dick_1952__1_2 n576_a_dick_1952__1_3 ADVP-NIM n576_a_dick_1952__1->n576_a_dick_1952__1_3 n576_a_dick_1952__1_4 NP-ESBJ n576_a_dick_1952__1->n576_a_dick_1952__1_4 n576_a_dick_1952__1_5 PUNC n576_a_dick_1952__1->n576_a_dick_1952__1_5 n576_a_dick_1952__1_1->n576_a_dick_1952__1_1_1 n576_a_dick_1952__1_2->n576_a_dick_1952__1_2_1 n576_a_dick_1952__1_3_1 ADV n576_a_dick_1952__1_3->n576_a_dick_1952__1_3_1 n576_a_dick_1952__1_3_1->n576_a_dick_1952__1_3_1_1 n576_a_dick_1952__1_4_1 ADJP n576_a_dick_1952__1_4->n576_a_dick_1952__1_4_1 n576_a_dick_1952__1_4_2 N n576_a_dick_1952__1_4->n576_a_dick_1952__1_4_2 n576_a_dick_1952__1_4_3 IP-INF-REL n576_a_dick_1952__1_4->n576_a_dick_1952__1_4_3 n576_a_dick_1952__1_4_1_1 ADJ n576_a_dick_1952__1_4_1->n576_a_dick_1952__1_4_1_1 n576_a_dick_1952__1_4_1_1->n576_a_dick_1952__1_4_1_1_1 n576_a_dick_1952__1_4_2->n576_a_dick_1952__1_4_2_1 n576_a_dick_1952__1_4_3_1 NP-SBJ n576_a_dick_1952__1_4_3->n576_a_dick_1952__1_4_3_1 n576_a_dick_1952__1_4_3_2 TO n576_a_dick_1952__1_4_3->n576_a_dick_1952__1_4_3_2 n576_a_dick_1952__1_4_3_3 BE;_cat_VePASS_ n576_a_dick_1952__1_4_3->n576_a_dick_1952__1_4_3_3 n576_a_dick_1952__1_4_3_4 IP-PPL-CAT n576_a_dick_1952__1_4_3->n576_a_dick_1952__1_4_3_4 n576_a_dick_1952__1_4_3_1->n576_a_dick_1952__1_4_3_1_1 n576_a_dick_1952__1_4_3_2->n576_a_dick_1952__1_4_3_2_1 n576_a_dick_1952__1_4_3_3->n576_a_dick_1952__1_4_3_3_1 n576_a_dick_1952__1_4_3_4_1 NP-LGS n576_a_dick_1952__1_4_3_4->n576_a_dick_1952__1_4_3_4_1 n576_a_dick_1952__1_4_3_4_2 DON;_Tn_ n576_a_dick_1952__1_4_3_4->n576_a_dick_1952__1_4_3_4_2 n576_a_dick_1952__1_4_3_4_1->n576_a_dick_1952__1_4_3_4_1_1 n576_a_dick_1952__1_4_3_4_2->n576_a_dick_1952__1_4_3_4_2_1 n576_a_dick_1952__1_5->n576_a_dick_1952__1_5_1 
( (IP-MAT (EX There;{there})
          (BED;_ex_V_ was;{be})
          (ADVP-NIM (ADV still;{still}))
          (NP-ESBJ (ADJP (ADJ much;{much}))
                   (N work;{work})
                   (IP-INF-REL (NP-SBJ *T*)
                               (TO to;{to})
                               (BE;_cat_VePASS_ be;{be})
                               (IP-PPL-CAT (NP-LGS *)
                                           (DON;_Tn_ done;{do}))))
          (PUNC .))
  (ID 576_a_dick_1952))