18_a_wsj_1640
No personal computer, not even the one on a chief executive's desk, is safe, this speaker noted.
( (IP-MAT (utterance-OB1 (IP-MAT (NP-SBJ (Q No;{no})
(ADJP (ADJ personal;{personal}))
(N computer;{computer})
(PUNC ,)
(PRN (NP (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))
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,attrib).
arc(r_0018_0007__the_r_0018_0008__one,r_0018_0005__not_r_0018_0006__even,qual).
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,gen).
arc(r_0018_0012__executive,r_0018_0011__chief,attrib).
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,z_0018_5002__utterance,arg1).
arc(z_0018_5002__utterance,r_0018_0001__No__quant,part1).
arc(z_0018_5011,r_0018_0003__computer,arg0).
arc(z_0018_5011,r_0018_0007__the_r_0018_0008__one,prd).
fof(formula,axiom,
? [R_0018_0019__THIS_R_0018_0020__SPEAKER,Z_0018_5002__UTTERANCE,R_0018_0021__NOTED] :
( r_0018_0019__this_r_0018_0020__speaker(R_0018_0019__THIS_R_0018_0020__SPEAKER)
& ~ ( has_arg1(R_0018_0021__NOTED,Z_0018_5002__UTTERANCE)
& z_0018_5002__utterance(Z_0018_5002__UTTERANCE)
& ! [R_0018_0003__COMPUTER,R_0018_0002__PERSONAL,R_0018_0005__NOT_R_0018_0006__EVEN,R_0018_0011__CHIEF,R_0018_0012__EXECUTIVE,R_0018_0010__A_R_0018_0014__DESK,R_0018_0007__THE_R_0018_0008__ONE,Z_0018_5011] :
( ( r_0018_0002__personal(R_0018_0002__PERSONAL)
& r_0018_0005__not_r_0018_0006__even(R_0018_0005__NOT_R_0018_0006__EVEN)
& r_0018_0011__chief(R_0018_0011__CHIEF)
& z_0018_5011(Z_0018_5011)
& has_prd(Z_0018_5011,R_0018_0007__THE_R_0018_0008__ONE)
& r_0018_0007__the_r_0018_0008__one(R_0018_0007__THE_R_0018_0008__ONE)
& has_r_0018_0009__on(R_0018_0007__THE_R_0018_0008__ONE,R_0018_0010__A_R_0018_0014__DESK)
& r_0018_0010__a_r_0018_0014__desk(R_0018_0010__A_R_0018_0014__DESK)
& has_gen(R_0018_0010__A_R_0018_0014__DESK,R_0018_0012__EXECUTIVE)
& r_0018_0012__executive(R_0018_0012__EXECUTIVE)
& has_attrib(R_0018_0012__EXECUTIVE,R_0018_0011__CHIEF)
& has_qual(R_0018_0007__THE_R_0018_0008__ONE,R_0018_0005__NOT_R_0018_0006__EVEN)
& has_arg0(Z_0018_5011,R_0018_0003__COMPUTER)
& r_0018_0003__computer(R_0018_0003__COMPUTER)
& has_attrib(R_0018_0003__COMPUTER,R_0018_0002__PERSONAL) )
=> ? [R_0018_0017__SAFE,R_0018_0016__IS] :
( r_0018_0017__safe(R_0018_0017__SAFE)
& r_0018_0016__is(R_0018_0016__IS)
& has_prd(R_0018_0016__IS,R_0018_0017__SAFE)
& has_arg0(R_0018_0016__IS,R_0018_0003__COMPUTER) ) )
& has_arg0(R_0018_0021__NOTED,R_0018_0019__THIS_R_0018_0020__SPEAKER) ) ) ).