Context                Previous, Next                Top


18_a_wsj_1640
No personal computer, not even the one on a chief executive's desk, is safe, this speaker noted.

%3 r_0018_0001__No_quant No [quant] r_0018_0003__computer computer r_0018_0001__No_quant->r_0018_0003__computer [restriction] r_0018_0016__is is r_0018_0001__No_quant->r_0018_0016__is [scope] r_0018_0002__personal personal r_0018_0003__computer->r_0018_0002__personal [attrib] r_0018_0016__is->r_0018_0003__computer [arg0] r_0018_0017__safe safe r_0018_0016__is->r_0018_0017__safe [prd] r_0018_0007__the_r_0018_0008__one the one r_0018_0005__not_r_0018_0006__even not even r_0018_0007__the_r_0018_0008__one->r_0018_0005__not_r_0018_0006__even [qual] r_0018_0010__a_r_0018_0014__desk a desk r_0018_0007__the_r_0018_0008__one->r_0018_0010__a_r_0018_0014__desk on r_0018_0012__executive_r_0018_0013___apos_s executive 's r_0018_0010__a_r_0018_0014__desk->r_0018_0012__executive_r_0018_0013___apos_s [gen] r_0018_0011__chief chief r_0018_0012__executive_r_0018_0013___apos_s->r_0018_0011__chief [attrib] r_0018_0021__noted noted r_0018_0019__this_r_0018_0020__speaker this speaker r_0018_0021__noted->r_0018_0019__this_r_0018_0020__speaker [arg0] utterance_18_a_wsj_1640_2 [utterance] r_0018_0021__noted->utterance_18_a_wsj_1640_2 [arg1] utterance_18_a_wsj_1640_2->r_0018_0001__No_quant [part1] z_000_18_a_wsj_1640_14 z_000_18_a_wsj_1640_14->r_0018_0003__computer [arg0] z_000_18_a_wsj_1640_14->r_0018_0007__the_r_0018_0008__one [prd] 
arc(r_0018_0001__No_quant, r_0018_0003__computer, restriction).
arc(r_0018_0001__No_quant, r_0018_0016__is, scope).
arc(r_0018_0003__computer, r_0018_0002__personal, attrib7).
arc(r_0018_0007__the_r_0018_0008__one, r_0018_0005__not_r_0018_0006__even, qual16).
arc(r_0018_0007__the_r_0018_0008__one, r_0018_0010__a_r_0018_0014__desk, r_0018_0009__on).
arc(r_0018_0010__a_r_0018_0014__desk, r_0018_0012__executive_r_0018_0013___apos_s, gen).
arc(r_0018_0012__executive_r_0018_0013___apos_s, r_0018_0011__chief, attrib32).
arc(r_0018_0016__is, r_0018_0003__computer, arg0).
arc(r_0018_0016__is, r_0018_0017__safe, prd).
arc(r_0018_0021__noted, r_0018_0019__this_r_0018_0020__speaker, arg0).
arc(r_0018_0021__noted, utterance_18_a_wsj_1640_2, arg1).
arc(utterance_18_a_wsj_1640_2, r_0018_0001__No_quant, part1).
arc(z_000_18_a_wsj_1640_14, r_0018_0003__computer, arg0).
arc(z_000_18_a_wsj_1640_14, r_0018_0007__the_r_0018_0008__one, prd).


%3 r_0018_0001__No_quant No [quant] r_0018_0016__is is r_0018_0001__No_quant->r_0018_0016__is [scope] z_000_18_a_wsj_1640_14 r_0018_0001__No_quant->z_000_18_a_wsj_1640_14 [restriction] r_0018_0003__computer computer r_0018_0016__is->r_0018_0003__computer [arg0] r_0018_0017__safe safe r_0018_0016__is->r_0018_0017__safe [prd] z_000_18_a_wsj_1640_14->r_0018_0003__computer [arg0] r_0018_0007__the_r_0018_0008__one the one z_000_18_a_wsj_1640_14->r_0018_0007__the_r_0018_0008__one [prd] r_0018_0002__personal personal r_0018_0003__computer->r_0018_0002__personal [attrib] r_0018_0005__not_r_0018_0006__even not even r_0018_0007__the_r_0018_0008__one->r_0018_0005__not_r_0018_0006__even [qual] r_0018_0010__a_r_0018_0014__desk a desk r_0018_0007__the_r_0018_0008__one->r_0018_0010__a_r_0018_0014__desk on r_0018_0012__executive_r_0018_0013___apos_s executive 's r_0018_0010__a_r_0018_0014__desk->r_0018_0012__executive_r_0018_0013___apos_s [gen] r_0018_0011__chief chief r_0018_0012__executive_r_0018_0013___apos_s->r_0018_0011__chief [attrib] r_0018_0021__noted noted r_0018_0019__this_r_0018_0020__speaker this speaker r_0018_0021__noted->r_0018_0019__this_r_0018_0020__speaker [arg0] utterance_18_a_wsj_1640_2 [utterance] r_0018_0021__noted->utterance_18_a_wsj_1640_2 [arg1] utterance_18_a_wsj_1640_2->r_0018_0001__No_quant [part1] 
fof(formula,axiom,
    ? [R_18_21_NOTED,R_18_19_THIS_SPEAKER,UTTERANCE_18_A_WSJ_1640_2] :
      ( this_speaker(R_18_19_THIS_SPEAKER)
      & noted(R_18_21_NOTED,R_18_19_THIS_SPEAKER,UTTERANCE_18_A_WSJ_1640_2)
      & ! [Z_18_A_WSJ_1640_14,R_18_3_COMPUTER,R_18_2_PERSONAL,R_18_7_THE_ONE,R_18_5_NOT_EVEN,R_18_10_A_DESK,R_18_12_EXECUTIVE_APOS_S,R_18_11_CHIEF] :
          ( ( personal(R_18_2_PERSONAL)
            & not_even(R_18_5_NOT_EVEN)
            & chief(R_18_11_CHIEF)
            & z_18_a_wsj_1640_14(Z_18_A_WSJ_1640_14,R_18_3_COMPUTER,R_18_7_THE_ONE)
            & computer(R_18_3_COMPUTER)
            & attrib7(R_18_3_COMPUTER,R_18_2_PERSONAL)
            & the_one(R_18_7_THE_ONE)
            & qual16(R_18_7_THE_ONE,R_18_5_NOT_EVEN)
            & on(R_18_7_THE_ONE,R_18_10_A_DESK)
            & a_desk(R_18_10_A_DESK)
            & gen(R_18_10_A_DESK,R_18_12_EXECUTIVE_APOS_S)
            & executive_apos_s(R_18_12_EXECUTIVE_APOS_S)
            & attrib32(R_18_12_EXECUTIVE_APOS_S,R_18_11_CHIEF) )
         => ? [R_18_16_IS,R_18_17_SAFE] :
              ( safe(R_18_17_SAFE)
              & is(R_18_16_IS,R_18_3_COMPUTER,R_18_17_SAFE) ) )
      & part1(PART1)
      & utterance_18_a_wsj_1640_2(UTTERANCE_18_A_WSJ_1640_2) ) ).


n18_a_wsj_1640 n18_a_wsj_1640_6 No n18_a_wsj_1640_9 personal n18_a_wsj_1640_11 computer n18_a_wsj_1640_13 , n18_a_wsj_1640_18 not n18_a_wsj_1640_20 even n18_a_wsj_1640_22 the n18_a_wsj_1640_24 one n18_a_wsj_1640_27 on n18_a_wsj_1640_30 a n18_a_wsj_1640_34 chief n18_a_wsj_1640_36 executive n18_a_wsj_1640_38 's n18_a_wsj_1640_40 desk n18_a_wsj_1640_42 , n18_a_wsj_1640_44 is n18_a_wsj_1640_47 safe n18_a_wsj_1640_49 , n18_a_wsj_1640_52 this n18_a_wsj_1640_54 speaker n18_a_wsj_1640_56 noted n18_a_wsj_1640_58 . n18_a_wsj_1640_1 IP-MAT n18_a_wsj_1640_2 utterance-OB1 n18_a_wsj_1640_1->n18_a_wsj_1640_2 n18_a_wsj_1640_48 PUNC n18_a_wsj_1640_1->n18_a_wsj_1640_48 n18_a_wsj_1640_50 NP-SBJ n18_a_wsj_1640_1->n18_a_wsj_1640_50 n18_a_wsj_1640_55 VBD;_Tr_ n18_a_wsj_1640_1->n18_a_wsj_1640_55 n18_a_wsj_1640_57 PUNC n18_a_wsj_1640_1->n18_a_wsj_1640_57 n18_a_wsj_1640_3 IP-MAT n18_a_wsj_1640_2->n18_a_wsj_1640_3 n18_a_wsj_1640_4 NP-SBJ n18_a_wsj_1640_3->n18_a_wsj_1640_4 n18_a_wsj_1640_41 PUNC n18_a_wsj_1640_3->n18_a_wsj_1640_41 n18_a_wsj_1640_43 BEP;_La_ n18_a_wsj_1640_3->n18_a_wsj_1640_43 n18_a_wsj_1640_45 ADJP-PRD n18_a_wsj_1640_3->n18_a_wsj_1640_45 n18_a_wsj_1640_5 Q n18_a_wsj_1640_4->n18_a_wsj_1640_5 n18_a_wsj_1640_7 ADJP n18_a_wsj_1640_4->n18_a_wsj_1640_7 n18_a_wsj_1640_10 N n18_a_wsj_1640_4->n18_a_wsj_1640_10 n18_a_wsj_1640_12 PUNC n18_a_wsj_1640_4->n18_a_wsj_1640_12 n18_a_wsj_1640_14 IP-PPL n18_a_wsj_1640_4->n18_a_wsj_1640_14 n18_a_wsj_1640_5->n18_a_wsj_1640_6 n18_a_wsj_1640_8 ADJ n18_a_wsj_1640_7->n18_a_wsj_1640_8 n18_a_wsj_1640_8->n18_a_wsj_1640_9 n18_a_wsj_1640_10->n18_a_wsj_1640_11 n18_a_wsj_1640_12->n18_a_wsj_1640_13 n18_a_wsj_1640_15 NP-PRD n18_a_wsj_1640_14->n18_a_wsj_1640_15 n18_a_wsj_1640_16 ADVP n18_a_wsj_1640_15->n18_a_wsj_1640_16 n18_a_wsj_1640_21 D n18_a_wsj_1640_15->n18_a_wsj_1640_21 n18_a_wsj_1640_23 NUM n18_a_wsj_1640_15->n18_a_wsj_1640_23 n18_a_wsj_1640_25 PP n18_a_wsj_1640_15->n18_a_wsj_1640_25 n18_a_wsj_1640_17 NEG n18_a_wsj_1640_16->n18_a_wsj_1640_17 n18_a_wsj_1640_19 ADV n18_a_wsj_1640_16->n18_a_wsj_1640_19 n18_a_wsj_1640_17->n18_a_wsj_1640_18 n18_a_wsj_1640_19->n18_a_wsj_1640_20 n18_a_wsj_1640_21->n18_a_wsj_1640_22 n18_a_wsj_1640_23->n18_a_wsj_1640_24 n18_a_wsj_1640_26 P-ROLE n18_a_wsj_1640_25->n18_a_wsj_1640_26 n18_a_wsj_1640_28 NP n18_a_wsj_1640_25->n18_a_wsj_1640_28 n18_a_wsj_1640_26->n18_a_wsj_1640_27 n18_a_wsj_1640_29 D n18_a_wsj_1640_28->n18_a_wsj_1640_29 n18_a_wsj_1640_31 NP-GEN n18_a_wsj_1640_28->n18_a_wsj_1640_31 n18_a_wsj_1640_39 N n18_a_wsj_1640_28->n18_a_wsj_1640_39 n18_a_wsj_1640_29->n18_a_wsj_1640_30 n18_a_wsj_1640_32 ADJP n18_a_wsj_1640_31->n18_a_wsj_1640_32 n18_a_wsj_1640_35 N n18_a_wsj_1640_31->n18_a_wsj_1640_35 n18_a_wsj_1640_37 GENM n18_a_wsj_1640_31->n18_a_wsj_1640_37 n18_a_wsj_1640_33 ADJ n18_a_wsj_1640_32->n18_a_wsj_1640_33 n18_a_wsj_1640_33->n18_a_wsj_1640_34 n18_a_wsj_1640_35->n18_a_wsj_1640_36 n18_a_wsj_1640_37->n18_a_wsj_1640_38 n18_a_wsj_1640_39->n18_a_wsj_1640_40 n18_a_wsj_1640_41->n18_a_wsj_1640_42 n18_a_wsj_1640_43->n18_a_wsj_1640_44 n18_a_wsj_1640_46 ADJ n18_a_wsj_1640_45->n18_a_wsj_1640_46 n18_a_wsj_1640_46->n18_a_wsj_1640_47 n18_a_wsj_1640_48->n18_a_wsj_1640_49 n18_a_wsj_1640_51 D n18_a_wsj_1640_50->n18_a_wsj_1640_51 n18_a_wsj_1640_53 N n18_a_wsj_1640_50->n18_a_wsj_1640_53 n18_a_wsj_1640_51->n18_a_wsj_1640_52 n18_a_wsj_1640_53->n18_a_wsj_1640_54 n18_a_wsj_1640_55->n18_a_wsj_1640_56 n18_a_wsj_1640_57->n18_a_wsj_1640_58 
( (IP-MAT (utterance-OB1 (IP-MAT (NP-SBJ (Q No;{no})
                                         (ADJP (ADJ personal;{personal}))
                                         (N computer;{computer})
                                         (PUNC ,)
                                         (IP-PPL (NP-PRD (ADVP (NEG not;{not})
                                                               (ADV even;{even}))
                                                         (D the;{the})
                                                         (NUM one;{one})
                                                         (PP (P-ROLE on;{on})
                                                             (NP (D a;{a})
                                                                 (NP-GEN (ADJP (ADJ chief;{chief}))
                                                                         (N executive;{executive})
                                                                         (GENM <apos>s))
                                                                 (N desk;{desk}))))))
                                 (PUNC ,)
                                 (BEP;_La_ is;{be})
                                 (ADJP-PRD (ADJ safe;{safe}))))
          (PUNC ,)
          (NP-SBJ;{EXPERT} (D this;{this})
                           (N speaker;{speaker}))
          (VBD;_Tr_ noted;{note})
          (PUNC .))
  (ID 18_a_wsj_1640))