237_a_wilde_1_1888
“As he is no longer beautiful he is no longer useful,” said the Art Professor at the University.
( (IP-MAT (PULQ <ldquo>)
(utterance-OB1 (IP-MAT (PP-SCON (P-CONN As;{as})
(IP-ADV (NP-SBJ;{PRINCE} (PRO he;{he}))
(BEP;_La_ is;{be})
(ADJP-PRD (ADVP (NP (Q;_nphd_ no;{no}))
(ADVR longer;{long}))
(ADJ beautiful;{beautiful}))))
(NP-SBJ;{PRINCE} (PRO he;{he}))
(BEP;_La_ is;{be})
(ADJP-PRD (ADVP (NP (Q;_nphd_ no;{no}))
(ADVR longer;{long}))
(ADJ useful;{useful}))))
(PUNC ,)
(PURQ <rdquo>)
(VBD;_Tr_ said;{say})
(NP-SBJ;{ART_PROFESSOR} (D the;{the})
(N Art;{art})
(N Professor;{professor})
(PP (P-ROLE at;{at})
(NP (D the;{the})
(N University;{university}))))
(PUNC .))
(ID 237_a_wilde_1_1888))
arc(r_0237_0002__As,r_0237_0004__is,restriction).
arc(r_0237_0002__As,r_0237_0009__is,scope).
arc(r_0237_0004__is,r_0237_0003__he,arg0).
arc(r_0237_0004__is,r_0237_0007__beautiful,prd).
arc(r_0237_0005__no__quant,r_0237_0006__longer,scope).
arc(r_0237_0005__no__quant,z_0237_5008,restriction).
arc(r_0237_0006__longer,z_0237_5008,nim).
arc(r_0237_0007__beautiful,r_0237_0006__longer,qual).
arc(r_0237_0009__is,r_0237_0003__he,arg0).
arc(r_0237_0009__is,r_0237_0012__useful,prd).
arc(r_0237_0010__no__quant,r_0237_0011__longer,scope).
arc(r_0237_0010__no__quant,z_0237_5015,restriction).
arc(r_0237_0011__longer,z_0237_5015,nim).
arc(r_0237_0012__useful,r_0237_0011__longer,qual).
arc(r_0237_0015__said,r_0237_0016__the_r_0237_0017__Art_r_0237_0018__Professor,arg0).
arc(r_0237_0015__said,z_0237_5002__utterance,arg1).
arc(r_0237_0016__the_r_0237_0017__Art_r_0237_0018__Professor,r_0237_0020__the_r_0237_0021__University,r_0237_0019__at).
arc(z_0237_5002__utterance,r_0237_0002__As,part1).
fof(formula,axiom,
? [R_0237_0020__THE_R_0237_0021__UNIVERSITY,R_0237_0016__THE_R_0237_0017__ART_R_0237_0018__PROFESSOR,R_0237_0003__HE,Z_0237_5015,R_0237_0011__LONGER,R_0237_0012__USEFUL,R_0237_0009__IS,R_0237_0002__AS,Z_0237_5002__UTTERANCE,R_0237_0015__SAID] :
( r_0237_0003__he(R_0237_0003__HE)
& r_0237_0020__the_r_0237_0021__University(R_0237_0020__THE_R_0237_0021__UNIVERSITY)
& z_0237_5015(Z_0237_5015)
& r_0237_0015__said(R_0237_0015__SAID)
& has_arg1(R_0237_0015__SAID,Z_0237_5002__UTTERANCE)
& z_0237_5002__utterance(Z_0237_5002__UTTERANCE)
& has_part1(Z_0237_5002__UTTERANCE,R_0237_0002__AS)
& r_0237_0002__As(R_0237_0002__AS)
& has_conj2(R_0237_0002__AS,R_0237_0009__IS)
& r_0237_0009__is(R_0237_0009__IS)
& has_prd(R_0237_0009__IS,R_0237_0012__USEFUL)
& r_0237_0012__useful(R_0237_0012__USEFUL)
& has_qual(R_0237_0012__USEFUL,R_0237_0011__LONGER)
& r_0237_0011__longer(R_0237_0011__LONGER)
& has_nim(R_0237_0011__LONGER,Z_0237_5015)
& has_arg0(R_0237_0009__IS,R_0237_0003__HE)
& ! [Z_0237_5008] :
( z_0237_5008(Z_0237_5008)
=> ? [R_0237_0006__LONGER,R_0237_0007__BEAUTIFUL,R_0237_0004__IS] :
( r_0237_0004__is(R_0237_0004__IS)
& has_prd(R_0237_0004__IS,R_0237_0007__BEAUTIFUL)
& r_0237_0007__beautiful(R_0237_0007__BEAUTIFUL)
& has_qual(R_0237_0007__BEAUTIFUL,R_0237_0006__LONGER)
& r_0237_0006__longer(R_0237_0006__LONGER)
& has_nim(R_0237_0006__LONGER,Z_0237_5008)
& has_arg0(R_0237_0004__IS,R_0237_0003__HE) ) )
& has_arg0(R_0237_0015__SAID,R_0237_0016__THE_R_0237_0017__ART_R_0237_0018__PROFESSOR)
& r_0237_0016__the_r_0237_0017__Art_r_0237_0018__Professor(R_0237_0016__THE_R_0237_0017__ART_R_0237_0018__PROFESSOR)
& has_r_0237_0019__at(R_0237_0016__THE_R_0237_0017__ART_R_0237_0018__PROFESSOR,R_0237_0020__THE_R_0237_0021__UNIVERSITY)
& ( z_0237_5015(Z_0237_5015)
=> r_0237_0009__is(R_0237_0009__IS) ) ) ).