2_a_lob_n01
All his life he had been inclined to regard women as something which must necessarily be subordinated to his career.
arc(r_0002_0001__All_quant, r_0002_0003__life, restriction).
arc(r_0002_0001__All_quant, r_0002_0005__had, scope).
arc(r_0002_0003__life, r_0002_0002__his, gen).
arc(r_0002_0005__had, r_0002_0003__life, nim2).
arc(r_0002_0005__had, r_0002_0006__been, scope).
arc(r_0002_0006__been, r_0002_0007__inclined, scope).
arc(r_0002_0007__inclined, r_0002_0004__he, arg1).
arc(r_0002_0007__inclined, r_0002_0008__to_r_0002_0009__regard, prd).
arc(r_0002_0007__inclined, z_000_2_a_lob_n01_19, arg0).
arc(r_0002_0008__to_r_0002_0009__regard, r_0002_0010__women, arg1).
arc(r_0002_0008__to_r_0002_0009__regard, r_0002_0012__something, prd).
arc(r_0002_0008__to_r_0002_0009__regard, x_000_2_a_lob_n01_23, arg0).
arc(r_0002_0014__must, r_0002_0016__be, scope).
arc(r_0002_0016__be, r_0002_0015__necessarily, nim44).
arc(r_0002_0016__be, r_0002_0017__subordinated, scope).
arc(r_0002_0017__subordinated, r_0002_0012__something, arg1).
arc(r_0002_0017__subordinated, r_0002_0020__career, r_0002_0018__to_clr57).
arc(r_0002_0017__subordinated, z_000_2_a_lob_n01_50, arg0).
arc(r_0002_0020__career, r_0002_0004__he, gen).
fof(formula,axiom,
? [R_0002_0015__NECESSARILY,R_0002_0012__SOMETHING,R_0002_0004__HE,R_0002_0020__CAREER,Z_000_2_A_LOB_N01_50,R_0002_0014__MUST_R_0002_0016__BE_R_0002_0017__SUBORDINATED] :
( r_0002_0004__he(R_0002_0004__HE)
& r_0002_0012__something(R_0002_0012__SOMETHING)
& r_0002_0015__necessarily(R_0002_0015__NECESSARILY)
& z_000_2_a_lob_n01_50(Z_000_2_A_LOB_N01_50)
& r_0002_0014__must_r_0002_0016__be_r_0002_0017__subordinated(R_0002_0014__MUST_R_0002_0016__BE_R_0002_0017__SUBORDINATED)
& has_arg0(R_0002_0014__MUST_R_0002_0016__BE_R_0002_0017__SUBORDINATED,Z_000_2_A_LOB_N01_50)
& has_r_0002_0018__to_clr57(R_0002_0014__MUST_R_0002_0016__BE_R_0002_0017__SUBORDINATED,R_0002_0020__CAREER)
& r_0002_0020__career(R_0002_0020__CAREER)
& has_gen(R_0002_0020__CAREER,R_0002_0004__HE)
& has_arg1(R_0002_0014__MUST_R_0002_0016__BE_R_0002_0017__SUBORDINATED,R_0002_0012__SOMETHING)
& has_nim44(R_0002_0014__MUST_R_0002_0016__BE_R_0002_0017__SUBORDINATED,R_0002_0015__NECESSARILY)
& ! [R_0002_0003__LIFE,R_0002_0002__HIS] :
( ( r_0002_0002__his(R_0002_0002__HIS)
& r_0002_0003__life(R_0002_0003__LIFE)
& has_gen(R_0002_0003__LIFE,R_0002_0002__HIS) )
=> ? [R_0002_0010__WOMEN,X_000_2_A_LOB_N01_23,R_0002_0008__TO_R_0002_0009__REGARD,Z_000_2_A_LOB_N01_19,R_0002_0005__HAD_R_0002_0006__BEEN_R_0002_0007__INCLINED] :
( r_0002_0010__women(R_0002_0010__WOMEN)
& x_000_2_a_lob_n01_23(X_000_2_A_LOB_N01_23)
& z_000_2_a_lob_n01_19(Z_000_2_A_LOB_N01_19)
& r_0002_0005__had_r_0002_0006__been_r_0002_0007__inclined(R_0002_0005__HAD_R_0002_0006__BEEN_R_0002_0007__INCLINED)
& has_arg0(R_0002_0005__HAD_R_0002_0006__BEEN_R_0002_0007__INCLINED,Z_000_2_A_LOB_N01_19)
& has_prd(R_0002_0005__HAD_R_0002_0006__BEEN_R_0002_0007__INCLINED,R_0002_0008__TO_R_0002_0009__REGARD)
& r_0002_0008__to_r_0002_0009__regard(R_0002_0008__TO_R_0002_0009__REGARD)
& has_arg0(R_0002_0008__TO_R_0002_0009__REGARD,X_000_2_A_LOB_N01_23)
& has_prd(R_0002_0008__TO_R_0002_0009__REGARD,R_0002_0012__SOMETHING)
& has_arg1(R_0002_0008__TO_R_0002_0009__REGARD,R_0002_0010__WOMEN)
& has_arg1(R_0002_0005__HAD_R_0002_0006__BEEN_R_0002_0007__INCLINED,R_0002_0004__HE)
& has_nim2(R_0002_0005__HAD_R_0002_0006__BEEN_R_0002_0007__INCLINED,R_0002_0003__LIFE) ) ) ) ).
( (IP-MAT (NP-NIM (Q All;{all})
(NP-GEN;{ALASTAIR} (PRO;_genm_ his;{his}))
(N life;{life}))
(NP-SBJ;{ALASTAIR} (PRO he;{he}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Cn.t_ inclined;{incline})
(IP-INF-PRD (TO to;{to})
(VB;_Cn.n/a_ regard;{regard[as]})
(NP-OB1 (NS women;{woman}))
(PP-PRD (P-ROLE as;{as})
(NP (D;_nphd_ something;{something})
(IP-REL (NP-SBJ (RPRO which;{which}))
(MD;_cat_Vi_ must;{must})
(IP-INF-CAT (ADVP-NIM (ADV necessarily;{necessarily}))
(BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn.pr_ subordinated;{subordinate})
(PP-CLR (P-ROLE to;{to})
(NP (NP-GEN;{ALASTAIR} (PRO;_genm_ his;{his}))
(N career;{career})))))))))))
(PUNC .))
(ID 2_a_lob_n01))