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.
arc(r_0091_0003__service, r_0091_0002__his, gen).
arc(r_0091_0005__was, r_0091_0003__service, r_0091_0001__In_nim7).
arc(r_0091_0005__was, r_0091_0006__known, scope).
arc(r_0091_0006__known, r_0091_0004__he, arg2).
arc(r_0091_0006__known, r_0091_0007__to_r_0091_0008__be, arg1).
arc(r_0091_0006__known, z_000_91_a_lob_n01_19, arg0).
arc(r_0091_0007__to_r_0091_0008__be, r_0091_0004__he, arg0).
arc(r_0091_0007__to_r_0091_0008__be, r_0091_0009__ruthless, prd).
arc(r_0091_0009__ruthless, r_0091_0010__to_r_0091_0011__incompetence, emb31).
arc(r_0091_0010__to_r_0091_0011__incompetence, z_000_91_a_lob_n01_31, 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_0014__he, arg0).
arc(r_0091_0016__had, r_0091_0015__seldom, nim45).
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, nim61).
arc(r_0091_0020__recruiting, r_0091_0022__the_r_0091_0023__staff, arg1).
arc(r_0091_0020__recruiting, z_000_91_a_lob_n01_58, arg0).
arc(r_0091_0025__needed, r_0091_0014__he, arg0).
arc(r_0091_0025__needed, r_0091_0022__the_r_0091_0023__staff, arg1).
fof(formula,axiom,
? [R_91_13_BUT,R_91_5_WAS_KNOWN,Z_91_A_LOB_N01_19,R_91_7_TO_BE,R_91_9_RUTHLESS,R_91_10_TO_INCOMPETENCE,Z_91_A_LOB_N01_31,R_91_4_HE,R_91_3_SERVICE,R_91_2_HIS,R_91_16_HAD,R_91_17_ANY_DIFFICULTY,R_91_20_RECRUITING,Z_91_A_LOB_N01_58,R_91_21_PRECISELY,R_91_15_SELDOM,R_91_25_NEEDED,R_91_14_HE,R_91_22_THE_STAFF] :
( he(R_91_4_HE)
& his(R_91_2_HIS)
& precisely(R_91_21_PRECISELY)
& seldom(R_91_15_SELDOM)
& he(R_91_14_HE)
& the_staff(R_91_22_THE_STAFF)
& but(R_91_13_BUT)
& conj1(R_91_13_BUT,R_91_5_WAS_KNOWN)
& was_known(R_91_5_WAS_KNOWN,Z_91_A_LOB_N01_19,R_91_7_TO_BE,R_91_4_HE)
& to_be(R_91_7_TO_BE,R_91_4_HE,R_91_9_RUTHLESS)
& ruthless(R_91_9_RUTHLESS)
& emb31(R_91_9_RUTHLESS,R_91_10_TO_INCOMPETENCE)
& to_incompetence(R_91_10_TO_INCOMPETENCE,Z_91_A_LOB_N01_31)
& in_nim7(R_91_5_WAS_KNOWN,R_91_3_SERVICE)
& service(R_91_3_SERVICE)
& gen(R_91_3_SERVICE,R_91_2_HIS)
& conj2(R_91_13_BUT,R_91_16_HAD)
& had(R_91_16_HAD,R_91_14_HE,R_91_17_ANY_DIFFICULTY)
& any_difficulty(R_91_17_ANY_DIFFICULTY)
& in(R_91_17_ANY_DIFFICULTY,R_91_20_RECRUITING)
& recruiting(R_91_20_RECRUITING,Z_91_A_LOB_N01_58,R_91_22_THE_STAFF)
& nim61(R_91_20_RECRUITING,R_91_21_PRECISELY)
& nim45(R_91_16_HAD,R_91_15_SELDOM)
& needed(R_91_25_NEEDED,R_91_14_HE,R_91_22_THE_STAFF) ) ).
( (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))