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_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_r_0099_0013__trapped were trapped r_0099_0009__but->r_0099_0012__were_r_0099_0013__trapped [conj2] 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] 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] 
fof(formula,axiom,
    ? [R_99_9_BUT,R_99_3_MANAGED,R_99_4_TO_REACH,R_99_1_SEVEN_MINERS,R_99_6_THE_SURFACE,R_99_12_WERE_TRAPPED,Z_99_A_VOICE_OF_AMERICA_35,R_99_10_THE_OTHERS] :
      ( seven_miners(R_99_1_SEVEN_MINERS)
      & the_surface(R_99_6_THE_SURFACE)
      & the_others(R_99_10_THE_OTHERS)
      & but(R_99_9_BUT)
      & conj1(R_99_9_BUT,R_99_3_MANAGED)
      & managed(R_99_3_MANAGED,R_99_1_SEVEN_MINERS,R_99_4_TO_REACH)
      & to_reach(R_99_4_TO_REACH,R_99_1_SEVEN_MINERS,R_99_6_THE_SURFACE)
      & conj2(R_99_9_BUT,R_99_12_WERE_TRAPPED)
      & were_trapped(R_99_12_WERE_TRAPPED,Z_99_A_VOICE_OF_AMERICA_35,R_99_10_THE_OTHERS) ) ).


n99_a_voice_of_america n99_a_voice_of_america_6 Seven n99_a_voice_of_america_8 miners n99_a_voice_of_america_10 managed n99_a_voice_of_america_13 to n99_a_voice_of_america_15 reach n99_a_voice_of_america_18 the n99_a_voice_of_america_20 surface n99_a_voice_of_america_22 , n99_a_voice_of_america_25 but n99_a_voice_of_america_29 the n99_a_voice_of_america_31 others n99_a_voice_of_america_33 were n99_a_voice_of_america_36 * n99_a_voice_of_america_38 trapped n99_a_voice_of_america_40 . n99_a_voice_of_america_1 IP-MAT n99_a_voice_of_america_2 ILYR n99_a_voice_of_america_1->n99_a_voice_of_america_2 n99_a_voice_of_america_39 PUNC n99_a_voice_of_america_1->n99_a_voice_of_america_39 n99_a_voice_of_america_3 ILYR n99_a_voice_of_america_2->n99_a_voice_of_america_3 n99_a_voice_of_america_21 PUNC n99_a_voice_of_america_2->n99_a_voice_of_america_21 n99_a_voice_of_america_23 CONJP n99_a_voice_of_america_2->n99_a_voice_of_america_23 n99_a_voice_of_america_4 NP-SBJ n99_a_voice_of_america_3->n99_a_voice_of_america_4 n99_a_voice_of_america_9 VBD;_Tt_ n99_a_voice_of_america_3->n99_a_voice_of_america_9 n99_a_voice_of_america_11 IP-INF-OB1 n99_a_voice_of_america_3->n99_a_voice_of_america_11 n99_a_voice_of_america_5 NUM n99_a_voice_of_america_4->n99_a_voice_of_america_5 n99_a_voice_of_america_7 NS n99_a_voice_of_america_4->n99_a_voice_of_america_7 n99_a_voice_of_america_5->n99_a_voice_of_america_6 n99_a_voice_of_america_7->n99_a_voice_of_america_8 n99_a_voice_of_america_9->n99_a_voice_of_america_10 n99_a_voice_of_america_12 TO n99_a_voice_of_america_11->n99_a_voice_of_america_12 n99_a_voice_of_america_14 VB;_Tn_ n99_a_voice_of_america_11->n99_a_voice_of_america_14 n99_a_voice_of_america_16 NP-OB1 n99_a_voice_of_america_11->n99_a_voice_of_america_16 n99_a_voice_of_america_12->n99_a_voice_of_america_13 n99_a_voice_of_america_14->n99_a_voice_of_america_15 n99_a_voice_of_america_17 D n99_a_voice_of_america_16->n99_a_voice_of_america_17 n99_a_voice_of_america_19 N n99_a_voice_of_america_16->n99_a_voice_of_america_19 n99_a_voice_of_america_17->n99_a_voice_of_america_18 n99_a_voice_of_america_19->n99_a_voice_of_america_20 n99_a_voice_of_america_21->n99_a_voice_of_america_22 n99_a_voice_of_america_24 CONJ n99_a_voice_of_america_23->n99_a_voice_of_america_24 n99_a_voice_of_america_26 ILYR n99_a_voice_of_america_23->n99_a_voice_of_america_26 n99_a_voice_of_america_24->n99_a_voice_of_america_25 n99_a_voice_of_america_27 NP-SBJ n99_a_voice_of_america_26->n99_a_voice_of_america_27 n99_a_voice_of_america_32 BED;_cat_VePASS_ n99_a_voice_of_america_26->n99_a_voice_of_america_32 n99_a_voice_of_america_34 IP-PPL-CAT n99_a_voice_of_america_26->n99_a_voice_of_america_34 n99_a_voice_of_america_28 D n99_a_voice_of_america_27->n99_a_voice_of_america_28 n99_a_voice_of_america_30 NS n99_a_voice_of_america_27->n99_a_voice_of_america_30 n99_a_voice_of_america_28->n99_a_voice_of_america_29 n99_a_voice_of_america_30->n99_a_voice_of_america_31 n99_a_voice_of_america_32->n99_a_voice_of_america_33 n99_a_voice_of_america_35 NP-LGS n99_a_voice_of_america_34->n99_a_voice_of_america_35 n99_a_voice_of_america_37 VVN;_Tn_ n99_a_voice_of_america_34->n99_a_voice_of_america_37 n99_a_voice_of_america_35->n99_a_voice_of_america_36 n99_a_voice_of_america_37->n99_a_voice_of_america_38 n99_a_voice_of_america_39->n99_a_voice_of_america_40 
( (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))