Context                Previous, Next                Top


116_a_law_h15a119
(Restriction of Provision to A Third Party)

%3 r_0116_0002__Restriction Restriction r_0116_0004__Provision Provision r_0116_0002__Restriction->r_0116_0004__Provision of r_0116_0006__A_r_0116_0008__Party A Party r_0116_0002__Restriction->r_0116_0006__A_r_0116_0008__Party to r_0116_0007__Third Third r_0116_0006__A_r_0116_0008__Party->r_0116_0007__Third [attrib] z_000_116_a_law_h15a119_1 z_000_116_a_law_h15a119_1->r_0116_0002__Restriction [nim] 
arc(r_0116_0002__Restriction, r_0116_0004__Provision, r_0116_0003__of).
arc(r_0116_0002__Restriction, r_0116_0006__A_r_0116_0008__Party, r_0116_0005__to).
arc(r_0116_0006__A_r_0116_0008__Party, r_0116_0007__Third, attrib19).
arc(z_000_116_a_law_h15a119_1, r_0116_0002__Restriction, nim4).


%3 z_000_116_a_law_h15a119_1 r_0116_0002__Restriction Restriction z_000_116_a_law_h15a119_1->r_0116_0002__Restriction [nim] r_0116_0006__A_r_0116_0008__Party A Party r_0116_0002__Restriction->r_0116_0006__A_r_0116_0008__Party to r_0116_0004__Provision Provision r_0116_0002__Restriction->r_0116_0004__Provision of r_0116_0007__Third Third r_0116_0006__A_r_0116_0008__Party->r_0116_0007__Third [attrib] 
fof(formula,axiom,
    ? [Z_116_A_LAW_H15A119_1,R_116_2_RESTRICTION,R_116_4_PROVISION,R_116_6_A_PARTY,R_116_7_THIRD] :
      ( provision(R_116_4_PROVISION)
      & third(R_116_7_THIRD)
      & z_116_a_law_h15a119_1(Z_116_A_LAW_H15A119_1)
      & nim4(Z_116_A_LAW_H15A119_1,R_116_2_RESTRICTION)
      & restriction(R_116_2_RESTRICTION)
      & of(R_116_2_RESTRICTION,R_116_4_PROVISION)
      & to(R_116_2_RESTRICTION,R_116_6_A_PARTY)
      & a_Party(R_116_6_A_PARTY)
      & attrib19(R_116_6_A_PARTY,R_116_7_THIRD) ) ).


n116_a_law_h15a119 n116_a_law_h15a119__1_1_1 -LRB- n116_a_law_h15a119__1_2_1_1 Restriction n116_a_law_h15a119__1_2_2_1_1 of n116_a_law_h15a119__1_2_2_2_1_1 Provision n116_a_law_h15a119__1_2_3_1_1 to n116_a_law_h15a119__1_2_3_2_1_1 A n116_a_law_h15a119__1_2_3_2_2_1_1 Third n116_a_law_h15a119__1_2_3_2_3_1 Party n116_a_law_h15a119__1_3_1 -RRB- n116_a_law_h15a119__1 FRAG n116_a_law_h15a119__1_1 PULB n116_a_law_h15a119__1->n116_a_law_h15a119__1_1 n116_a_law_h15a119__1_2 NP n116_a_law_h15a119__1->n116_a_law_h15a119__1_2 n116_a_law_h15a119__1_3 PURB n116_a_law_h15a119__1->n116_a_law_h15a119__1_3 n116_a_law_h15a119__1_1->n116_a_law_h15a119__1_1_1 n116_a_law_h15a119__1_2_1 N n116_a_law_h15a119__1_2->n116_a_law_h15a119__1_2_1 n116_a_law_h15a119__1_2_2 PP n116_a_law_h15a119__1_2->n116_a_law_h15a119__1_2_2 n116_a_law_h15a119__1_2_3 PP n116_a_law_h15a119__1_2->n116_a_law_h15a119__1_2_3 n116_a_law_h15a119__1_2_1->n116_a_law_h15a119__1_2_1_1 n116_a_law_h15a119__1_2_2_1 P-ROLE n116_a_law_h15a119__1_2_2->n116_a_law_h15a119__1_2_2_1 n116_a_law_h15a119__1_2_2_2 NP n116_a_law_h15a119__1_2_2->n116_a_law_h15a119__1_2_2_2 n116_a_law_h15a119__1_2_2_1->n116_a_law_h15a119__1_2_2_1_1 n116_a_law_h15a119__1_2_2_2_1 N n116_a_law_h15a119__1_2_2_2->n116_a_law_h15a119__1_2_2_2_1 n116_a_law_h15a119__1_2_2_2_1->n116_a_law_h15a119__1_2_2_2_1_1 n116_a_law_h15a119__1_2_3_1 P-ROLE n116_a_law_h15a119__1_2_3->n116_a_law_h15a119__1_2_3_1 n116_a_law_h15a119__1_2_3_2 NP n116_a_law_h15a119__1_2_3->n116_a_law_h15a119__1_2_3_2 n116_a_law_h15a119__1_2_3_1->n116_a_law_h15a119__1_2_3_1_1 n116_a_law_h15a119__1_2_3_2_1 D n116_a_law_h15a119__1_2_3_2->n116_a_law_h15a119__1_2_3_2_1 n116_a_law_h15a119__1_2_3_2_2 ADJP n116_a_law_h15a119__1_2_3_2->n116_a_law_h15a119__1_2_3_2_2 n116_a_law_h15a119__1_2_3_2_3 N n116_a_law_h15a119__1_2_3_2->n116_a_law_h15a119__1_2_3_2_3 n116_a_law_h15a119__1_2_3_2_1->n116_a_law_h15a119__1_2_3_2_1_1 n116_a_law_h15a119__1_2_3_2_2_1 ADJ n116_a_law_h15a119__1_2_3_2_2->n116_a_law_h15a119__1_2_3_2_2_1 n116_a_law_h15a119__1_2_3_2_2_1->n116_a_law_h15a119__1_2_3_2_2_1_1 n116_a_law_h15a119__1_2_3_2_3->n116_a_law_h15a119__1_2_3_2_3_1 n116_a_law_h15a119__1_3->n116_a_law_h15a119__1_3_1 
( (FRAG (PULB -LRB-)
        (NP (N Restriction;{restriction})
            (PP (P-ROLE of;{of})
                (NP (N Provision;{provision})))
            (PP (P-ROLE to;{to})
                (NP (D A;{a})
                    (ADJP (ADJ Third;{third}))
                    (N Party;{party}))))
        (PURB -RRB-))
  (ID 116_a_law_h15a119;92_4))