Context                Previous, Next                Top


10_a_major_case
14.1 First, they have simply been put before the Court as documents.

%3 r_0010_0005__have have r_0010_0002__First First r_0010_0005__have->r_0010_0002__First [nim] r_0010_0007__been been r_0010_0005__have->r_0010_0007__been [scope] r_0010_0006__simply simply r_0010_0007__been->r_0010_0006__simply [nim] r_0010_0008__put put r_0010_0007__been->r_0010_0008__put [scope] r_0010_0004__they they r_0010_0008__put->r_0010_0004__they [arg1] r_0010_0010__the_r_0010_0011__Court the Court r_0010_0008__put->r_0010_0010__the_r_0010_0011__Court before [nim] r_0010_0013__documents documents r_0010_0008__put->r_0010_0013__documents [prd] z_000_10_a_major_case_22 r_0010_0008__put->z_000_10_a_major_case_22 [arg0] 
arc(r_0010_0005__have, r_0010_0002__First, nim5).
arc(r_0010_0005__have, r_0010_0007__been, scope).
arc(r_0010_0007__been, r_0010_0006__simply, nim16).
arc(r_0010_0007__been, r_0010_0008__put, scope).
arc(r_0010_0008__put, r_0010_0004__they, arg1).
arc(r_0010_0008__put, r_0010_0010__the_r_0010_0011__Court, r_0010_0009__before_nim29).
arc(r_0010_0008__put, r_0010_0013__documents, prd).
arc(r_0010_0008__put, z_000_10_a_major_case_22, arg0).


%3 r_0010_0005__have_r_0010_0007__been_r_0010_0008__put have been put r_0010_0002__First First r_0010_0005__have_r_0010_0007__been_r_0010_0008__put->r_0010_0002__First [nim] r_0010_0004__they they r_0010_0005__have_r_0010_0007__been_r_0010_0008__put->r_0010_0004__they [arg1] r_0010_0006__simply simply r_0010_0005__have_r_0010_0007__been_r_0010_0008__put->r_0010_0006__simply [nim] r_0010_0010__the_r_0010_0011__Court the Court r_0010_0005__have_r_0010_0007__been_r_0010_0008__put->r_0010_0010__the_r_0010_0011__Court before [nim] r_0010_0013__documents documents r_0010_0005__have_r_0010_0007__been_r_0010_0008__put->r_0010_0013__documents [prd] z_000_10_a_major_case_22 r_0010_0005__have_r_0010_0007__been_r_0010_0008__put->z_000_10_a_major_case_22 [arg0] 
fof(formula,axiom,
    ? [R_10_5_HAVE_BEEN_PUT,Z_10_A_MAJOR_CASE_22,R_10_4_THEY,R_10_6_SIMPLY,R_10_2_FIRST,R_10_13_DOCUMENTS,R_10_10_THE_COURT] :
      ( they(R_10_4_THEY)
      & simply(R_10_6_SIMPLY)
      & first(R_10_2_FIRST)
      & documents(R_10_13_DOCUMENTS)
      & the_Court(R_10_10_THE_COURT)
      & have_been_put(R_10_5_HAVE_BEEN_PUT,Z_10_A_MAJOR_CASE_22,R_10_4_THEY,R_10_13_DOCUMENTS)
      & nim16(R_10_5_HAVE_BEEN_PUT,R_10_6_SIMPLY)
      & nim5(R_10_5_HAVE_BEEN_PUT,R_10_2_FIRST)
      & before_nim29(R_10_5_HAVE_BEEN_PUT,R_10_10_THE_COURT) ) ).


n10_a_major_case n10_a_major_case_4 14.1 n10_a_major_case_7 First n10_a_major_case_9 , n10_a_major_case_12 they n10_a_major_case_14 have n10_a_major_case_18 simply n10_a_major_case_20 been n10_a_major_case_23 * n10_a_major_case_25 put n10_a_major_case_28 before n10_a_major_case_31 the n10_a_major_case_33 Court n10_a_major_case_36 as n10_a_major_case_39 documents n10_a_major_case_41 . n10_a_major_case_1 IP-MAT n10_a_major_case_2 LST n10_a_major_case_1->n10_a_major_case_2 n10_a_major_case_5 ADVP-NIM n10_a_major_case_1->n10_a_major_case_5 n10_a_major_case_8 PUNC n10_a_major_case_1->n10_a_major_case_8 n10_a_major_case_10 NP-SBJ n10_a_major_case_1->n10_a_major_case_10 n10_a_major_case_13 HVP;_cat_Ve_ n10_a_major_case_1->n10_a_major_case_13 n10_a_major_case_15 IP-PPL-CAT n10_a_major_case_1->n10_a_major_case_15 n10_a_major_case_40 PUNC n10_a_major_case_1->n10_a_major_case_40 n10_a_major_case_3 LS n10_a_major_case_2->n10_a_major_case_3 n10_a_major_case_3->n10_a_major_case_4 n10_a_major_case_6 NUM n10_a_major_case_5->n10_a_major_case_6 n10_a_major_case_6->n10_a_major_case_7 n10_a_major_case_8->n10_a_major_case_9 n10_a_major_case_11 PRO n10_a_major_case_10->n10_a_major_case_11 n10_a_major_case_11->n10_a_major_case_12 n10_a_major_case_13->n10_a_major_case_14 n10_a_major_case_16 ADVP-NIM n10_a_major_case_15->n10_a_major_case_16 n10_a_major_case_19 BEN;_cat_VePASS_ n10_a_major_case_15->n10_a_major_case_19 n10_a_major_case_21 IP-PPL-CAT n10_a_major_case_15->n10_a_major_case_21 n10_a_major_case_17 ADV n10_a_major_case_16->n10_a_major_case_17 n10_a_major_case_17->n10_a_major_case_18 n10_a_major_case_19->n10_a_major_case_20 n10_a_major_case_22 NP-LGS n10_a_major_case_21->n10_a_major_case_22 n10_a_major_case_24 VVN;_Cn.n/a_ n10_a_major_case_21->n10_a_major_case_24 n10_a_major_case_26 PP-NIM n10_a_major_case_21->n10_a_major_case_26 n10_a_major_case_34 PP-PRD n10_a_major_case_21->n10_a_major_case_34 n10_a_major_case_22->n10_a_major_case_23 n10_a_major_case_24->n10_a_major_case_25 n10_a_major_case_27 P-ROLE n10_a_major_case_26->n10_a_major_case_27 n10_a_major_case_29 NP n10_a_major_case_26->n10_a_major_case_29 n10_a_major_case_27->n10_a_major_case_28 n10_a_major_case_30 D n10_a_major_case_29->n10_a_major_case_30 n10_a_major_case_32 NPR n10_a_major_case_29->n10_a_major_case_32 n10_a_major_case_30->n10_a_major_case_31 n10_a_major_case_32->n10_a_major_case_33 n10_a_major_case_35 P-ROLE n10_a_major_case_34->n10_a_major_case_35 n10_a_major_case_37 NP n10_a_major_case_34->n10_a_major_case_37 n10_a_major_case_35->n10_a_major_case_36 n10_a_major_case_38 NS n10_a_major_case_37->n10_a_major_case_38 n10_a_major_case_38->n10_a_major_case_39 n10_a_major_case_40->n10_a_major_case_41 
( (IP-MAT (LST (LS 14<dot>1))
          (ADVP-NIM (NUM First;{first}))
          (PUNC ,)
          (NP-SBJ;{DOCUMENTS} (PRO they;{they}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (ADVP-NIM (ADV simply;{simply}))
                      (BEN;_cat_VePASS_ been;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Cn.n/a_ put;{put[as]})
                                  (PP-NIM (P-ROLE before;{before})
                                          (NP (D the;{the})
                                              (NPR Court;{Court})))
                                  (PP-PRD (P-ROLE as;{as})
                                          (NP (NS documents;{document})))))
          (PUNC .))
  (ID 10_a_major_case))