Context                Previous, Next                Top


45_a_lob_a01
One of his tasks will be to see there is no racial discrimination in government and state housing projects.

%3 r_0045_0001__One One r_0045_0004__tasks tasks r_0045_0001__One->r_0045_0004__tasks of r_0045_0003__his his r_0045_0004__tasks->r_0045_0003__his [gen] r_0045_0005__will will r_0045_0006__be be r_0045_0005__will->r_0045_0006__be [scope] r_0045_0006__be->r_0045_0001__One [arg0] r_0045_0007__to_r_0045_0008__see to see r_0045_0006__be->r_0045_0007__to_r_0045_0008__see [prd] r_0045_0011__no_quant no [quant] r_0045_0007__to_r_0045_0008__see->r_0045_0011__no_quant [arg1] x_000_45_a_lob_a01_19 __ r_0045_0007__to_r_0045_0008__see->x_000_45_a_lob_a01_19 [arg0] r_0045_0009__there_r_0045_0010__is there is r_0045_0011__no_quant->r_0045_0009__there_r_0045_0010__is [scope] r_0045_0013__discrimination discrimination r_0045_0011__no_quant->r_0045_0013__discrimination [restriction] r_0045_0009__there_r_0045_0010__is->r_0045_0013__discrimination [arg0] r_0045_0015__government_and_state_r_0045_0016__housing_r_0045_0017__projects government and state housing projects r_0045_0009__there_r_0045_0010__is->r_0045_0015__government_and_state_r_0045_0016__housing_r_0045_0017__projects in [clr] r_0045_0012__racial racial r_0045_0013__discrimination->r_0045_0012__racial [attrib] 
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).


%3 r_0045_0013__discrimination discrimination r_0045_0012__racial racial r_0045_0013__discrimination->r_0045_0012__racial [attrib] r_0045_0011__no_quant no [quant] r_0045_0011__no_quant->r_0045_0013__discrimination [restriction] r_0045_0009__there_r_0045_0010__is there is r_0045_0011__no_quant->r_0045_0009__there_r_0045_0010__is [scope] r_0045_0009__there_r_0045_0010__is->r_0045_0013__discrimination [arg0] r_0045_0015__government_and_state_r_0045_0016__housing_r_0045_0017__projects government and state housing projects r_0045_0009__there_r_0045_0010__is->r_0045_0015__government_and_state_r_0045_0016__housing_r_0045_0017__projects in [clr] r_0045_0007__to_r_0045_0008__see to see r_0045_0007__to_r_0045_0008__see->r_0045_0011__no_quant [arg1] x_000_45_a_lob_a01_19 __ r_0045_0007__to_r_0045_0008__see->x_000_45_a_lob_a01_19 [arg0] r_0045_0005__will_r_0045_0006__be will be r_0045_0005__will_r_0045_0006__be->r_0045_0007__to_r_0045_0008__see [prd] r_0045_0001__One One r_0045_0005__will_r_0045_0006__be->r_0045_0001__One [arg0] r_0045_0004__tasks tasks r_0045_0001__One->r_0045_0004__tasks of r_0045_0003__his his r_0045_0004__tasks->r_0045_0003__his [gen] 
fof(formula,axiom,
    ? [R_45_5_WILL_BE,R_45_1_ONE,R_45_4_TASKS,R_45_3_HIS,R_45_7_TO_SEE,X_45_A_LOB_A01_19] :
      ( his(R_45_3_HIS)
      & will_be(R_45_5_WILL_BE,R_45_1_ONE,R_45_7_TO_SEE)
      & one(R_45_1_ONE)
      & of(R_45_1_ONE,R_45_4_TASKS)
      & tasks(R_45_4_TASKS)
      & gen(R_45_4_TASKS,R_45_3_HIS)
      & ! [R_45_13_DISCRIMINATION,R_45_12_RACIAL] :
          ( ( racial(R_45_12_RACIAL)
            & discrimination(R_45_13_DISCRIMINATION)
            & attrib33(R_45_13_DISCRIMINATION,R_45_12_RACIAL) )
         => ? [R_45_9_THERE_IS,R_45_15_GOVERNMENT_AND_STATE_HOUSING_PROJECTS] :
              ( government_and_state_housing_projects(R_45_15_GOVERNMENT_AND_STATE_HOUSING_PROJECTS)
              & there_is(R_45_9_THERE_IS,R_45_13_DISCRIMINATION)
              & in_clr41(R_45_9_THERE_IS,R_45_15_GOVERNMENT_AND_STATE_HOUSING_PROJECTS) ) )
      & arg1(ARG1)
      & to_see(R_45_7_TO_SEE,X_45_A_LOB_A01_19) ) ).


n45_a_lob_a01 n45_a_lob_a01__1_1_1_1 One n45_a_lob_a01__1_1_2_1_1 of n45_a_lob_a01__1_1_2_2_1_1_1 his n45_a_lob_a01__1_1_2_2_2_1 tasks n45_a_lob_a01__1_2_1 will n45_a_lob_a01__1_3_1_1 be n45_a_lob_a01__1_3_2_1_1 to n45_a_lob_a01__1_3_2_2_1 see n45_a_lob_a01__1_3_2_3_1_1_1 there n45_a_lob_a01__1_3_2_3_1_2_1 is n45_a_lob_a01__1_3_2_3_1_3_1_1 no n45_a_lob_a01__1_3_2_3_1_3_2_1_1 racial n45_a_lob_a01__1_3_2_3_1_3_3_1 discrimination n45_a_lob_a01__1_3_2_3_1_4_1_1 in n45_a_lob_a01__1_3_2_3_1_4_2_1_1 government_and_state n45_a_lob_a01__1_3_2_3_1_4_2_2_1 housing n45_a_lob_a01__1_3_2_3_1_4_2_3_1 projects n45_a_lob_a01__1_4_1 . n45_a_lob_a01__1 IP-MAT n45_a_lob_a01__1_1 NP-SBJ n45_a_lob_a01__1->n45_a_lob_a01__1_1 n45_a_lob_a01__1_2 MD;_cat_Vi_ n45_a_lob_a01__1->n45_a_lob_a01__1_2 n45_a_lob_a01__1_3 IP-INF-CAT n45_a_lob_a01__1->n45_a_lob_a01__1_3 n45_a_lob_a01__1_4 PUNC n45_a_lob_a01__1->n45_a_lob_a01__1_4 n45_a_lob_a01__1_1_1 NUM n45_a_lob_a01__1_1->n45_a_lob_a01__1_1_1 n45_a_lob_a01__1_1_2 PP n45_a_lob_a01__1_1->n45_a_lob_a01__1_1_2 n45_a_lob_a01__1_1_1->n45_a_lob_a01__1_1_1_1 n45_a_lob_a01__1_1_2_1 P-ROLE n45_a_lob_a01__1_1_2->n45_a_lob_a01__1_1_2_1 n45_a_lob_a01__1_1_2_2 NP n45_a_lob_a01__1_1_2->n45_a_lob_a01__1_1_2_2 n45_a_lob_a01__1_1_2_1->n45_a_lob_a01__1_1_2_1_1 n45_a_lob_a01__1_1_2_2_1 NP-GEN n45_a_lob_a01__1_1_2_2->n45_a_lob_a01__1_1_2_2_1 n45_a_lob_a01__1_1_2_2_2 NS n45_a_lob_a01__1_1_2_2->n45_a_lob_a01__1_1_2_2_2 n45_a_lob_a01__1_1_2_2_1_1 PRO;_genm_ n45_a_lob_a01__1_1_2_2_1->n45_a_lob_a01__1_1_2_2_1_1 n45_a_lob_a01__1_1_2_2_1_1->n45_a_lob_a01__1_1_2_2_1_1_1 n45_a_lob_a01__1_1_2_2_2->n45_a_lob_a01__1_1_2_2_2_1 n45_a_lob_a01__1_2->n45_a_lob_a01__1_2_1 n45_a_lob_a01__1_3_1 BE;_equ_Vt_ n45_a_lob_a01__1_3->n45_a_lob_a01__1_3_1 n45_a_lob_a01__1_3_2 IP-INF-PRD n45_a_lob_a01__1_3->n45_a_lob_a01__1_3_2 n45_a_lob_a01__1_3_1->n45_a_lob_a01__1_3_1_1 n45_a_lob_a01__1_3_2_1 TO n45_a_lob_a01__1_3_2->n45_a_lob_a01__1_3_2_1 n45_a_lob_a01__1_3_2_2 VB;_Tf_ n45_a_lob_a01__1_3_2->n45_a_lob_a01__1_3_2_2 n45_a_lob_a01__1_3_2_3 CP-THT-OB1 n45_a_lob_a01__1_3_2->n45_a_lob_a01__1_3_2_3 n45_a_lob_a01__1_3_2_1->n45_a_lob_a01__1_3_2_1_1 n45_a_lob_a01__1_3_2_2->n45_a_lob_a01__1_3_2_2_1 n45_a_lob_a01__1_3_2_3_1 IP-SUB n45_a_lob_a01__1_3_2_3->n45_a_lob_a01__1_3_2_3_1 n45_a_lob_a01__1_3_2_3_1_1 EX n45_a_lob_a01__1_3_2_3_1->n45_a_lob_a01__1_3_2_3_1_1 n45_a_lob_a01__1_3_2_3_1_2 BEP;_ex_Vpr_ n45_a_lob_a01__1_3_2_3_1->n45_a_lob_a01__1_3_2_3_1_2 n45_a_lob_a01__1_3_2_3_1_3 NP-ESBJ n45_a_lob_a01__1_3_2_3_1->n45_a_lob_a01__1_3_2_3_1_3 n45_a_lob_a01__1_3_2_3_1_4 PP-CLR n45_a_lob_a01__1_3_2_3_1->n45_a_lob_a01__1_3_2_3_1_4 n45_a_lob_a01__1_3_2_3_1_1->n45_a_lob_a01__1_3_2_3_1_1_1 n45_a_lob_a01__1_3_2_3_1_2->n45_a_lob_a01__1_3_2_3_1_2_1 n45_a_lob_a01__1_3_2_3_1_3_1 Q n45_a_lob_a01__1_3_2_3_1_3->n45_a_lob_a01__1_3_2_3_1_3_1 n45_a_lob_a01__1_3_2_3_1_3_2 ADJP n45_a_lob_a01__1_3_2_3_1_3->n45_a_lob_a01__1_3_2_3_1_3_2 n45_a_lob_a01__1_3_2_3_1_3_3 N n45_a_lob_a01__1_3_2_3_1_3->n45_a_lob_a01__1_3_2_3_1_3_3 n45_a_lob_a01__1_3_2_3_1_3_1->n45_a_lob_a01__1_3_2_3_1_3_1_1 n45_a_lob_a01__1_3_2_3_1_3_2_1 ADJ n45_a_lob_a01__1_3_2_3_1_3_2->n45_a_lob_a01__1_3_2_3_1_3_2_1 n45_a_lob_a01__1_3_2_3_1_3_2_1->n45_a_lob_a01__1_3_2_3_1_3_2_1_1 n45_a_lob_a01__1_3_2_3_1_3_3->n45_a_lob_a01__1_3_2_3_1_3_3_1 n45_a_lob_a01__1_3_2_3_1_4_1 P-ROLE n45_a_lob_a01__1_3_2_3_1_4->n45_a_lob_a01__1_3_2_3_1_4_1 n45_a_lob_a01__1_3_2_3_1_4_2 NP n45_a_lob_a01__1_3_2_3_1_4->n45_a_lob_a01__1_3_2_3_1_4_2 n45_a_lob_a01__1_3_2_3_1_4_1->n45_a_lob_a01__1_3_2_3_1_4_1_1 n45_a_lob_a01__1_3_2_3_1_4_2_1 N n45_a_lob_a01__1_3_2_3_1_4_2->n45_a_lob_a01__1_3_2_3_1_4_2_1 n45_a_lob_a01__1_3_2_3_1_4_2_2 N n45_a_lob_a01__1_3_2_3_1_4_2->n45_a_lob_a01__1_3_2_3_1_4_2_2 n45_a_lob_a01__1_3_2_3_1_4_2_3 NS n45_a_lob_a01__1_3_2_3_1_4_2->n45_a_lob_a01__1_3_2_3_1_4_2_3 n45_a_lob_a01__1_3_2_3_1_4_2_1->n45_a_lob_a01__1_3_2_3_1_4_2_1_1 n45_a_lob_a01__1_3_2_3_1_4_2_2->n45_a_lob_a01__1_3_2_3_1_4_2_2_1 n45_a_lob_a01__1_3_2_3_1_4_2_3->n45_a_lob_a01__1_3_2_3_1_4_2_3_1 n45_a_lob_a01__1_4->n45_a_lob_a01__1_4_1 
( (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))