TSPC 99_a_voice_of

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

( (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))

arc(r_0099_0003__managed,r_0099_0001__Seven_r_0099_0002__miners,arg0).
arc(r_0099_0003__managed,r_0099_0005__reach,arg1).
arc(r_0099_0005__reach,r_0099_0001__Seven_r_0099_0002__miners,arg0).
arc(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_0099_5008___star_,arg0).

fof(formula,axiom,
    ? [R_0099_0001__SEVEN_R_0099_0002__MINERS,R_0099_0006__THE_R_0099_0007__SURFACE,R_0099_0005__REACH,R_0099_0003__MANAGED,R_0099_0010__THE_R_0099_0011__OTHERS,Z_0099_5008___STAR_,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_0099_5008___star_(Z_0099_5008___STAR_)
      & 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_0099_5008___STAR_)
      & 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_0005__REACH)
      & r_0099_0005__reach(R_0099_0005__REACH)
      & has_arg1(R_0099_0005__REACH,R_0099_0006__THE_R_0099_0007__SURFACE)
      & has_arg0(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) ) ).