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 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] 
fof(formula,axiom,
    ? [Z_124_A_LAW_H15A119_1,R_124_4_THE_FACT,R_124_6_THAT_IS,R_124_7_THE_PROVISION,R_124_10_A_THIRD_PARTY,R_124_14_THE_PURPOSE,R_124_17_UTILIZATION] :
      ( a_third_party(R_124_10_A_THIRD_PARTY)
      & utilization(R_124_17_UTILIZATION)
      & z_124_a_law_h15a119_1(Z_124_A_LAW_H15A119_1)
      & nim9(Z_124_A_LAW_H15A119_1,R_124_4_THE_FACT)
      & the_fact(R_124_4_THE_FACT)
      & emb15(R_124_4_THE_FACT,R_124_6_THAT_IS)
      & that_is(R_124_6_THAT_IS,R_124_7_THE_PROVISION,R_124_14_THE_PURPOSE)
      & the_provision(R_124_7_THE_PROVISION)
      & to(R_124_7_THE_PROVISION,R_124_10_A_THIRD_PARTY)
      & the_Purpose(R_124_14_THE_PURPOSE)
      & of(R_124_14_THE_PURPOSE,R_124_17_UTILIZATION) ) ).


n124_a_law_h15a119 n124_a_law_h15a119_3 -LRB- n124_a_law_h15a119_6 i n124_a_law_h15a119_8 -RRB- n124_a_law_h15a119_11 The n124_a_law_h15a119_13 fact n124_a_law_h15a119_17 that n124_a_law_h15a119_20 the n124_a_law_h15a119_22 provision n124_a_law_h15a119_25 to n124_a_law_h15a119_28 a n124_a_law_h15a119_30 third n124_a_law_h15a119_32 party n124_a_law_h15a119_34 is n124_a_law_h15a119_37 the n124_a_law_h15a119_39 Purpose n124_a_law_h15a119_42 of n124_a_law_h15a119_45 Utilization n124_a_law_h15a119_1 FRAG n124_a_law_h15a119_2 PULB n124_a_law_h15a119_1->n124_a_law_h15a119_2 n124_a_law_h15a119_4 LST n124_a_law_h15a119_1->n124_a_law_h15a119_4 n124_a_law_h15a119_7 PURB n124_a_law_h15a119_1->n124_a_law_h15a119_7 n124_a_law_h15a119_9 NP n124_a_law_h15a119_1->n124_a_law_h15a119_9 n124_a_law_h15a119_2->n124_a_law_h15a119_3 n124_a_law_h15a119_5 LS n124_a_law_h15a119_4->n124_a_law_h15a119_5 n124_a_law_h15a119_5->n124_a_law_h15a119_6 n124_a_law_h15a119_7->n124_a_law_h15a119_8 n124_a_law_h15a119_10 D n124_a_law_h15a119_9->n124_a_law_h15a119_10 n124_a_law_h15a119_12 N n124_a_law_h15a119_9->n124_a_law_h15a119_12 n124_a_law_h15a119_14 CP-THT n124_a_law_h15a119_9->n124_a_law_h15a119_14 n124_a_law_h15a119_10->n124_a_law_h15a119_11 n124_a_law_h15a119_12->n124_a_law_h15a119_13 n124_a_law_h15a119_15 IP-SUB n124_a_law_h15a119_14->n124_a_law_h15a119_15 n124_a_law_h15a119_16 C n124_a_law_h15a119_15->n124_a_law_h15a119_16 n124_a_law_h15a119_18 NP-SBJ n124_a_law_h15a119_15->n124_a_law_h15a119_18 n124_a_law_h15a119_33 BEP;_Ln_ n124_a_law_h15a119_15->n124_a_law_h15a119_33 n124_a_law_h15a119_35 NP-PRD n124_a_law_h15a119_15->n124_a_law_h15a119_35 n124_a_law_h15a119_16->n124_a_law_h15a119_17 n124_a_law_h15a119_19 D n124_a_law_h15a119_18->n124_a_law_h15a119_19 n124_a_law_h15a119_21 N n124_a_law_h15a119_18->n124_a_law_h15a119_21 n124_a_law_h15a119_23 PP n124_a_law_h15a119_18->n124_a_law_h15a119_23 n124_a_law_h15a119_19->n124_a_law_h15a119_20 n124_a_law_h15a119_21->n124_a_law_h15a119_22 n124_a_law_h15a119_24 P-ROLE n124_a_law_h15a119_23->n124_a_law_h15a119_24 n124_a_law_h15a119_26 NP n124_a_law_h15a119_23->n124_a_law_h15a119_26 n124_a_law_h15a119_24->n124_a_law_h15a119_25 n124_a_law_h15a119_27 D n124_a_law_h15a119_26->n124_a_law_h15a119_27 n124_a_law_h15a119_29 NUM n124_a_law_h15a119_26->n124_a_law_h15a119_29 n124_a_law_h15a119_31 N n124_a_law_h15a119_26->n124_a_law_h15a119_31 n124_a_law_h15a119_27->n124_a_law_h15a119_28 n124_a_law_h15a119_29->n124_a_law_h15a119_30 n124_a_law_h15a119_31->n124_a_law_h15a119_32 n124_a_law_h15a119_33->n124_a_law_h15a119_34 n124_a_law_h15a119_36 D n124_a_law_h15a119_35->n124_a_law_h15a119_36 n124_a_law_h15a119_38 N n124_a_law_h15a119_35->n124_a_law_h15a119_38 n124_a_law_h15a119_40 PP n124_a_law_h15a119_35->n124_a_law_h15a119_40 n124_a_law_h15a119_36->n124_a_law_h15a119_37 n124_a_law_h15a119_38->n124_a_law_h15a119_39 n124_a_law_h15a119_41 P-ROLE n124_a_law_h15a119_40->n124_a_law_h15a119_41 n124_a_law_h15a119_43 NP n124_a_law_h15a119_40->n124_a_law_h15a119_43 n124_a_law_h15a119_41->n124_a_law_h15a119_42 n124_a_law_h15a119_44 N n124_a_law_h15a119_43->n124_a_law_h15a119_44 n124_a_law_h15a119_44->n124_a_law_h15a119_45 
( (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))