Context                Previous, Next                Top


54_a_lob_a02
Phones were being tapped and going out of action;

%3 r_0054_0002__were were r_0054_0005__and and r_0054_0002__were->r_0054_0005__and [scope] r_0054_0003__being being r_0054_0005__and->r_0054_0003__being [conj1] r_0054_0006__going going r_0054_0005__and->r_0054_0006__going [conj2] r_0054_0004__tapped tapped r_0054_0003__being->r_0054_0004__tapped [scope] r_0054_0001__Phones Phones r_0054_0004__tapped->r_0054_0001__Phones [arg1] z_000_54_a_lob_a02_13 r_0054_0004__tapped->z_000_54_a_lob_a02_13 [arg0] r_0054_0006__going->r_0054_0001__Phones [arg0] r_0054_0008__action action r_0054_0006__going->r_0054_0008__action out of [clr] 
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_000_54_a_lob_a02_13, arg0).
arc(r_0054_0005__and, r_0054_0003__being, conj1).
arc(r_0054_0005__and, r_0054_0006__going, conj2).
arc(r_0054_0006__going, r_0054_0001__Phones, arg0).
arc(r_0054_0006__going, r_0054_0008__action, r_0054_0007__out_of_clr26).


%3 r_0054_0002__were were r_0054_0005__and and r_0054_0002__were->r_0054_0005__and [keep_scope] r_0054_0003__being_r_0054_0004__tapped being tapped r_0054_0005__and->r_0054_0003__being_r_0054_0004__tapped [conj1] r_0054_0006__going going r_0054_0005__and->r_0054_0006__going [conj2] r_0054_0001__Phones Phones r_0054_0003__being_r_0054_0004__tapped->r_0054_0001__Phones [arg1] z_000_54_a_lob_a02_13 r_0054_0003__being_r_0054_0004__tapped->z_000_54_a_lob_a02_13 [arg0] r_0054_0006__going->r_0054_0001__Phones [arg0] r_0054_0008__action action r_0054_0006__going->r_0054_0008__action out of [clr] 
fof(formula,axiom,
    ~ ? [R_54_5_AND,R_54_3_BEING_TAPPED,Z_54_A_LOB_A02_13,R_54_6_GOING,R_54_1_PHONES,R_54_8_ACTION] :
        ( phones(R_54_1_PHONES)
        & action(R_54_8_ACTION)
        & and(R_54_5_AND)
        & conj1(R_54_5_AND,R_54_3_BEING_TAPPED)
        & being_tapped(R_54_3_BEING_TAPPED,Z_54_A_LOB_A02_13,R_54_1_PHONES)
        & conj2(R_54_5_AND,R_54_6_GOING)
        & going(R_54_6_GOING,R_54_1_PHONES)
        & out_of_clr26(R_54_6_GOING,R_54_8_ACTION) ) ).


n54_a_lob_a02 n54_a_lob_a02_4 Phones n54_a_lob_a02_6 were n54_a_lob_a02_11 being n54_a_lob_a02_14 * n54_a_lob_a02_16 tapped n54_a_lob_a02_19 and n54_a_lob_a02_22 going n54_a_lob_a02_25 out_of n54_a_lob_a02_28 action n54_a_lob_a02_30 ; n54_a_lob_a02_1 IP-MAT n54_a_lob_a02_2 NP-SBJ n54_a_lob_a02_1->n54_a_lob_a02_2 n54_a_lob_a02_5 BED;_cat_Vg_ n54_a_lob_a02_1->n54_a_lob_a02_5 n54_a_lob_a02_7 IP-PPL-CAT n54_a_lob_a02_1->n54_a_lob_a02_7 n54_a_lob_a02_29 PUNC n54_a_lob_a02_1->n54_a_lob_a02_29 n54_a_lob_a02_3 NS n54_a_lob_a02_2->n54_a_lob_a02_3 n54_a_lob_a02_3->n54_a_lob_a02_4 n54_a_lob_a02_5->n54_a_lob_a02_6 n54_a_lob_a02_8 ILYR n54_a_lob_a02_7->n54_a_lob_a02_8 n54_a_lob_a02_9 ILYR n54_a_lob_a02_8->n54_a_lob_a02_9 n54_a_lob_a02_17 CONJP n54_a_lob_a02_8->n54_a_lob_a02_17 n54_a_lob_a02_10 BAG;_cat_VePASS_ n54_a_lob_a02_9->n54_a_lob_a02_10 n54_a_lob_a02_12 IP-PPL-CAT n54_a_lob_a02_9->n54_a_lob_a02_12 n54_a_lob_a02_10->n54_a_lob_a02_11 n54_a_lob_a02_13 NP-LGS n54_a_lob_a02_12->n54_a_lob_a02_13 n54_a_lob_a02_15 VVN;_Tn_ n54_a_lob_a02_12->n54_a_lob_a02_15 n54_a_lob_a02_13->n54_a_lob_a02_14 n54_a_lob_a02_15->n54_a_lob_a02_16 n54_a_lob_a02_18 CONJ n54_a_lob_a02_17->n54_a_lob_a02_18 n54_a_lob_a02_20 ILYR n54_a_lob_a02_17->n54_a_lob_a02_20 n54_a_lob_a02_18->n54_a_lob_a02_19 n54_a_lob_a02_21 VAG;_Ipr_ n54_a_lob_a02_20->n54_a_lob_a02_21 n54_a_lob_a02_23 PP-CLR n54_a_lob_a02_20->n54_a_lob_a02_23 n54_a_lob_a02_21->n54_a_lob_a02_22 n54_a_lob_a02_24 P-ROLE n54_a_lob_a02_23->n54_a_lob_a02_24 n54_a_lob_a02_26 NP n54_a_lob_a02_23->n54_a_lob_a02_26 n54_a_lob_a02_24->n54_a_lob_a02_25 n54_a_lob_a02_27 N n54_a_lob_a02_26->n54_a_lob_a02_27 n54_a_lob_a02_27->n54_a_lob_a02_28 n54_a_lob_a02_29->n54_a_lob_a02_30 
( (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))