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 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] r_0010_0013__documents documents r_0010_0005__have_r_0010_0007__been_r_0010_0008__put->r_0010_0013__documents [prd] 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_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_0002__First First r_0010_0005__have_r_0010_0007__been_r_0010_0008__put->r_0010_0002__First [nim] 
fof(formula,axiom,
    ? [R_0010_0002__FIRST,R_0010_0006__SIMPLY,R_0010_0004__THEY,R_0010_0010__THE_R_0010_0011__COURT,R_0010_0013__DOCUMENTS,Z_000_10_A_MAJOR_CASE_22,R_0010_0005__HAVE_R_0010_0007__BEEN_R_0010_0008__PUT] :
      ( r_0010_0002__First(R_0010_0002__FIRST)
      & r_0010_0004__they(R_0010_0004__THEY)
      & r_0010_0006__simply(R_0010_0006__SIMPLY)
      & r_0010_0010__the_r_0010_0011__Court(R_0010_0010__THE_R_0010_0011__COURT)
      & r_0010_0013__documents(R_0010_0013__DOCUMENTS)
      & z_000_10_a_major_case_22(Z_000_10_A_MAJOR_CASE_22)
      & r_0010_0005__have_r_0010_0007__been_r_0010_0008__put(R_0010_0005__HAVE_R_0010_0007__BEEN_R_0010_0008__PUT)
      & has_arg0(R_0010_0005__HAVE_R_0010_0007__BEEN_R_0010_0008__PUT,Z_000_10_A_MAJOR_CASE_22)
      & has_prd(R_0010_0005__HAVE_R_0010_0007__BEEN_R_0010_0008__PUT,R_0010_0013__DOCUMENTS)
      & has_r_0010_0009__before_nim29(R_0010_0005__HAVE_R_0010_0007__BEEN_R_0010_0008__PUT,R_0010_0010__THE_R_0010_0011__COURT)
      & has_arg1(R_0010_0005__HAVE_R_0010_0007__BEEN_R_0010_0008__PUT,R_0010_0004__THEY)
      & has_nim16(R_0010_0005__HAVE_R_0010_0007__BEEN_R_0010_0008__PUT,R_0010_0006__SIMPLY)
      & has_nim5(R_0010_0005__HAVE_R_0010_0007__BEEN_R_0010_0008__PUT,R_0010_0002__FIRST) ) ).


n10_a_major_case n10_a_major_case__1_1_1_1 14.1 n10_a_major_case__1_2_1_1 First n10_a_major_case__1_3_1 , n10_a_major_case__1_4_1_1 they n10_a_major_case__1_5_1 have n10_a_major_case__1_6_1_1_1 simply n10_a_major_case__1_6_2_1 been n10_a_major_case__1_6_3_1_1 * n10_a_major_case__1_6_3_2_1 put n10_a_major_case__1_6_3_3_1_1 before n10_a_major_case__1_6_3_3_2_1_1 the n10_a_major_case__1_6_3_3_2_2_1 Court n10_a_major_case__1_6_3_4_1_1 as n10_a_major_case__1_6_3_4_2_1_1 documents n10_a_major_case__1_7_1 . n10_a_major_case__1 IP-MAT n10_a_major_case__1_1 LST n10_a_major_case__1->n10_a_major_case__1_1 n10_a_major_case__1_2 ADVP-NIM n10_a_major_case__1->n10_a_major_case__1_2 n10_a_major_case__1_3 PUNC n10_a_major_case__1->n10_a_major_case__1_3 n10_a_major_case__1_4 NP-SBJ n10_a_major_case__1->n10_a_major_case__1_4 n10_a_major_case__1_5 HVP;_cat_Ve_ n10_a_major_case__1->n10_a_major_case__1_5 n10_a_major_case__1_6 IP-PPL-CAT n10_a_major_case__1->n10_a_major_case__1_6 n10_a_major_case__1_7 PUNC n10_a_major_case__1->n10_a_major_case__1_7 n10_a_major_case__1_1_1 LS n10_a_major_case__1_1->n10_a_major_case__1_1_1 n10_a_major_case__1_1_1->n10_a_major_case__1_1_1_1 n10_a_major_case__1_2_1 NUM n10_a_major_case__1_2->n10_a_major_case__1_2_1 n10_a_major_case__1_2_1->n10_a_major_case__1_2_1_1 n10_a_major_case__1_3->n10_a_major_case__1_3_1 n10_a_major_case__1_4_1 PRO n10_a_major_case__1_4->n10_a_major_case__1_4_1 n10_a_major_case__1_4_1->n10_a_major_case__1_4_1_1 n10_a_major_case__1_5->n10_a_major_case__1_5_1 n10_a_major_case__1_6_1 ADVP-NIM n10_a_major_case__1_6->n10_a_major_case__1_6_1 n10_a_major_case__1_6_2 BEN;_cat_VePASS_ n10_a_major_case__1_6->n10_a_major_case__1_6_2 n10_a_major_case__1_6_3 IP-PPL-CAT n10_a_major_case__1_6->n10_a_major_case__1_6_3 n10_a_major_case__1_6_1_1 ADV n10_a_major_case__1_6_1->n10_a_major_case__1_6_1_1 n10_a_major_case__1_6_1_1->n10_a_major_case__1_6_1_1_1 n10_a_major_case__1_6_2->n10_a_major_case__1_6_2_1 n10_a_major_case__1_6_3_1 NP-LGS n10_a_major_case__1_6_3->n10_a_major_case__1_6_3_1 n10_a_major_case__1_6_3_2 VVN;_Cn.n/a_ n10_a_major_case__1_6_3->n10_a_major_case__1_6_3_2 n10_a_major_case__1_6_3_3 PP-NIM n10_a_major_case__1_6_3->n10_a_major_case__1_6_3_3 n10_a_major_case__1_6_3_4 PP-PRD n10_a_major_case__1_6_3->n10_a_major_case__1_6_3_4 n10_a_major_case__1_6_3_1->n10_a_major_case__1_6_3_1_1 n10_a_major_case__1_6_3_2->n10_a_major_case__1_6_3_2_1 n10_a_major_case__1_6_3_3_1 P-ROLE n10_a_major_case__1_6_3_3->n10_a_major_case__1_6_3_3_1 n10_a_major_case__1_6_3_3_2 NP n10_a_major_case__1_6_3_3->n10_a_major_case__1_6_3_3_2 n10_a_major_case__1_6_3_3_1->n10_a_major_case__1_6_3_3_1_1 n10_a_major_case__1_6_3_3_2_1 D n10_a_major_case__1_6_3_3_2->n10_a_major_case__1_6_3_3_2_1 n10_a_major_case__1_6_3_3_2_2 NPR n10_a_major_case__1_6_3_3_2->n10_a_major_case__1_6_3_3_2_2 n10_a_major_case__1_6_3_3_2_1->n10_a_major_case__1_6_3_3_2_1_1 n10_a_major_case__1_6_3_3_2_2->n10_a_major_case__1_6_3_3_2_2_1 n10_a_major_case__1_6_3_4_1 P-ROLE n10_a_major_case__1_6_3_4->n10_a_major_case__1_6_3_4_1 n10_a_major_case__1_6_3_4_2 NP n10_a_major_case__1_6_3_4->n10_a_major_case__1_6_3_4_2 n10_a_major_case__1_6_3_4_1->n10_a_major_case__1_6_3_4_1_1 n10_a_major_case__1_6_3_4_2_1 NS n10_a_major_case__1_6_3_4_2->n10_a_major_case__1_6_3_4_2_1 n10_a_major_case__1_6_3_4_2_1->n10_a_major_case__1_6_3_4_2_1_1 n10_a_major_case__1_7->n10_a_major_case__1_7_1 
( (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))