47_a_lob_a01
One of his tasks will be to see there is no racial discrimination in government and state housing projects.
( (IP-MAT (NP-SBJ (NUM One;{one})
(PP (P-ROLE of;{of})
(NP (NP-GEN;{WEAVER} (PRO;_genm_ his;{his}))
(NS tasks;{task}))))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (BE;_equ_Vt_ be;{be})
(IP-INF-PRD (TO to;{to})
(VB;_Tf_ see;{see})
(CP-THT-OB1 (IP-SUB (EX there;{there})
(BEP;_ex_Vpr_ is;{be})
(NP-ESBJ (Q no;{no})
(ADJP (ADJ racial;{racial}))
(N discrimination;{discrimination}))
(PP-CLR (P-ROLE in;{in})
(NP (NLYR (NLYR (NLYR (N government;{government}))
(CONJP (CONJ and;{and})
(NLYR (N state;{state})))))
(N housing;{housing})
(NS projects;{project})))))))
(PUNC .))
(ID 47_a_lob_a01))
arc(r_0047_0001__One,r_0047_0004__tasks,r_0047_0002__of).
arc(r_0047_0004__tasks,r_0047_0003__his,gen).
arc(r_0047_0005__will,r_0047_0006__be,scope).
arc(r_0047_0006__be,r_0047_0001__One,arg0).
arc(r_0047_0006__be,r_0047_0008__see,prd).
arc(r_0047_0008__see,r_0047_0011__no__quant,arg1).
arc(r_0047_0008__see,z_0047_5006,arg0).
arc(r_0047_0010__is_r_0047_0014__in,r_0047_0013__discrimination,arg0).
arc(r_0047_0010__is_r_0047_0014__in,r_0047_0018__housing_r_0047_0019__projects,arg1).
arc(r_0047_0011__no__quant,r_0047_0010__is_r_0047_0014__in,scope).
arc(r_0047_0011__no__quant,r_0047_0013__discrimination,restriction).
arc(r_0047_0013__discrimination,r_0047_0012__racial,attrib).
arc(r_0047_0016__and,r_0047_0015__government,conj1).
arc(r_0047_0016__and,r_0047_0017__state,conj2).
arc(r_0047_0018__housing_r_0047_0019__projects,r_0047_0016__and,nim).
fof(formula,axiom,
? [R_0047_0003__HIS,R_0047_0004__TASKS,R_0047_0001__ONE,Z_0047_5006,R_0047_0008__SEE,R_0047_0005__WILL_R_0047_0006__BE] :
( r_0047_0003__his(R_0047_0003__HIS)
& z_0047_5006(Z_0047_5006)
& r_0047_0005__will_r_0047_0006__be(R_0047_0005__WILL_R_0047_0006__BE)
& has_prd(R_0047_0005__WILL_R_0047_0006__BE,R_0047_0008__SEE)
& r_0047_0008__see(R_0047_0008__SEE)
& has_arg0(R_0047_0008__SEE,Z_0047_5006)
& ! [R_0047_0013__DISCRIMINATION,R_0047_0012__RACIAL] :
( ( r_0047_0012__racial(R_0047_0012__RACIAL)
& r_0047_0013__discrimination(R_0047_0013__DISCRIMINATION)
& has_attrib(R_0047_0013__DISCRIMINATION,R_0047_0012__RACIAL) )
=> ? [R_0047_0015__GOVERNMENT,R_0047_0017__STATE,R_0047_0016__AND,R_0047_0018__HOUSING_R_0047_0019__PROJECTS,R_0047_0010__IS_R_0047_0014__IN] :
( r_0047_0015__government(R_0047_0015__GOVERNMENT)
& r_0047_0017__state(R_0047_0017__STATE)
& r_0047_0010__is_r_0047_0014__in(R_0047_0010__IS_R_0047_0014__IN)
& has_arg1(R_0047_0010__IS_R_0047_0014__IN,R_0047_0018__HOUSING_R_0047_0019__PROJECTS)
& r_0047_0018__housing_r_0047_0019__projects(R_0047_0018__HOUSING_R_0047_0019__PROJECTS)
& has_nim(R_0047_0018__HOUSING_R_0047_0019__PROJECTS,R_0047_0016__AND)
& r_0047_0016__and(R_0047_0016__AND)
& has_conj2(R_0047_0016__AND,R_0047_0017__STATE)
& has_conj1(R_0047_0016__AND,R_0047_0015__GOVERNMENT)
& has_arg0(R_0047_0010__IS_R_0047_0014__IN,R_0047_0013__DISCRIMINATION) ) )
& has_arg0(R_0047_0005__WILL_R_0047_0006__BE,R_0047_0001__ONE)
& r_0047_0001__One(R_0047_0001__ONE)
& has_r_0047_0002__of(R_0047_0001__ONE,R_0047_0004__TASKS)
& r_0047_0004__tasks(R_0047_0004__TASKS)
& has_gen(R_0047_0004__TASKS,R_0047_0003__HIS) ) ).