2_a_lob_a02
Our man in Paris is no 1 aide to Heath.
( (IP-MAT (NP-SBJ (NP-GEN (PRO;_genm_ Our;{our}))
(N man;{man})
(PP (P-ROLE in;{in})
(NP (NPR Paris;{Paris}))))
(BEP;_Ln_ is;{be})
(NP-PRD (Q no;{no})
(NUM 1)
(N aide;{aide})
(PP (P-ROLE to;{to})
(NP (NPR Heath;{Heath}))))
(PUNC .))
(ID 2_a_lob_a02))
arc(r_0002_0002__man,r_0002_0001__Our,gen).
arc(r_0002_0002__man,r_0002_0004__Paris,r_0002_0003__in).
arc(r_0002_0005__is,r_0002_0002__man,arg0).
arc(r_0002_0005__is,r_0002_0007__1_r_0002_0008__aide,prd).
arc(r_0002_0006__no__quant,r_0002_0005__is,scope).
arc(r_0002_0006__no__quant,r_0002_0007__1_r_0002_0008__aide,restriction).
arc(r_0002_0007__1_r_0002_0008__aide,r_0002_0010__Heath,r_0002_0009__to).
fof(formula,axiom,
! [R_0002_0007__1_R_0002_0008__AIDE,R_0002_0010__HEATH] :
( ( r_0002_0010__Heath(R_0002_0010__HEATH)
& r_0002_0007__1_r_0002_0008__aide(R_0002_0007__1_R_0002_0008__AIDE)
& has_r_0002_0009__to(R_0002_0007__1_R_0002_0008__AIDE,R_0002_0010__HEATH) )
=> ? [R_0002_0001__OUR,R_0002_0004__PARIS,R_0002_0002__MAN,R_0002_0005__IS] :
( r_0002_0001__Our(R_0002_0001__OUR)
& r_0002_0004__Paris(R_0002_0004__PARIS)
& r_0002_0005__is(R_0002_0005__IS)
& has_prd(R_0002_0005__IS,R_0002_0007__1_R_0002_0008__AIDE)
& has_arg0(R_0002_0005__IS,R_0002_0002__MAN)
& r_0002_0002__man(R_0002_0002__MAN)
& has_r_0002_0003__in(R_0002_0002__MAN,R_0002_0004__PARIS)
& has_gen(R_0002_0002__MAN,R_0002_0001__OUR) ) ) ).