Context                Previous, Next                Top


116_a_law_h15a119
(Restriction of Provision to A Third Party)

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))


%3 z_0116_5007 r_0116_0002__Restriction Restriction z_0116_5007->r_0116_0002__Restriction 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] 
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,attrib).
arc(z_0116_5007,r_0116_0002__Restriction,z_0116_5002).


%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_0116_5007 z_0116_5007->r_0116_0002__Restriction 
fof(formula,axiom,
    ? [R_0116_0004__PROVISION,R_0116_0007__THIRD,R_0116_0006__A_R_0116_0008__PARTY,R_0116_0002__RESTRICTION,Z_0116_5007] :
      ( r_0116_0004__Provision(R_0116_0004__PROVISION)
      & r_0116_0007__Third(R_0116_0007__THIRD)
      & z_0116_5007(Z_0116_5007)
      & has_z_0116_5002(Z_0116_5007,R_0116_0002__RESTRICTION)
      & r_0116_0002__Restriction(R_0116_0002__RESTRICTION)
      & has_r_0116_0005__to(R_0116_0002__RESTRICTION,R_0116_0006__A_R_0116_0008__PARTY)
      & r_0116_0006__A_r_0116_0008__Party(R_0116_0006__A_R_0116_0008__PARTY)
      & has_attrib(R_0116_0006__A_R_0116_0008__PARTY,R_0116_0007__THIRD)
      & has_r_0116_0003__of(R_0116_0002__RESTRICTION,R_0116_0004__PROVISION) ) ).