91_a_lob_n01
In his service he was known to be ruthless to incompetence, but he seldom had any difficulty in recruiting precisely the staff he needed.
( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE In;{in})
(NP (NP-GEN;{ALASTAIR} (PRO;_genm_ his;{his}))
(N service;{service})))
(NP-SBJ;{ALASTAIR} (PRO he;{he}))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;__ known;{know})
(IP-INF-OB1 (TO to;{to})
(BE;_La_ be;{be})
(ADJP-PRD (ADJ;_cat_ ruthless;{ruthless})
(IP-INF (TO to;{to})
(VB;__ incompetence;{incompetence}))))))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (NP-SBJ;{ALASTAIR} (PRO he;{he}))
(ADVP-NIM (ADV seldom;{seldom}))
(HVD;_Tn_ had;{have})
(NP-OB1 (D any;{any})
(N difficulty;{difficulty})
(PP (P-ROLE in;{in})
(IP-PPL (VAG;__ recruiting;{recruit})
(ADVP-NIM (ADV precisely;{precisely}))
(NP-OB1 (D the;{the})
(N staff;{staff})
(IP-REL (NP-OB1 *T*)
(NP-SBJ;{ALASTAIR} (PRO he;{he}))
(VBD;__ needed;{need})))))))))
(PUNC .))
(ID 91_a_lob_n01))
arc(r_0091_0003__service,r_0091_0002__his,gen).
arc(r_0091_0005__was,r_0091_0003__service,r_0091_0001__In__nim).
arc(r_0091_0005__was,r_0091_0006__known,scope).
arc(r_0091_0006__known,r_0091_0002__his,arg2).
arc(r_0091_0006__known,r_0091_0008__be,arg1).
arc(r_0091_0006__known,z_0091_5010___star_,arg0).
arc(r_0091_0008__be,r_0091_0009__ruthless,scope).
arc(r_0091_0009__ruthless,r_0091_0011__incompetence,scope).
arc(r_0091_0011__incompetence,r_0091_0002__his,arg0).
arc(r_0091_0013__but,r_0091_0005__was,conj1).
arc(r_0091_0013__but,r_0091_0016__had,conj2).
arc(r_0091_0016__had,r_0091_0002__his,arg0).
arc(r_0091_0016__had,r_0091_0015__seldom,nim).
arc(r_0091_0016__had,r_0091_0017__any_r_0091_0018__difficulty,arg1).
arc(r_0091_0017__any_r_0091_0018__difficulty,r_0091_0020__recruiting,r_0091_0019__in).
arc(r_0091_0020__recruiting,r_0091_0021__precisely,nim).
arc(r_0091_0020__recruiting,r_0091_0022__the_r_0091_0023__staff,arg1).
arc(r_0091_0020__recruiting,z_0091_5017,arg0).
arc(r_0091_0025__needed,r_0091_0002__his,arg0).
arc(r_0091_0025__needed,r_0091_0022__the_r_0091_0023__staff,inv_arg1).
fof(formula,axiom,
? [R_0091_0002__HIS,R_0091_0003__SERVICE,R_0091_0008__BE_R_0091_0009__RUTHLESS_R_0091_0011__INCOMPETENCE,Z_0091_5010___STAR_,R_0091_0005__WAS_R_0091_0006__KNOWN,R_0091_0015__SELDOM,R_0091_0021__PRECISELY,R_0091_0025__NEEDED,R_0091_0022__THE_R_0091_0023__STAFF,Z_0091_5017,R_0091_0020__RECRUITING,R_0091_0017__ANY_R_0091_0018__DIFFICULTY,R_0091_0016__HAD,R_0091_0013__BUT] :
( r_0091_0002__his(R_0091_0002__HIS)
& r_0091_0015__seldom(R_0091_0015__SELDOM)
& r_0091_0021__precisely(R_0091_0021__PRECISELY)
& z_0091_5010___star_(Z_0091_5010___STAR_)
& z_0091_5017(Z_0091_5017)
& r_0091_0013__but(R_0091_0013__BUT)
& has_conj2(R_0091_0013__BUT,R_0091_0016__HAD)
& r_0091_0016__had(R_0091_0016__HAD)
& has_arg1(R_0091_0016__HAD,R_0091_0017__ANY_R_0091_0018__DIFFICULTY)
& r_0091_0017__any_r_0091_0018__difficulty(R_0091_0017__ANY_R_0091_0018__DIFFICULTY)
& has_r_0091_0019__in(R_0091_0017__ANY_R_0091_0018__DIFFICULTY,R_0091_0020__RECRUITING)
& r_0091_0020__recruiting(R_0091_0020__RECRUITING)
& has_arg0(R_0091_0020__RECRUITING,Z_0091_5017)
& has_arg1(R_0091_0020__RECRUITING,R_0091_0022__THE_R_0091_0023__STAFF)
& r_0091_0022__the_r_0091_0023__staff(R_0091_0022__THE_R_0091_0023__STAFF)
& has_inv_arg1(R_0091_0022__THE_R_0091_0023__STAFF,R_0091_0025__NEEDED)
& r_0091_0025__needed(R_0091_0025__NEEDED)
& has_arg0(R_0091_0025__NEEDED,R_0091_0002__HIS)
& has_nim(R_0091_0020__RECRUITING,R_0091_0021__PRECISELY)
& has_nim(R_0091_0016__HAD,R_0091_0015__SELDOM)
& has_arg0(R_0091_0016__HAD,R_0091_0002__HIS)
& has_conj1(R_0091_0013__BUT,R_0091_0005__WAS_R_0091_0006__KNOWN)
& r_0091_0005__was_r_0091_0006__known(R_0091_0005__WAS_R_0091_0006__KNOWN)
& has_arg0(R_0091_0005__WAS_R_0091_0006__KNOWN,Z_0091_5010___STAR_)
& has_arg1(R_0091_0005__WAS_R_0091_0006__KNOWN,R_0091_0008__BE_R_0091_0009__RUTHLESS_R_0091_0011__INCOMPETENCE)
& r_0091_0008__be_r_0091_0009__ruthless_r_0091_0011__incompetence(R_0091_0008__BE_R_0091_0009__RUTHLESS_R_0091_0011__INCOMPETENCE)
& has_arg0(R_0091_0008__BE_R_0091_0009__RUTHLESS_R_0091_0011__INCOMPETENCE,R_0091_0002__HIS)
& has_arg2(R_0091_0005__WAS_R_0091_0006__KNOWN,R_0091_0002__HIS)
& has_r_0091_0001__In__nim(R_0091_0005__WAS_R_0091_0006__KNOWN,R_0091_0003__SERVICE)
& r_0091_0003__service(R_0091_0003__SERVICE)
& has_gen(R_0091_0003__SERVICE,R_0091_0002__HIS) ) ).