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_0006__going going r_0054_0005__and->r_0054_0006__going [conj2] 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_0008__action action r_0054_0006__going->r_0054_0008__action out of [clr] r_0054_0001__Phones Phones r_0054_0006__going->r_0054_0001__Phones [arg0] 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] 
fof(formula,axiom,
    ? [R_0054_0001__PHONES,Z_000_54_A_LOB_A02_13,R_0054_0003__BEING_R_0054_0004__TAPPED,R_0054_0008__ACTION,R_0054_0006__GOING,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_000_54_a_lob_a02_13(Z_000_54_A_LOB_A02_13)
      & 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_0006__going(R_0054_0006__GOING)
      & has_r_0054_0007__out_of_clr26(R_0054_0006__GOING,R_0054_0008__ACTION)
      & has_arg0(R_0054_0006__GOING,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_000_54_A_LOB_A02_13)
      & has_arg1(R_0054_0003__BEING_R_0054_0004__TAPPED,R_0054_0001__PHONES) ) ).


n54_a_lob_a02 n54_a_lob_a02__1_1_1_1 Phones n54_a_lob_a02__1_2_1 were n54_a_lob_a02__1_3_1_1_1_1 being n54_a_lob_a02__1_3_1_1_2_1_1 * n54_a_lob_a02__1_3_1_1_2_2_1 tapped n54_a_lob_a02__1_3_1_2_1_1 and n54_a_lob_a02__1_3_1_2_2_1_1 going n54_a_lob_a02__1_3_1_2_2_2_1_1 out_of n54_a_lob_a02__1_3_1_2_2_2_2_1_1 action n54_a_lob_a02__1_4_1 ; n54_a_lob_a02__1 IP-MAT n54_a_lob_a02__1_1 NP-SBJ n54_a_lob_a02__1->n54_a_lob_a02__1_1 n54_a_lob_a02__1_2 BED;_cat_Vg_ n54_a_lob_a02__1->n54_a_lob_a02__1_2 n54_a_lob_a02__1_3 IP-PPL-CAT n54_a_lob_a02__1->n54_a_lob_a02__1_3 n54_a_lob_a02__1_4 PUNC n54_a_lob_a02__1->n54_a_lob_a02__1_4 n54_a_lob_a02__1_1_1 NS n54_a_lob_a02__1_1->n54_a_lob_a02__1_1_1 n54_a_lob_a02__1_1_1->n54_a_lob_a02__1_1_1_1 n54_a_lob_a02__1_2->n54_a_lob_a02__1_2_1 n54_a_lob_a02__1_3_1 ILYR n54_a_lob_a02__1_3->n54_a_lob_a02__1_3_1 n54_a_lob_a02__1_3_1_1 ILYR n54_a_lob_a02__1_3_1->n54_a_lob_a02__1_3_1_1 n54_a_lob_a02__1_3_1_2 CONJP n54_a_lob_a02__1_3_1->n54_a_lob_a02__1_3_1_2 n54_a_lob_a02__1_3_1_1_1 BAG;_cat_VePASS_ n54_a_lob_a02__1_3_1_1->n54_a_lob_a02__1_3_1_1_1 n54_a_lob_a02__1_3_1_1_2 IP-PPL-CAT n54_a_lob_a02__1_3_1_1->n54_a_lob_a02__1_3_1_1_2 n54_a_lob_a02__1_3_1_1_1->n54_a_lob_a02__1_3_1_1_1_1 n54_a_lob_a02__1_3_1_1_2_1 NP-LGS n54_a_lob_a02__1_3_1_1_2->n54_a_lob_a02__1_3_1_1_2_1 n54_a_lob_a02__1_3_1_1_2_2 VVN;_Tn_ n54_a_lob_a02__1_3_1_1_2->n54_a_lob_a02__1_3_1_1_2_2 n54_a_lob_a02__1_3_1_1_2_1->n54_a_lob_a02__1_3_1_1_2_1_1 n54_a_lob_a02__1_3_1_1_2_2->n54_a_lob_a02__1_3_1_1_2_2_1 n54_a_lob_a02__1_3_1_2_1 CONJ n54_a_lob_a02__1_3_1_2->n54_a_lob_a02__1_3_1_2_1 n54_a_lob_a02__1_3_1_2_2 ILYR n54_a_lob_a02__1_3_1_2->n54_a_lob_a02__1_3_1_2_2 n54_a_lob_a02__1_3_1_2_1->n54_a_lob_a02__1_3_1_2_1_1 n54_a_lob_a02__1_3_1_2_2_1 VAG;_Ipr_ n54_a_lob_a02__1_3_1_2_2->n54_a_lob_a02__1_3_1_2_2_1 n54_a_lob_a02__1_3_1_2_2_2 PP-CLR n54_a_lob_a02__1_3_1_2_2->n54_a_lob_a02__1_3_1_2_2_2 n54_a_lob_a02__1_3_1_2_2_1->n54_a_lob_a02__1_3_1_2_2_1_1 n54_a_lob_a02__1_3_1_2_2_2_1 P-ROLE n54_a_lob_a02__1_3_1_2_2_2->n54_a_lob_a02__1_3_1_2_2_2_1 n54_a_lob_a02__1_3_1_2_2_2_2 NP n54_a_lob_a02__1_3_1_2_2_2->n54_a_lob_a02__1_3_1_2_2_2_2 n54_a_lob_a02__1_3_1_2_2_2_1->n54_a_lob_a02__1_3_1_2_2_2_1_1 n54_a_lob_a02__1_3_1_2_2_2_2_1 N n54_a_lob_a02__1_3_1_2_2_2_2->n54_a_lob_a02__1_3_1_2_2_2_2_1 n54_a_lob_a02__1_3_1_2_2_2_2_1->n54_a_lob_a02__1_3_1_2_2_2_2_1_1 n54_a_lob_a02__1_4->n54_a_lob_a02__1_4_1 
( (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))