Context                Previous, Next                Top


248_a_law_h15a119
(Prohibition of Utilization Other Than for Intended Purposes)

%3 r_0248_0002__Prohibition Prohibition r_0248_0004__Utilization Utilization r_0248_0002__Prohibition->r_0248_0004__Utilization of r_0248_0005__Other Other r_0248_0002__Prohibition->r_0248_0005__Other [attrib] r_0248_0008__Purposes Purposes r_0248_0005__Other->r_0248_0008__Purposes Than for r_0248_0007__Intended Intended r_0248_0008__Purposes->r_0248_0007__Intended [attrib] z_000_248_a_law_h15a119_1 z_000_248_a_law_h15a119_1->r_0248_0002__Prohibition [nim] 
arc(r_0248_0002__Prohibition, r_0248_0004__Utilization, r_0248_0003__of).
arc(r_0248_0002__Prohibition, r_0248_0005__Other, attrib13).
arc(r_0248_0005__Other, r_0248_0008__Purposes, r_0248_0006__Than_for).
arc(r_0248_0008__Purposes, r_0248_0007__Intended, attrib20).
arc(z_000_248_a_law_h15a119_1, r_0248_0002__Prohibition, nim4).


%3 r_0248_0002__Prohibition Prohibition r_0248_0004__Utilization Utilization r_0248_0002__Prohibition->r_0248_0004__Utilization of r_0248_0005__Other Other r_0248_0002__Prohibition->r_0248_0005__Other [attrib] r_0248_0008__Purposes Purposes r_0248_0005__Other->r_0248_0008__Purposes Than for r_0248_0007__Intended Intended r_0248_0008__Purposes->r_0248_0007__Intended [attrib] z_000_248_a_law_h15a119_1 z_000_248_a_law_h15a119_1->r_0248_0002__Prohibition [nim] 
fof(formula,axiom,
    ? [Z_248_A_LAW_H15A119_1,R_248_2_PROHIBITION,R_248_5_OTHER,R_248_8_PURPOSES,R_248_7_INTENDED,R_248_4_UTILIZATION] :
      ( intended(R_248_7_INTENDED)
      & utilization(R_248_4_UTILIZATION)
      & z_248_a_law_h15a119_1(Z_248_A_LAW_H15A119_1)
      & nim4(Z_248_A_LAW_H15A119_1,R_248_2_PROHIBITION)
      & prohibition(R_248_2_PROHIBITION)
      & attrib13(R_248_2_PROHIBITION,R_248_5_OTHER)
      & other(R_248_5_OTHER)
      & than_for(R_248_5_OTHER,R_248_8_PURPOSES)
      & purposes(R_248_8_PURPOSES)
      & attrib20(R_248_8_PURPOSES,R_248_7_INTENDED)
      & of(R_248_2_PROHIBITION,R_248_4_UTILIZATION) ) ).


n248_a_law_h15a119 n248_a_law_h15a119_3 -LRB- n248_a_law_h15a119_6 Prohibition n248_a_law_h15a119_9 of n248_a_law_h15a119_12 Utilization n248_a_law_h15a119_15 Other n248_a_law_h15a119_18 Than_for n248_a_law_h15a119_22 Intended n248_a_law_h15a119_24 Purposes n248_a_law_h15a119_26 -RRB- n248_a_law_h15a119_1 FRAG n248_a_law_h15a119_2 PULB n248_a_law_h15a119_1->n248_a_law_h15a119_2 n248_a_law_h15a119_4 NP n248_a_law_h15a119_1->n248_a_law_h15a119_4 n248_a_law_h15a119_25 PURB n248_a_law_h15a119_1->n248_a_law_h15a119_25 n248_a_law_h15a119_2->n248_a_law_h15a119_3 n248_a_law_h15a119_5 N n248_a_law_h15a119_4->n248_a_law_h15a119_5 n248_a_law_h15a119_7 PP n248_a_law_h15a119_4->n248_a_law_h15a119_7 n248_a_law_h15a119_13 ADJP n248_a_law_h15a119_4->n248_a_law_h15a119_13 n248_a_law_h15a119_5->n248_a_law_h15a119_6 n248_a_law_h15a119_8 P-ROLE n248_a_law_h15a119_7->n248_a_law_h15a119_8 n248_a_law_h15a119_10 NP n248_a_law_h15a119_7->n248_a_law_h15a119_10 n248_a_law_h15a119_8->n248_a_law_h15a119_9 n248_a_law_h15a119_11 N n248_a_law_h15a119_10->n248_a_law_h15a119_11 n248_a_law_h15a119_11->n248_a_law_h15a119_12 n248_a_law_h15a119_14 ADJ n248_a_law_h15a119_13->n248_a_law_h15a119_14 n248_a_law_h15a119_16 PP n248_a_law_h15a119_13->n248_a_law_h15a119_16 n248_a_law_h15a119_14->n248_a_law_h15a119_15 n248_a_law_h15a119_17 P-ROLE n248_a_law_h15a119_16->n248_a_law_h15a119_17 n248_a_law_h15a119_19 NP n248_a_law_h15a119_16->n248_a_law_h15a119_19 n248_a_law_h15a119_17->n248_a_law_h15a119_18 n248_a_law_h15a119_20 ADJP n248_a_law_h15a119_19->n248_a_law_h15a119_20 n248_a_law_h15a119_23 NS n248_a_law_h15a119_19->n248_a_law_h15a119_23 n248_a_law_h15a119_21 ADJ n248_a_law_h15a119_20->n248_a_law_h15a119_21 n248_a_law_h15a119_21->n248_a_law_h15a119_22 n248_a_law_h15a119_23->n248_a_law_h15a119_24 n248_a_law_h15a119_25->n248_a_law_h15a119_26 
( (FRAG (PULB -LRB-)
        (NP (N Prohibition;{prohibition})
            (PP (P-ROLE of;{of})
                (NP (N Utilization;{utilization})))
            (ADJP (ADJ Other;{other})
                  (PP (P-ROLE Than_for;{than_for})
                      (NP (ADJP (ADJ Intended;{intended}))
                          (NS Purposes;{purpose})))))
        (PURB -RRB-))
  (ID 248_a_law_h15a119;196_4))