121_a_voice_of_america
He later escaped from prison while awaiting a new trial.
arc(r_0121_0003__escaped, r_0121_0001__He, arg0).
arc(r_0121_0003__escaped, r_0121_0002__later, nim5).
arc(r_0121_0003__escaped, r_0121_0005__prison, r_0121_0004__from_clr13).
arc(r_0121_0006__while, r_0121_0003__escaped, scope).
arc(r_0121_0006__while, r_0121_0007__awaiting, restriction).
arc(r_0121_0007__awaiting, r_0121_0001__He, arg0).
arc(r_0121_0007__awaiting, r_0121_0008__a_r_0121_0010__trial, arg1).
arc(r_0121_0008__a_r_0121_0010__trial, r_0121_0009__new, attrib25).
fof(formula,axiom,
? [R_121_6_WHILE,R_121_7_AWAITING,R_121_8_A_TRIAL,R_121_9_NEW,R_121_3_ESCAPED,R_121_1_HE,R_121_2_LATER,R_121_5_PRISON] :
( new(R_121_9_NEW)
& he(R_121_1_HE)
& later(R_121_2_LATER)
& prison(R_121_5_PRISON)
& while(R_121_6_WHILE)
& conj1(R_121_6_WHILE,R_121_7_AWAITING)
& awaiting(R_121_7_AWAITING,R_121_1_HE,R_121_8_A_TRIAL)
& a_trial(R_121_8_A_TRIAL)
& attrib25(R_121_8_A_TRIAL,R_121_9_NEW)
& conj2(R_121_6_WHILE,R_121_3_ESCAPED)
& escaped(R_121_3_ESCAPED,R_121_1_HE)
& nim5(R_121_3_ESCAPED,R_121_2_LATER)
& from_clr13(R_121_3_ESCAPED,R_121_5_PRISON) ) ).
( (IP-MAT (NP-SBJ;{CARRILES} (PRO He;{he}))
(ADVP-NIM (ADV later;{later}))
(VBD;_Ipr_ escaped;{escape[from]})
(PP-CLR (P-ROLE from;{from})
(NP (N prison;{prison})))
(PP-SCON (P-CONN while;{while})
(IP-PPL2 (VAG;_Tn_ awaiting;{await})
(NP-OB1 (D a;{a})
(ADJP (ADJ new;{new}))
(N trial;{trial}))))
(PUNC .))
(ID 121_a_voice_of_america;p00d0653))