arc(r_0045_0001__One, r_0045_0004__tasks, r_0045_0002__of).
arc(r_0045_0004__tasks, r_0045_0003__his, gen).
arc(r_0045_0005__will, r_0045_0006__be, scope).
arc(r_0045_0006__be, r_0045_0001__One, arg0).
arc(r_0045_0006__be, r_0045_0007__to_r_0045_0008__see, prd).
arc(r_0045_0007__to_r_0045_0008__see, r_0045_0011__no_quant, arg1).
arc(r_0045_0007__to_r_0045_0008__see, x_000_45_a_lob_a01_19, arg0).
arc(r_0045_0009__there_r_0045_0010__is, r_0045_0013__discrimination, arg0).
arc(r_0045_0009__there_r_0045_0010__is, r_0045_0015__government_and_state_r_0045_0016__housing_r_0045_0017__projects, r_0045_0014__in_clr41).
arc(r_0045_0011__no_quant, r_0045_0009__there_r_0045_0010__is, scope).
arc(r_0045_0011__no_quant, r_0045_0013__discrimination, restriction).
arc(r_0045_0013__discrimination, r_0045_0012__racial, attrib33).

fof(formula,axiom,
    ? [R_0045_0003__HIS,R_0045_0004__TASKS,R_0045_0001__ONE,X_000_45_A_LOB_A01_19,R_0045_0007__TO_R_0045_0008__SEE,R_0045_0005__WILL_R_0045_0006__BE] :
      ( r_0045_0003__his(R_0045_0003__HIS)
      & x_000_45_a_lob_a01_19(X_000_45_A_LOB_A01_19)
      & r_0045_0005__will_r_0045_0006__be(R_0045_0005__WILL_R_0045_0006__BE)
      & has_prd(R_0045_0005__WILL_R_0045_0006__BE,R_0045_0007__TO_R_0045_0008__SEE)
      & r_0045_0007__to_r_0045_0008__see(R_0045_0007__TO_R_0045_0008__SEE)
      & has_arg0(R_0045_0007__TO_R_0045_0008__SEE,X_000_45_A_LOB_A01_19)
      & ! [R_0045_0013__DISCRIMINATION,R_0045_0012__RACIAL] :
          ( ( r_0045_0012__racial(R_0045_0012__RACIAL)
            & r_0045_0013__discrimination(R_0045_0013__DISCRIMINATION)
            & has_attrib33(R_0045_0013__DISCRIMINATION,R_0045_0012__RACIAL) )
         => ? [R_0045_0015__GOVERNMENT_AND_STATE_R_0045_0016__HOUSING_R_0045_0017__PROJECTS,R_0045_0009__THERE_R_0045_0010__IS] :
              ( r_0045_0015__government_and_state_r_0045_0016__housing_r_0045_0017__projects(R_0045_0015__GOVERNMENT_AND_STATE_R_0045_0016__HOUSING_R_0045_0017__PROJECTS)
              & r_0045_0009__there_r_0045_0010__is(R_0045_0009__THERE_R_0045_0010__IS)
              & has_r_0045_0014__in_clr41(R_0045_0009__THERE_R_0045_0010__IS,R_0045_0015__GOVERNMENT_AND_STATE_R_0045_0016__HOUSING_R_0045_0017__PROJECTS)
              & has_arg0(R_0045_0009__THERE_R_0045_0010__IS,R_0045_0013__DISCRIMINATION) ) )
      & has_arg0(R_0045_0005__WILL_R_0045_0006__BE,R_0045_0001__ONE)
      & r_0045_0001__One(R_0045_0001__ONE)
      & has_r_0045_0002__of(R_0045_0001__ONE,R_0045_0004__TASKS)
      & r_0045_0004__tasks(R_0045_0004__TASKS)
      & has_gen(R_0045_0004__TASKS,R_0045_0003__HIS) ) ).

( (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 (N government_and_state;{government_and_state})
                                                                  (N housing;{housing})
                                                                  (NS projects;{project})))))))
          (PUNC .))
  (ID 45_a_lob_a01))