Context                Previous, Next                Top


4_a_takmi
There was a stain on the package that seemed to be caused by a leak.

%3 r_0004_0001__There_r_0004_0002__was There was r_0004_0003__a_r_0004_0004__stain a stain r_0004_0001__There_r_0004_0002__was->r_0004_0003__a_r_0004_0004__stain [arg0] r_0004_0006__the_r_0004_0007__package the package r_0004_0001__There_r_0004_0002__was->r_0004_0006__the_r_0004_0007__package on [clr] r_0004_0008__that_r_0004_0009__seemed that seemed r_0004_0010__to_r_0004_0011__be to be r_0004_0008__that_r_0004_0009__seemed->r_0004_0010__to_r_0004_0011__be [scope] r_0004_0012__caused caused r_0004_0010__to_r_0004_0011__be->r_0004_0012__caused [scope] r_0004_0012__caused->r_0004_0003__a_r_0004_0004__stain [arg1] r_0004_0014__a_r_0004_0015__leak a leak r_0004_0012__caused->r_0004_0014__a_r_0004_0015__leak [arg0] 
arc(r_0004_0001__There_r_0004_0002__was, r_0004_0003__a_r_0004_0004__stain, arg0).
arc(r_0004_0001__There_r_0004_0002__was, r_0004_0006__the_r_0004_0007__package, r_0004_0005__on_clr16).
arc(r_0004_0008__that_r_0004_0009__seemed, r_0004_0010__to_r_0004_0011__be, scope).
arc(r_0004_0010__to_r_0004_0011__be, r_0004_0012__caused, scope).
arc(r_0004_0012__caused, r_0004_0003__a_r_0004_0004__stain, arg1).
arc(r_0004_0012__caused, r_0004_0014__a_r_0004_0015__leak, arg0).


%3 r_0004_0008__that_r_0004_0009__seemed_r_0004_0010__to_r_0004_0011__be_r_0004_0012__caused that seemed to be caused r_0004_0014__a_r_0004_0015__leak a leak r_0004_0008__that_r_0004_0009__seemed_r_0004_0010__to_r_0004_0011__be_r_0004_0012__caused->r_0004_0014__a_r_0004_0015__leak [arg0] r_0004_0003__a_r_0004_0004__stain a stain r_0004_0008__that_r_0004_0009__seemed_r_0004_0010__to_r_0004_0011__be_r_0004_0012__caused->r_0004_0003__a_r_0004_0004__stain [arg1] r_0004_0001__There_r_0004_0002__was There was r_0004_0001__There_r_0004_0002__was->r_0004_0003__a_r_0004_0004__stain [arg0] r_0004_0006__the_r_0004_0007__package the package r_0004_0001__There_r_0004_0002__was->r_0004_0006__the_r_0004_0007__package on [clr] 
fof(formula,axiom,
    ? [R_4_1_THERE_WAS,R_4_6_THE_PACKAGE,R_4_8_THAT_SEEMED_TO_BE_CAUSED,R_4_14_A_LEAK,R_4_3_A_STAIN] :
      ( the_package(R_4_6_THE_PACKAGE)
      & a_leak(R_4_14_A_LEAK)
      & a_stain(R_4_3_A_STAIN)
      & there_was(R_4_1_THERE_WAS,R_4_3_A_STAIN)
      & on_clr16(R_4_1_THERE_WAS,R_4_6_THE_PACKAGE)
      & that_seemed_to_be_caused(R_4_8_THAT_SEEMED_TO_BE_CAUSED,R_4_14_A_LEAK,R_4_3_A_STAIN) ) ).


n4_a_takmi n4_a_takmi__1_1_1 There n4_a_takmi__1_2_1 was n4_a_takmi__1_3_1_1 a n4_a_takmi__1_3_2_1 stain n4_a_takmi__1_3_3_1 *ICH*-138 n4_a_takmi__1_4_1_1 on n4_a_takmi__1_4_2_1_1 the n4_a_takmi__1_4_2_2_1 package n4_a_takmi__1_5_1_1 that n4_a_takmi__1_5_2_1 *T* n4_a_takmi__1_5_3_1 seemed n4_a_takmi__1_5_4_1_1 to n4_a_takmi__1_5_4_2_1 be n4_a_takmi__1_5_4_3_1_1 caused n4_a_takmi__1_5_4_3_2_1_1 by n4_a_takmi__1_5_4_3_2_2_1_1 a n4_a_takmi__1_5_4_3_2_2_2_1 leak n4_a_takmi__1_6_1 . n4_a_takmi__1 IP-MAT n4_a_takmi__1_1 EX n4_a_takmi__1->n4_a_takmi__1_1 n4_a_takmi__1_2 BED;_ex_Vpr_ n4_a_takmi__1->n4_a_takmi__1_2 n4_a_takmi__1_3 NP-ESBJ n4_a_takmi__1->n4_a_takmi__1_3 n4_a_takmi__1_4 PP-CLR n4_a_takmi__1->n4_a_takmi__1_4 n4_a_takmi__1_5 IP-REL-EPD-138 n4_a_takmi__1->n4_a_takmi__1_5 n4_a_takmi__1_6 PUNC n4_a_takmi__1->n4_a_takmi__1_6 n4_a_takmi__1_1->n4_a_takmi__1_1_1 n4_a_takmi__1_2->n4_a_takmi__1_2_1 n4_a_takmi__1_3_1 D n4_a_takmi__1_3->n4_a_takmi__1_3_1 n4_a_takmi__1_3_2 N n4_a_takmi__1_3->n4_a_takmi__1_3_2 n4_a_takmi__1_3_3 IP-REL n4_a_takmi__1_3->n4_a_takmi__1_3_3 n4_a_takmi__1_3_1->n4_a_takmi__1_3_1_1 n4_a_takmi__1_3_2->n4_a_takmi__1_3_2_1 n4_a_takmi__1_3_3->n4_a_takmi__1_3_3_1 n4_a_takmi__1_4_1 P-ROLE n4_a_takmi__1_4->n4_a_takmi__1_4_1 n4_a_takmi__1_4_2 NP n4_a_takmi__1_4->n4_a_takmi__1_4_2 n4_a_takmi__1_4_1->n4_a_takmi__1_4_1_1 n4_a_takmi__1_4_2_1 D n4_a_takmi__1_4_2->n4_a_takmi__1_4_2_1 n4_a_takmi__1_4_2_2 N n4_a_takmi__1_4_2->n4_a_takmi__1_4_2_2 n4_a_takmi__1_4_2_1->n4_a_takmi__1_4_2_1_1 n4_a_takmi__1_4_2_2->n4_a_takmi__1_4_2_2_1 n4_a_takmi__1_5_1 C n4_a_takmi__1_5->n4_a_takmi__1_5_1 n4_a_takmi__1_5_2 NP-SBJ n4_a_takmi__1_5->n4_a_takmi__1_5_2 n4_a_takmi__1_5_3 VBD;_cat_Vt_ n4_a_takmi__1_5->n4_a_takmi__1_5_3 n4_a_takmi__1_5_4 IP-INF-CAT n4_a_takmi__1_5->n4_a_takmi__1_5_4 n4_a_takmi__1_5_1->n4_a_takmi__1_5_1_1 n4_a_takmi__1_5_2->n4_a_takmi__1_5_2_1 n4_a_takmi__1_5_3->n4_a_takmi__1_5_3_1 n4_a_takmi__1_5_4_1 TO n4_a_takmi__1_5_4->n4_a_takmi__1_5_4_1 n4_a_takmi__1_5_4_2 BE;_cat_VePASS_ n4_a_takmi__1_5_4->n4_a_takmi__1_5_4_2 n4_a_takmi__1_5_4_3 IP-PPL-CAT n4_a_takmi__1_5_4->n4_a_takmi__1_5_4_3 n4_a_takmi__1_5_4_1->n4_a_takmi__1_5_4_1_1 n4_a_takmi__1_5_4_2->n4_a_takmi__1_5_4_2_1 n4_a_takmi__1_5_4_3_1 VVN;_Tn_ n4_a_takmi__1_5_4_3->n4_a_takmi__1_5_4_3_1 n4_a_takmi__1_5_4_3_2 PP-LGS n4_a_takmi__1_5_4_3->n4_a_takmi__1_5_4_3_2 n4_a_takmi__1_5_4_3_1->n4_a_takmi__1_5_4_3_1_1 n4_a_takmi__1_5_4_3_2_1 P-ROLE;_lgs_ n4_a_takmi__1_5_4_3_2->n4_a_takmi__1_5_4_3_2_1 n4_a_takmi__1_5_4_3_2_2 NP n4_a_takmi__1_5_4_3_2->n4_a_takmi__1_5_4_3_2_2 n4_a_takmi__1_5_4_3_2_1->n4_a_takmi__1_5_4_3_2_1_1 n4_a_takmi__1_5_4_3_2_2_1 D n4_a_takmi__1_5_4_3_2_2->n4_a_takmi__1_5_4_3_2_2_1 n4_a_takmi__1_5_4_3_2_2_2 N n4_a_takmi__1_5_4_3_2_2->n4_a_takmi__1_5_4_3_2_2_2 n4_a_takmi__1_5_4_3_2_2_1->n4_a_takmi__1_5_4_3_2_2_1_1 n4_a_takmi__1_5_4_3_2_2_2->n4_a_takmi__1_5_4_3_2_2_2_1 n4_a_takmi__1_6->n4_a_takmi__1_6_1 
( (IP-MAT (EX There;{there})
          (BED;_ex_Vpr_ was;{be})
          (NP-ESBJ (D a;{a})
                   (N stain;{stain})
                   (IP-REL *ICH*-138))
          (PP-CLR (P-ROLE on;{on})
                  (NP (D the;{the})
                      (N package;{package})))
          (IP-REL-EPD-138 (C that;{that})
                          (NP-SBJ *T*)
                          (VBD;_cat_Vt_ seemed;{seem})
                          (IP-INF-CAT (TO to;{to})
                                      (BE;_cat_VePASS_ be;{be})
                                      (IP-PPL-CAT (VVN;_Tn_ caused;{cause})
                                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                          (NP (D a;{a})
                                                              (N leak;{leak}))))))
          (PUNC .))
  (ID 4_a_takmi))