Context                Previous, Next                Top


124_a_law_h15a119
(i) The fact that the provision to a third party is the Purpose of Utilization

%3 r_0124_0004__The_r_0124_0005__fact The fact r_0124_0006__that_r_0124_0013__is that is r_0124_0004__The_r_0124_0005__fact->r_0124_0006__that_r_0124_0013__is [emb] r_0124_0007__the_r_0124_0008__provision the provision r_0124_0006__that_r_0124_0013__is->r_0124_0007__the_r_0124_0008__provision [arg0] r_0124_0014__the_r_0124_0015__Purpose the Purpose r_0124_0006__that_r_0124_0013__is->r_0124_0014__the_r_0124_0015__Purpose [prd] r_0124_0010__a_r_0124_0011__third_r_0124_0012__party a third party r_0124_0007__the_r_0124_0008__provision->r_0124_0010__a_r_0124_0011__third_r_0124_0012__party to r_0124_0017__Utilization Utilization r_0124_0014__the_r_0124_0015__Purpose->r_0124_0017__Utilization of z_000_124_a_law_h15a119_1 z_000_124_a_law_h15a119_1->r_0124_0004__The_r_0124_0005__fact [nim] 
arc(r_0124_0004__The_r_0124_0005__fact, r_0124_0006__that_r_0124_0013__is, emb15).
arc(r_0124_0006__that_r_0124_0013__is, r_0124_0007__the_r_0124_0008__provision, arg0).
arc(r_0124_0006__that_r_0124_0013__is, r_0124_0014__the_r_0124_0015__Purpose, prd).
arc(r_0124_0007__the_r_0124_0008__provision, r_0124_0010__a_r_0124_0011__third_r_0124_0012__party, r_0124_0009__to).
arc(r_0124_0014__the_r_0124_0015__Purpose, r_0124_0017__Utilization, r_0124_0016__of).
arc(z_000_124_a_law_h15a119_1, r_0124_0004__The_r_0124_0005__fact, nim9).


%3 z_000_124_a_law_h15a119_1 r_0124_0004__The_r_0124_0005__fact The fact z_000_124_a_law_h15a119_1->r_0124_0004__The_r_0124_0005__fact [nim] r_0124_0006__that_r_0124_0013__is that is r_0124_0004__The_r_0124_0005__fact->r_0124_0006__that_r_0124_0013__is [emb] r_0124_0014__the_r_0124_0015__Purpose the Purpose r_0124_0017__Utilization Utilization r_0124_0014__the_r_0124_0015__Purpose->r_0124_0017__Utilization of r_0124_0007__the_r_0124_0008__provision the provision r_0124_0010__a_r_0124_0011__third_r_0124_0012__party a third party r_0124_0007__the_r_0124_0008__provision->r_0124_0010__a_r_0124_0011__third_r_0124_0012__party to r_0124_0006__that_r_0124_0013__is->r_0124_0014__the_r_0124_0015__Purpose [prd] r_0124_0006__that_r_0124_0013__is->r_0124_0007__the_r_0124_0008__provision [arg0] 
fof(formula,axiom,
    ? [R_0124_0010__A_R_0124_0011__THIRD_R_0124_0012__PARTY,R_0124_0007__THE_R_0124_0008__PROVISION,R_0124_0017__UTILIZATION,R_0124_0014__THE_R_0124_0015__PURPOSE,R_0124_0006__THAT_R_0124_0013__IS,R_0124_0004__THE_R_0124_0005__FACT,Z_000_124_A_LAW_H15A119_1] :
      ( r_0124_0010__a_r_0124_0011__third_r_0124_0012__party(R_0124_0010__A_R_0124_0011__THIRD_R_0124_0012__PARTY)
      & r_0124_0017__Utilization(R_0124_0017__UTILIZATION)
      & z_000_124_a_law_h15a119_1(Z_000_124_A_LAW_H15A119_1)
      & has_nim9(Z_000_124_A_LAW_H15A119_1,R_0124_0004__THE_R_0124_0005__FACT)
      & r_0124_0004__The_r_0124_0005__fact(R_0124_0004__THE_R_0124_0005__FACT)
      & has_emb15(R_0124_0004__THE_R_0124_0005__FACT,R_0124_0006__THAT_R_0124_0013__IS)
      & r_0124_0006__that_r_0124_0013__is(R_0124_0006__THAT_R_0124_0013__IS)
      & has_prd(R_0124_0006__THAT_R_0124_0013__IS,R_0124_0014__THE_R_0124_0015__PURPOSE)
      & r_0124_0014__the_r_0124_0015__Purpose(R_0124_0014__THE_R_0124_0015__PURPOSE)
      & has_r_0124_0016__of(R_0124_0014__THE_R_0124_0015__PURPOSE,R_0124_0017__UTILIZATION)
      & has_arg0(R_0124_0006__THAT_R_0124_0013__IS,R_0124_0007__THE_R_0124_0008__PROVISION)
      & r_0124_0007__the_r_0124_0008__provision(R_0124_0007__THE_R_0124_0008__PROVISION)
      & has_r_0124_0009__to(R_0124_0007__THE_R_0124_0008__PROVISION,R_0124_0010__A_R_0124_0011__THIRD_R_0124_0012__PARTY) ) ).


n124_a_law_h15a119 n124_a_law_h15a119__1_1_1 -LRB- n124_a_law_h15a119__1_2_1_1 i n124_a_law_h15a119__1_3_1 -RRB- n124_a_law_h15a119__1_4_1_1 The n124_a_law_h15a119__1_4_2_1 fact n124_a_law_h15a119__1_4_3_1_1_1 that n124_a_law_h15a119__1_4_3_1_2_1_1 the n124_a_law_h15a119__1_4_3_1_2_2_1 provision n124_a_law_h15a119__1_4_3_1_2_3_1_1 to n124_a_law_h15a119__1_4_3_1_2_3_2_1_1 a n124_a_law_h15a119__1_4_3_1_2_3_2_2_1 third n124_a_law_h15a119__1_4_3_1_2_3_2_3_1 party n124_a_law_h15a119__1_4_3_1_3_1 is n124_a_law_h15a119__1_4_3_1_4_1_1 the n124_a_law_h15a119__1_4_3_1_4_2_1 Purpose n124_a_law_h15a119__1_4_3_1_4_3_1_1 of n124_a_law_h15a119__1_4_3_1_4_3_2_1_1 Utilization n124_a_law_h15a119__1 FRAG n124_a_law_h15a119__1_1 PULB n124_a_law_h15a119__1->n124_a_law_h15a119__1_1 n124_a_law_h15a119__1_2 LST n124_a_law_h15a119__1->n124_a_law_h15a119__1_2 n124_a_law_h15a119__1_3 PURB n124_a_law_h15a119__1->n124_a_law_h15a119__1_3 n124_a_law_h15a119__1_4 NP n124_a_law_h15a119__1->n124_a_law_h15a119__1_4 n124_a_law_h15a119__1_1->n124_a_law_h15a119__1_1_1 n124_a_law_h15a119__1_2_1 LS n124_a_law_h15a119__1_2->n124_a_law_h15a119__1_2_1 n124_a_law_h15a119__1_2_1->n124_a_law_h15a119__1_2_1_1 n124_a_law_h15a119__1_3->n124_a_law_h15a119__1_3_1 n124_a_law_h15a119__1_4_1 D n124_a_law_h15a119__1_4->n124_a_law_h15a119__1_4_1 n124_a_law_h15a119__1_4_2 N n124_a_law_h15a119__1_4->n124_a_law_h15a119__1_4_2 n124_a_law_h15a119__1_4_3 CP-THT n124_a_law_h15a119__1_4->n124_a_law_h15a119__1_4_3 n124_a_law_h15a119__1_4_1->n124_a_law_h15a119__1_4_1_1 n124_a_law_h15a119__1_4_2->n124_a_law_h15a119__1_4_2_1 n124_a_law_h15a119__1_4_3_1 IP-SUB n124_a_law_h15a119__1_4_3->n124_a_law_h15a119__1_4_3_1 n124_a_law_h15a119__1_4_3_1_1 C n124_a_law_h15a119__1_4_3_1->n124_a_law_h15a119__1_4_3_1_1 n124_a_law_h15a119__1_4_3_1_2 NP-SBJ n124_a_law_h15a119__1_4_3_1->n124_a_law_h15a119__1_4_3_1_2 n124_a_law_h15a119__1_4_3_1_3 BEP;_Ln_ n124_a_law_h15a119__1_4_3_1->n124_a_law_h15a119__1_4_3_1_3 n124_a_law_h15a119__1_4_3_1_4 NP-PRD n124_a_law_h15a119__1_4_3_1->n124_a_law_h15a119__1_4_3_1_4 n124_a_law_h15a119__1_4_3_1_1->n124_a_law_h15a119__1_4_3_1_1_1 n124_a_law_h15a119__1_4_3_1_2_1 D n124_a_law_h15a119__1_4_3_1_2->n124_a_law_h15a119__1_4_3_1_2_1 n124_a_law_h15a119__1_4_3_1_2_2 N n124_a_law_h15a119__1_4_3_1_2->n124_a_law_h15a119__1_4_3_1_2_2 n124_a_law_h15a119__1_4_3_1_2_3 PP n124_a_law_h15a119__1_4_3_1_2->n124_a_law_h15a119__1_4_3_1_2_3 n124_a_law_h15a119__1_4_3_1_2_1->n124_a_law_h15a119__1_4_3_1_2_1_1 n124_a_law_h15a119__1_4_3_1_2_2->n124_a_law_h15a119__1_4_3_1_2_2_1 n124_a_law_h15a119__1_4_3_1_2_3_1 P-ROLE n124_a_law_h15a119__1_4_3_1_2_3->n124_a_law_h15a119__1_4_3_1_2_3_1 n124_a_law_h15a119__1_4_3_1_2_3_2 NP n124_a_law_h15a119__1_4_3_1_2_3->n124_a_law_h15a119__1_4_3_1_2_3_2 n124_a_law_h15a119__1_4_3_1_2_3_1->n124_a_law_h15a119__1_4_3_1_2_3_1_1 n124_a_law_h15a119__1_4_3_1_2_3_2_1 D n124_a_law_h15a119__1_4_3_1_2_3_2->n124_a_law_h15a119__1_4_3_1_2_3_2_1 n124_a_law_h15a119__1_4_3_1_2_3_2_2 NUM n124_a_law_h15a119__1_4_3_1_2_3_2->n124_a_law_h15a119__1_4_3_1_2_3_2_2 n124_a_law_h15a119__1_4_3_1_2_3_2_3 N n124_a_law_h15a119__1_4_3_1_2_3_2->n124_a_law_h15a119__1_4_3_1_2_3_2_3 n124_a_law_h15a119__1_4_3_1_2_3_2_1->n124_a_law_h15a119__1_4_3_1_2_3_2_1_1 n124_a_law_h15a119__1_4_3_1_2_3_2_2->n124_a_law_h15a119__1_4_3_1_2_3_2_2_1 n124_a_law_h15a119__1_4_3_1_2_3_2_3->n124_a_law_h15a119__1_4_3_1_2_3_2_3_1 n124_a_law_h15a119__1_4_3_1_3->n124_a_law_h15a119__1_4_3_1_3_1 n124_a_law_h15a119__1_4_3_1_4_1 D n124_a_law_h15a119__1_4_3_1_4->n124_a_law_h15a119__1_4_3_1_4_1 n124_a_law_h15a119__1_4_3_1_4_2 N n124_a_law_h15a119__1_4_3_1_4->n124_a_law_h15a119__1_4_3_1_4_2 n124_a_law_h15a119__1_4_3_1_4_3 PP n124_a_law_h15a119__1_4_3_1_4->n124_a_law_h15a119__1_4_3_1_4_3 n124_a_law_h15a119__1_4_3_1_4_1->n124_a_law_h15a119__1_4_3_1_4_1_1 n124_a_law_h15a119__1_4_3_1_4_2->n124_a_law_h15a119__1_4_3_1_4_2_1 n124_a_law_h15a119__1_4_3_1_4_3_1 P-ROLE n124_a_law_h15a119__1_4_3_1_4_3->n124_a_law_h15a119__1_4_3_1_4_3_1 n124_a_law_h15a119__1_4_3_1_4_3_2 NP n124_a_law_h15a119__1_4_3_1_4_3->n124_a_law_h15a119__1_4_3_1_4_3_2 n124_a_law_h15a119__1_4_3_1_4_3_1->n124_a_law_h15a119__1_4_3_1_4_3_1_1 n124_a_law_h15a119__1_4_3_1_4_3_2_1 N n124_a_law_h15a119__1_4_3_1_4_3_2->n124_a_law_h15a119__1_4_3_1_4_3_2_1 n124_a_law_h15a119__1_4_3_1_4_3_2_1->n124_a_law_h15a119__1_4_3_1_4_3_2_1_1 
( (FRAG (PULB -LRB-)
        (LST (LS i))
        (PURB -RRB-)
        (NP (D The;{the})
            (N fact;{fact})
            (CP-THT (IP-SUB (C that;{that})
                            (NP-SBJ (D the;{the})
                                    (N provision;{provision})
                                    (PP (P-ROLE to;{to})
                                        (NP (D a;{a})
                                            (NUM third;{third})
                                            (N party;{party}))))
                            (BEP;_Ln_ is;{be})
                            (NP-PRD (D the;{the})
                                    (N Purpose;{purpose})
                                    (PP (P-ROLE of;{of})
                                        (NP (N Utilization;{utilization}))))))))
  (ID 124_a_law_h15a119;99_4_23_2i))