30_a_duplex
Naturally, we all made an effort to break it.
arc(r_0030_0005__made, r_0030_0001__Naturally, nim2).
arc(r_0030_0005__made, r_0030_0003__we, arg0).
arc(r_0030_0005__made, r_0030_0004__all, nim10).
arc(r_0030_0005__made, r_0030_0006__an_r_0030_0007__effort, arg1).
arc(r_0030_0006__an_r_0030_0007__effort, r_0030_0008__to_r_0030_0009__break, emb20).
arc(r_0030_0008__to_r_0030_0009__break, r_0030_0010__it, arg1).
arc(r_0030_0008__to_r_0030_0009__break, z_000_30_a_duplex_20, arg0).
fof(formula,axiom,
? [R_30_5_MADE,R_30_3_WE,R_30_6_AN_EFFORT,R_30_8_TO_BREAK,Z_30_A_DUPLEX_20,R_30_10_IT,R_30_4_ALL,R_30_1_NATURALLY] :
( we(R_30_3_WE)
& it(R_30_10_IT)
& all(R_30_4_ALL)
& naturally(R_30_1_NATURALLY)
& made(R_30_5_MADE,R_30_3_WE,R_30_6_AN_EFFORT)
& an_effort(R_30_6_AN_EFFORT)
& emb20(R_30_6_AN_EFFORT,R_30_8_TO_BREAK)
& to_break(R_30_8_TO_BREAK,Z_30_A_DUPLEX_20,R_30_10_IT)
& nim10(R_30_5_MADE,R_30_4_ALL)
& nim2(R_30_5_MADE,R_30_1_NATURALLY) ) ).
( (IP-MAT (ADVP-NIM (ADV Naturally;{naturally}))
(PUNC ,)
(NP-SBJ;{JOURNALISTS} (PRO we;{we}))
(ADVP-NIM (ADV all;{all}))
(VBD;_Tn_ made;{make})
(NP-OB1 (D an;{an})
(N effort;{effort})
(IP-INF (TO to;{to})
(VB;_Tn_ break;{break})
(NP-OB1;{ROBOT_CALLER} (PRO it;{it}))))
(PUNC .))
(ID 30_a_duplex))