101_a_lob_a01
‘We are dealing with a noble edifice which needs an imaginative architect to improve it, but it has got a quantity surveyor.
arc(r_0101_0003__are, r_0101_0004__dealing, scope).
arc(r_0101_0004__dealing, r_0101_0002__We, arg0).
arc(r_0101_0004__dealing, r_0101_0006__a_r_0101_0008__edifice, r_0101_0005__with_clr17).
arc(r_0101_0006__a_r_0101_0008__edifice, r_0101_0007__noble, attrib20).
arc(r_0101_0010__needs, r_0101_0006__a_r_0101_0008__edifice, arg0).
arc(r_0101_0010__needs, r_0101_0011__an_r_0101_0013__architect, arg1).
arc(r_0101_0011__an_r_0101_0013__architect, r_0101_0012__imaginative, attrib34).
arc(r_0101_0014__to_r_0101_0015__improve, r_0101_0006__a_r_0101_0008__edifice, arg1).
arc(r_0101_0014__to_r_0101_0015__improve, r_0101_0011__an_r_0101_0013__architect, arg0).
arc(r_0101_0018__but, r_0101_0003__are, conj1).
arc(r_0101_0018__but, r_0101_0020__has, conj2).
arc(r_0101_0020__has, r_0101_0021__got, scope).
arc(r_0101_0021__got, r_0101_0006__a_r_0101_0008__edifice, arg0).
arc(r_0101_0021__got, r_0101_0022__a_r_0101_0023__quantity_r_0101_0024__surveyor, arg1).
fof(formula,axiom,
? [R_0101_0007__NOBLE,R_0101_0006__A_R_0101_0008__EDIFICE,R_0101_0012__IMAGINATIVE,R_0101_0011__AN_R_0101_0013__ARCHITECT,R_0101_0010__NEEDS,R_0101_0014__TO_R_0101_0015__IMPROVE,R_0101_0002__WE,R_0101_0003__ARE_R_0101_0004__DEALING,R_0101_0022__A_R_0101_0023__QUANTITY_R_0101_0024__SURVEYOR,R_0101_0020__HAS_R_0101_0021__GOT,R_0101_0018__BUT] :
( r_0101_0002__We(R_0101_0002__WE)
& r_0101_0007__noble(R_0101_0007__NOBLE)
& r_0101_0012__imaginative(R_0101_0012__IMAGINATIVE)
& r_0101_0022__a_r_0101_0023__quantity_r_0101_0024__surveyor(R_0101_0022__A_R_0101_0023__QUANTITY_R_0101_0024__SURVEYOR)
& r_0101_0018__but(R_0101_0018__BUT)
& has_conj2(R_0101_0018__BUT,R_0101_0020__HAS_R_0101_0021__GOT)
& r_0101_0020__has_r_0101_0021__got(R_0101_0020__HAS_R_0101_0021__GOT)
& has_arg1(R_0101_0020__HAS_R_0101_0021__GOT,R_0101_0022__A_R_0101_0023__QUANTITY_R_0101_0024__SURVEYOR)
& has_arg0(R_0101_0020__HAS_R_0101_0021__GOT,R_0101_0006__A_R_0101_0008__EDIFICE)
& r_0101_0006__a_r_0101_0008__edifice(R_0101_0006__A_R_0101_0008__EDIFICE)
& has_attrib20(R_0101_0006__A_R_0101_0008__EDIFICE,R_0101_0007__NOBLE)
& has_conj1(R_0101_0018__BUT,R_0101_0003__ARE_R_0101_0004__DEALING)
& r_0101_0003__are_r_0101_0004__dealing(R_0101_0003__ARE_R_0101_0004__DEALING)
& has_r_0101_0005__with_clr17(R_0101_0003__ARE_R_0101_0004__DEALING,R_0101_0006__A_R_0101_0008__EDIFICE)
& has_arg0(R_0101_0003__ARE_R_0101_0004__DEALING,R_0101_0002__WE)
& r_0101_0014__to_r_0101_0015__improve(R_0101_0014__TO_R_0101_0015__IMPROVE)
& has_arg0(R_0101_0014__TO_R_0101_0015__IMPROVE,R_0101_0011__AN_R_0101_0013__ARCHITECT)
& r_0101_0011__an_r_0101_0013__architect(R_0101_0011__AN_R_0101_0013__ARCHITECT)
& has_attrib34(R_0101_0011__AN_R_0101_0013__ARCHITECT,R_0101_0012__IMAGINATIVE)
& has_arg1(R_0101_0014__TO_R_0101_0015__IMPROVE,R_0101_0006__A_R_0101_0008__EDIFICE)
& r_0101_0010__needs(R_0101_0010__NEEDS)
& has_arg1(R_0101_0010__NEEDS,R_0101_0011__AN_R_0101_0013__ARCHITECT)
& has_arg0(R_0101_0010__NEEDS,R_0101_0006__A_R_0101_0008__EDIFICE) ) ).
( (IP-MAT (ILYR (PULQ <lquo>)
(ILYR (NP-SBJ (PRO We;{we}))
(BEP;_cat_Vg_ are;{be})
(IP-PPL-CAT (VAG;__ dealing;{deal})
(PP-CLR (P-ROLE with;{with})
(NP;{HEALTH_SERVICE} (D a;{a})
(ADJP (ADJ noble;{noble}))
(N edifice;{edifice})
(IP-REL (NP-SBJ (RPRO which;{which}))
(VBP;__ needs;{need})
(NP-OB1 (D an;{an})
(ADJP (ADJ imaginative;{imaginative}))
(N architect;{architect})
(IP-INF-REL (NP-SBJ *T*)
(TO to;{to})
(VB;__ improve;{improve})
(NP-OB1;{HEALTH_SERVICE} (PRO it;{it})))))))))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (NP-SBJ;{HEALTH_SERVICE} (PRO it;{it}))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (VVN;__ got;{get})
(NP-OB1 (D a;{a})
(N quantity;{quantity})
(N surveyor;{surveyor}))))))
(PUNC .))
(ID 101_a_lob_a01))