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_0030_0001__NATURALLY,R_0030_0003__WE,R_0030_0004__ALL,R_0030_0010__IT,Z_000_30_A_DUPLEX_20,R_0030_0008__TO_R_0030_0009__BREAK,R_0030_0006__AN_R_0030_0007__EFFORT,R_0030_0005__MADE] :
( r_0030_0001__Naturally(R_0030_0001__NATURALLY)
& r_0030_0003__we(R_0030_0003__WE)
& r_0030_0004__all(R_0030_0004__ALL)
& r_0030_0010__it(R_0030_0010__IT)
& z_000_30_a_duplex_20(Z_000_30_A_DUPLEX_20)
& r_0030_0005__made(R_0030_0005__MADE)
& has_arg1(R_0030_0005__MADE,R_0030_0006__AN_R_0030_0007__EFFORT)
& r_0030_0006__an_r_0030_0007__effort(R_0030_0006__AN_R_0030_0007__EFFORT)
& has_emb20(R_0030_0006__AN_R_0030_0007__EFFORT,R_0030_0008__TO_R_0030_0009__BREAK)
& r_0030_0008__to_r_0030_0009__break(R_0030_0008__TO_R_0030_0009__BREAK)
& has_arg0(R_0030_0008__TO_R_0030_0009__BREAK,Z_000_30_A_DUPLEX_20)
& has_arg1(R_0030_0008__TO_R_0030_0009__BREAK,R_0030_0010__IT)
& has_nim10(R_0030_0005__MADE,R_0030_0004__ALL)
& has_arg0(R_0030_0005__MADE,R_0030_0003__WE)
& has_nim2(R_0030_0005__MADE,R_0030_0001__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))