2_a_lob_n01
All his life he had been inclined to regard women as something which must necessarily be subordinated to his career.
( (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-OB1 (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))
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,nim).
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_0002__his,arg2).
arc(r_0002_0007__inclined,r_0002_0009__regard,arg1).
arc(r_0002_0007__inclined,z_0002_5018___star_,arg0).
arc(r_0002_0009__regard,r_0002_0002__his,arg0).
arc(r_0002_0009__regard,r_0002_0010__women,arg1).
arc(r_0002_0009__regard,r_0002_0012__something,r_0002_0011__as__prd).
arc(r_0002_0014__must,r_0002_0016__be,scope).
arc(r_0002_0016__be,r_0002_0015__necessarily,nim).
arc(r_0002_0016__be,r_0002_0017__subordinated_r_0002_0018__to,scope).
arc(r_0002_0017__subordinated_r_0002_0018__to,r_0002_0012__something,arg1).
arc(r_0002_0017__subordinated_r_0002_0018__to,r_0002_0020__career,arg2).
arc(r_0002_0017__subordinated_r_0002_0018__to,z_0002_5013___star_,arg0).
arc(r_0002_0020__career,r_0002_0002__his,gen).
fof(formula,axiom,
? [R_0002_0015__NECESSARILY,R_0002_0012__SOMETHING,R_0002_0002__HIS,R_0002_0020__CAREER,Z_0002_5013___STAR_,R_0002_0014__MUST_R_0002_0016__BE_R_0002_0017__SUBORDINATED_R_0002_0018__TO] :
( r_0002_0002__his(R_0002_0002__HIS)
& r_0002_0012__something(R_0002_0012__SOMETHING)
& r_0002_0015__necessarily(R_0002_0015__NECESSARILY)
& z_0002_5013___star_(Z_0002_5013___STAR_)
& r_0002_0014__must_r_0002_0016__be_r_0002_0017__subordinated_r_0002_0018__to(R_0002_0014__MUST_R_0002_0016__BE_R_0002_0017__SUBORDINATED_R_0002_0018__TO)
& has_arg0(R_0002_0014__MUST_R_0002_0016__BE_R_0002_0017__SUBORDINATED_R_0002_0018__TO,Z_0002_5013___STAR_)
& has_arg2(R_0002_0014__MUST_R_0002_0016__BE_R_0002_0017__SUBORDINATED_R_0002_0018__TO,R_0002_0020__CAREER)
& r_0002_0020__career(R_0002_0020__CAREER)
& has_gen(R_0002_0020__CAREER,R_0002_0002__HIS)
& has_arg1(R_0002_0014__MUST_R_0002_0016__BE_R_0002_0017__SUBORDINATED_R_0002_0018__TO,R_0002_0012__SOMETHING)
& has_nim(R_0002_0014__MUST_R_0002_0016__BE_R_0002_0017__SUBORDINATED_R_0002_0018__TO,R_0002_0015__NECESSARILY)
& ! [R_0002_0003__LIFE] :
( ( r_0002_0003__life(R_0002_0003__LIFE)
& has_gen(R_0002_0003__LIFE,R_0002_0002__HIS) )
=> ? [R_0002_0010__WOMEN,R_0002_0009__REGARD,Z_0002_5018___STAR_,R_0002_0005__HAD_R_0002_0006__BEEN_R_0002_0007__INCLINED] :
( r_0002_0010__women(R_0002_0010__WOMEN)
& z_0002_5018___star_(Z_0002_5018___STAR_)
& 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_0002_5018___STAR_)
& has_arg1(R_0002_0005__HAD_R_0002_0006__BEEN_R_0002_0007__INCLINED,R_0002_0009__REGARD)
& r_0002_0009__regard(R_0002_0009__REGARD)
& has_r_0002_0011__as__prd(R_0002_0009__REGARD,R_0002_0012__SOMETHING)
& has_arg1(R_0002_0009__REGARD,R_0002_0010__WOMEN)
& has_arg0(R_0002_0009__REGARD,R_0002_0002__HIS)
& has_arg2(R_0002_0005__HAD_R_0002_0006__BEEN_R_0002_0007__INCLINED,R_0002_0002__HIS)
& has_nim(R_0002_0005__HAD_R_0002_0006__BEEN_R_0002_0007__INCLINED,R_0002_0003__LIFE) ) ) ) ).