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_2_14_MUST_BE_SUBORDINATED,Z_2_A_LOB_N01_50,R_2_12_SOMETHING,R_2_15_NECESSARILY,R_2_20_CAREER,R_2_4_HE] :
( something(R_2_12_SOMETHING)
& necessarily(R_2_15_NECESSARILY)
& he(R_2_4_HE)
& ! [R_2_3_LIFE,R_2_2_HIS] :
( ( his(R_2_2_HIS)
& life(R_2_3_LIFE)
& gen(R_2_3_LIFE,R_2_2_HIS) )
=> ? [R_2_5_HAD_BEEN_INCLINED,Z_2_A_LOB_N01_19,R_2_8_TO_REGARD,X_2_A_LOB_N01_23,R_2_10_WOMEN] :
( women(R_2_10_WOMEN)
& had_been_inclined(R_2_5_HAD_BEEN_INCLINED,Z_2_A_LOB_N01_19,R_2_4_HE,R_2_8_TO_REGARD)
& to_regard(R_2_8_TO_REGARD,X_2_A_LOB_N01_23,R_2_10_WOMEN,R_2_12_SOMETHING)
& nim2(R_2_5_HAD_BEEN_INCLINED,R_2_3_LIFE) ) )
& must_be_subordinated(R_2_14_MUST_BE_SUBORDINATED,Z_2_A_LOB_N01_50,R_2_12_SOMETHING)
& nim44(R_2_14_MUST_BE_SUBORDINATED,R_2_15_NECESSARILY)
& to_clr57(R_2_14_MUST_BE_SUBORDINATED,R_2_20_CAREER)
& career(R_2_20_CAREER)
& gen(R_2_20_CAREER,R_2_4_HE) ) ).
( (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))