Context                Previous, Next                Top


99_a_voice_of_america
Seven miners managed to reach the surface, but the others were trapped.

%3 r_0099_0003__managed managed r_0099_0001__Seven_r_0099_0002__miners Seven miners r_0099_0003__managed->r_0099_0001__Seven_r_0099_0002__miners [arg0] r_0099_0004__to_r_0099_0005__reach to reach r_0099_0003__managed->r_0099_0004__to_r_0099_0005__reach [arg1] r_0099_0004__to_r_0099_0005__reach->r_0099_0001__Seven_r_0099_0002__miners [arg0] r_0099_0006__the_r_0099_0007__surface the surface r_0099_0004__to_r_0099_0005__reach->r_0099_0006__the_r_0099_0007__surface [arg1] r_0099_0009__but but r_0099_0009__but->r_0099_0003__managed [conj1] r_0099_0012__were were r_0099_0009__but->r_0099_0012__were [conj2] r_0099_0013__trapped trapped r_0099_0012__were->r_0099_0013__trapped [scope] r_0099_0010__the_r_0099_0011__others the others r_0099_0013__trapped->r_0099_0010__the_r_0099_0011__others [arg1] z_000_99_a_voice_of_america_35 r_0099_0013__trapped->z_000_99_a_voice_of_america_35 [arg0] 
arc(r_0099_0003__managed, r_0099_0001__Seven_r_0099_0002__miners, arg0).
arc(r_0099_0003__managed, r_0099_0004__to_r_0099_0005__reach, arg1).
arc(r_0099_0004__to_r_0099_0005__reach, r_0099_0001__Seven_r_0099_0002__miners, arg0).
arc(r_0099_0004__to_r_0099_0005__reach, r_0099_0006__the_r_0099_0007__surface, arg1).
arc(r_0099_0009__but, r_0099_0003__managed, conj1).
arc(r_0099_0009__but, r_0099_0012__were, conj2).
arc(r_0099_0012__were, r_0099_0013__trapped, scope).
arc(r_0099_0013__trapped, r_0099_0010__the_r_0099_0011__others, arg1).
arc(r_0099_0013__trapped, z_000_99_a_voice_of_america_35, arg0).


%3 r_0099_0012__were_r_0099_0013__trapped were trapped z_000_99_a_voice_of_america_35 r_0099_0012__were_r_0099_0013__trapped->z_000_99_a_voice_of_america_35 [arg0] r_0099_0010__the_r_0099_0011__others the others r_0099_0012__were_r_0099_0013__trapped->r_0099_0010__the_r_0099_0011__others [arg1] r_0099_0009__but but r_0099_0009__but->r_0099_0012__were_r_0099_0013__trapped [conj2] r_0099_0003__managed managed r_0099_0009__but->r_0099_0003__managed [conj1] r_0099_0004__to_r_0099_0005__reach to reach r_0099_0003__managed->r_0099_0004__to_r_0099_0005__reach [arg1] r_0099_0001__Seven_r_0099_0002__miners Seven miners r_0099_0003__managed->r_0099_0001__Seven_r_0099_0002__miners [arg0] r_0099_0006__the_r_0099_0007__surface the surface r_0099_0004__to_r_0099_0005__reach->r_0099_0006__the_r_0099_0007__surface [arg1] r_0099_0004__to_r_0099_0005__reach->r_0099_0001__Seven_r_0099_0002__miners [arg0] 
fof(formula,axiom,
    ? [R_0099_0001__SEVEN_R_0099_0002__MINERS,R_0099_0006__THE_R_0099_0007__SURFACE,R_0099_0004__TO_R_0099_0005__REACH,R_0099_0003__MANAGED,R_0099_0010__THE_R_0099_0011__OTHERS,Z_000_99_A_VOICE_OF_AMERICA_35,R_0099_0012__WERE_R_0099_0013__TRAPPED,R_0099_0009__BUT] :
      ( r_0099_0001__Seven_r_0099_0002__miners(R_0099_0001__SEVEN_R_0099_0002__MINERS)
      & r_0099_0006__the_r_0099_0007__surface(R_0099_0006__THE_R_0099_0007__SURFACE)
      & r_0099_0010__the_r_0099_0011__others(R_0099_0010__THE_R_0099_0011__OTHERS)
      & z_000_99_a_voice_of_america_35(Z_000_99_A_VOICE_OF_AMERICA_35)
      & r_0099_0009__but(R_0099_0009__BUT)
      & has_conj2(R_0099_0009__BUT,R_0099_0012__WERE_R_0099_0013__TRAPPED)
      & r_0099_0012__were_r_0099_0013__trapped(R_0099_0012__WERE_R_0099_0013__TRAPPED)
      & has_arg0(R_0099_0012__WERE_R_0099_0013__TRAPPED,Z_000_99_A_VOICE_OF_AMERICA_35)
      & has_arg1(R_0099_0012__WERE_R_0099_0013__TRAPPED,R_0099_0010__THE_R_0099_0011__OTHERS)
      & has_conj1(R_0099_0009__BUT,R_0099_0003__MANAGED)
      & r_0099_0003__managed(R_0099_0003__MANAGED)
      & has_arg1(R_0099_0003__MANAGED,R_0099_0004__TO_R_0099_0005__REACH)
      & r_0099_0004__to_r_0099_0005__reach(R_0099_0004__TO_R_0099_0005__REACH)
      & has_arg1(R_0099_0004__TO_R_0099_0005__REACH,R_0099_0006__THE_R_0099_0007__SURFACE)
      & has_arg0(R_0099_0004__TO_R_0099_0005__REACH,R_0099_0001__SEVEN_R_0099_0002__MINERS)
      & has_arg0(R_0099_0003__MANAGED,R_0099_0001__SEVEN_R_0099_0002__MINERS) ) ).


n99_a_voice_of_america n99_a_voice_of_america__1_1_1_1_1_1 Seven n99_a_voice_of_america__1_1_1_1_2_1 miners n99_a_voice_of_america__1_1_1_2_1 managed n99_a_voice_of_america__1_1_1_3_1_1 to n99_a_voice_of_america__1_1_1_3_2_1 reach n99_a_voice_of_america__1_1_1_3_3_1_1 the n99_a_voice_of_america__1_1_1_3_3_2_1 surface n99_a_voice_of_america__1_1_2_1 , n99_a_voice_of_america__1_1_3_1_1 but n99_a_voice_of_america__1_1_3_2_1_1_1 the n99_a_voice_of_america__1_1_3_2_1_2_1 others n99_a_voice_of_america__1_1_3_2_2_1 were n99_a_voice_of_america__1_1_3_2_3_1_1 * n99_a_voice_of_america__1_1_3_2_3_2_1 trapped n99_a_voice_of_america__1_2_1 . n99_a_voice_of_america__1 IP-MAT n99_a_voice_of_america__1_1 ILYR n99_a_voice_of_america__1->n99_a_voice_of_america__1_1 n99_a_voice_of_america__1_2 PUNC n99_a_voice_of_america__1->n99_a_voice_of_america__1_2 n99_a_voice_of_america__1_1_1 ILYR n99_a_voice_of_america__1_1->n99_a_voice_of_america__1_1_1 n99_a_voice_of_america__1_1_2 PUNC n99_a_voice_of_america__1_1->n99_a_voice_of_america__1_1_2 n99_a_voice_of_america__1_1_3 CONJP n99_a_voice_of_america__1_1->n99_a_voice_of_america__1_1_3 n99_a_voice_of_america__1_1_1_1 NP-SBJ n99_a_voice_of_america__1_1_1->n99_a_voice_of_america__1_1_1_1 n99_a_voice_of_america__1_1_1_2 VBD;_Tt_ n99_a_voice_of_america__1_1_1->n99_a_voice_of_america__1_1_1_2 n99_a_voice_of_america__1_1_1_3 IP-INF-OB1 n99_a_voice_of_america__1_1_1->n99_a_voice_of_america__1_1_1_3 n99_a_voice_of_america__1_1_1_1_1 NUM n99_a_voice_of_america__1_1_1_1->n99_a_voice_of_america__1_1_1_1_1 n99_a_voice_of_america__1_1_1_1_2 NS n99_a_voice_of_america__1_1_1_1->n99_a_voice_of_america__1_1_1_1_2 n99_a_voice_of_america__1_1_1_1_1->n99_a_voice_of_america__1_1_1_1_1_1 n99_a_voice_of_america__1_1_1_1_2->n99_a_voice_of_america__1_1_1_1_2_1 n99_a_voice_of_america__1_1_1_2->n99_a_voice_of_america__1_1_1_2_1 n99_a_voice_of_america__1_1_1_3_1 TO n99_a_voice_of_america__1_1_1_3->n99_a_voice_of_america__1_1_1_3_1 n99_a_voice_of_america__1_1_1_3_2 VB;_Tn_ n99_a_voice_of_america__1_1_1_3->n99_a_voice_of_america__1_1_1_3_2 n99_a_voice_of_america__1_1_1_3_3 NP-OB1 n99_a_voice_of_america__1_1_1_3->n99_a_voice_of_america__1_1_1_3_3 n99_a_voice_of_america__1_1_1_3_1->n99_a_voice_of_america__1_1_1_3_1_1 n99_a_voice_of_america__1_1_1_3_2->n99_a_voice_of_america__1_1_1_3_2_1 n99_a_voice_of_america__1_1_1_3_3_1 D n99_a_voice_of_america__1_1_1_3_3->n99_a_voice_of_america__1_1_1_3_3_1 n99_a_voice_of_america__1_1_1_3_3_2 N n99_a_voice_of_america__1_1_1_3_3->n99_a_voice_of_america__1_1_1_3_3_2 n99_a_voice_of_america__1_1_1_3_3_1->n99_a_voice_of_america__1_1_1_3_3_1_1 n99_a_voice_of_america__1_1_1_3_3_2->n99_a_voice_of_america__1_1_1_3_3_2_1 n99_a_voice_of_america__1_1_2->n99_a_voice_of_america__1_1_2_1 n99_a_voice_of_america__1_1_3_1 CONJ n99_a_voice_of_america__1_1_3->n99_a_voice_of_america__1_1_3_1 n99_a_voice_of_america__1_1_3_2 ILYR n99_a_voice_of_america__1_1_3->n99_a_voice_of_america__1_1_3_2 n99_a_voice_of_america__1_1_3_1->n99_a_voice_of_america__1_1_3_1_1 n99_a_voice_of_america__1_1_3_2_1 NP-SBJ n99_a_voice_of_america__1_1_3_2->n99_a_voice_of_america__1_1_3_2_1 n99_a_voice_of_america__1_1_3_2_2 BED;_cat_VePASS_ n99_a_voice_of_america__1_1_3_2->n99_a_voice_of_america__1_1_3_2_2 n99_a_voice_of_america__1_1_3_2_3 IP-PPL-CAT n99_a_voice_of_america__1_1_3_2->n99_a_voice_of_america__1_1_3_2_3 n99_a_voice_of_america__1_1_3_2_1_1 D n99_a_voice_of_america__1_1_3_2_1->n99_a_voice_of_america__1_1_3_2_1_1 n99_a_voice_of_america__1_1_3_2_1_2 NS n99_a_voice_of_america__1_1_3_2_1->n99_a_voice_of_america__1_1_3_2_1_2 n99_a_voice_of_america__1_1_3_2_1_1->n99_a_voice_of_america__1_1_3_2_1_1_1 n99_a_voice_of_america__1_1_3_2_1_2->n99_a_voice_of_america__1_1_3_2_1_2_1 n99_a_voice_of_america__1_1_3_2_2->n99_a_voice_of_america__1_1_3_2_2_1 n99_a_voice_of_america__1_1_3_2_3_1 NP-LGS n99_a_voice_of_america__1_1_3_2_3->n99_a_voice_of_america__1_1_3_2_3_1 n99_a_voice_of_america__1_1_3_2_3_2 VVN;_Tn_ n99_a_voice_of_america__1_1_3_2_3->n99_a_voice_of_america__1_1_3_2_3_2 n99_a_voice_of_america__1_1_3_2_3_1->n99_a_voice_of_america__1_1_3_2_3_1_1 n99_a_voice_of_america__1_1_3_2_3_2->n99_a_voice_of_america__1_1_3_2_3_2_1 n99_a_voice_of_america__1_2->n99_a_voice_of_america__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ (NUM Seven;{seven})
                              (NS miners;{miner}))
                      (VBD;_Tt_ managed;{manage})
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;_Tn_ reach;{reach})
                                  (NP-OB1 (D the;{the})
                                          (N surface;{surface}))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (D the;{the})
                                     (NS others;{other}))
                             (BED;_cat_VePASS_ were;{be})
                             (IP-PPL-CAT (NP-LGS *)
                                         (VVN;_Tn_ trapped;{trap})))))
          (PUNC .))
  (ID 99_a_voice_of_america;p00d0457))