86_a_lob_a02
Its terms have set the Prime Minister an exacting problem.
arc(r_0086_0002__terms, r_0086_0001__Its, gen).
arc(r_0086_0003__have, r_0086_0004__set, scope).
arc(r_0086_0004__set, r_0086_0002__terms, arg0).
arc(r_0086_0004__set, r_0086_0005__the_r_0086_0006__Prime_r_0086_0007__Minister, arg2).
arc(r_0086_0004__set, r_0086_0008__an_r_0086_0010__problem, arg1).
arc(r_0086_0008__an_r_0086_0010__problem, r_0086_0009__exacting, attrib23).
fof(formula,axiom,
? [R_86_3_HAVE_SET,R_86_2_TERMS,R_86_1_ITS,R_86_8_AN_PROBLEM,R_86_9_EXACTING,R_86_5_THE_PRIME_MINISTER] :
( its(R_86_1_ITS)
& exacting(R_86_9_EXACTING)
& the_Prime_Minister(R_86_5_THE_PRIME_MINISTER)
& have_set(R_86_3_HAVE_SET,R_86_2_TERMS,R_86_8_AN_PROBLEM,R_86_5_THE_PRIME_MINISTER)
& terms(R_86_2_TERMS)
& gen(R_86_2_TERMS,R_86_1_ITS)
& an_problem(R_86_8_AN_PROBLEM)
& attrib23(R_86_8_AN_PROBLEM,R_86_9_EXACTING) ) ).
( (IP-MAT (NP-SBJ (NP-GEN (PRO;_genm_ Its;{its}))
(NS terms;{term}))
(HV;_cat_Ve_ have;{have})
(IP-PPL-CAT (VVN;__ set;{set})
(NP-OB2 (D the;{the})
(N Prime;{prime})
(N Minister;{minister}))
(NP-OB1 (D an;{an})
(ADJP (ADJ exacting;{exacting}))
(N problem;{problem})))
(PUNC .))
(ID 86_a_lob_a02))