54_a_lob_a02
Phones were being tapped and going out of action;
( (IP-MAT (NP-SBJ (NS Phones;{phone}))
(BED;_cat_Vg_ were;{be})
(IP-PPL-CAT (ILYR (ILYR (BAG;_cat_VePASS_ being;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ tapped;{tap})))
(CONJP (CONJ and;{and})
(ILYR (VAG;_Ipr_ going;{go[out_of]})
(PP-CLR (P-ROLE out_of;{out_of})
(NP (N action;{action})))))))
(PUNC ;))
(ID 54_a_lob_a02))
arc(r_0054_0002__were,r_0054_0005__and,scope).
arc(r_0054_0003__being,r_0054_0004__tapped,scope).
arc(r_0054_0004__tapped,r_0054_0001__Phones,arg1).
arc(r_0054_0004__tapped,z_0054_5004___star_,arg0).
arc(r_0054_0005__and,r_0054_0003__being,conj1).
arc(r_0054_0005__and,r_0054_0006__going_r_0054_0007__out_of,conj2).
arc(r_0054_0006__going_r_0054_0007__out_of,r_0054_0001__Phones,arg0).
arc(r_0054_0006__going_r_0054_0007__out_of,r_0054_0008__action,arg1).
fof(formula,axiom,
? [R_0054_0001__PHONES,Z_0054_5004___STAR_,R_0054_0003__BEING_R_0054_0004__TAPPED,R_0054_0008__ACTION,R_0054_0006__GOING_R_0054_0007__OUT_OF,R_0054_0005__AND,R_0054_0002__WERE] :
( r_0054_0001__Phones(R_0054_0001__PHONES)
& r_0054_0008__action(R_0054_0008__ACTION)
& z_0054_5004___star_(Z_0054_5004___STAR_)
& r_0054_0002__were(R_0054_0002__WERE)
& has_keep_scope(R_0054_0002__WERE,R_0054_0005__AND)
& r_0054_0005__and(R_0054_0005__AND)
& has_conj2(R_0054_0005__AND,R_0054_0006__GOING_R_0054_0007__OUT_OF)
& r_0054_0006__going_r_0054_0007__out_of(R_0054_0006__GOING_R_0054_0007__OUT_OF)
& has_arg1(R_0054_0006__GOING_R_0054_0007__OUT_OF,R_0054_0008__ACTION)
& has_arg0(R_0054_0006__GOING_R_0054_0007__OUT_OF,R_0054_0001__PHONES)
& has_conj1(R_0054_0005__AND,R_0054_0003__BEING_R_0054_0004__TAPPED)
& r_0054_0003__being_r_0054_0004__tapped(R_0054_0003__BEING_R_0054_0004__TAPPED)
& has_arg0(R_0054_0003__BEING_R_0054_0004__TAPPED,Z_0054_5004___STAR_)
& has_arg1(R_0054_0003__BEING_R_0054_0004__TAPPED,R_0054_0001__PHONES) ) ).