39_a_wilde_1_1888
“it is a fine position, with plenty of fresh air.”
arc(r_0039_0003__is, r_0039_0002__it, arg0).
arc(r_0039_0003__is, r_0039_0004__a_r_0039_0006__position, prd).
arc(r_0039_0004__a_r_0039_0006__position, r_0039_0005__fine, attrib12).
arc(r_0039_0004__a_r_0039_0006__position, z_000_39_a_wilde_1_1888_22, r_0039_0008__with).
arc(r_0039_0009__plenty_quant, r_0039_0004__a_r_0039_0006__position, scope).
arc(r_0039_0009__plenty_quant, z_000_39_a_wilde_1_1888_22, restriction).
arc(r_0039_0012__air, r_0039_0011__fresh, attrib29).
arc(z_000_39_a_wilde_1_1888_22, r_0039_0012__air, r_0039_0010__of).
fof(formula,axiom,
! [Z_39_A_WILDE_1_1888_22,R_39_12_AIR,R_39_11_FRESH] :
( ( fresh(R_39_11_FRESH)
& z_39_a_wilde_1_1888_22(Z_39_A_WILDE_1_1888_22)
& of(Z_39_A_WILDE_1_1888_22,R_39_12_AIR)
& air(R_39_12_AIR)
& attrib29(R_39_12_AIR,R_39_11_FRESH) )
=> ? [R_39_3_IS,R_39_2_IT,R_39_4_A_POSITION,R_39_5_FINE] :
( it(R_39_2_IT)
& fine(R_39_5_FINE)
& is(R_39_3_IS,R_39_2_IT,R_39_4_A_POSITION)
& a_position(R_39_4_A_POSITION)
& attrib12(R_39_4_A_POSITION,R_39_5_FINE)
& with(R_39_4_A_POSITION,Z_39_A_WILDE_1_1888_22) ) ) ).
( (IP-MAT (PULQ <ldquo>)
(NP-SBJ;{STATUE} (PRO it;{it}))
(BEP;_Ln_ is;{be})
(NP-PRD (D a;{a})
(ADJP (ADJ fine;{fine}))
(N position;{position})
(PUNC ,)
(PP (P-ROLE with;{with})
(NP (Q;_nphd_ plenty;{plenty})
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ fresh;{fresh}))
(N air;{air}))))))
(PUNC .)
(PURQ <rdquo>))
(ID 39_a_wilde_1_1888))