Context                Previous, Next                Top


298_a_law_h15a119
(Public Announcement of the Status of Enforcement)

%3 r_0298_0003__Announcement Announcement r_0298_0002__Public Public r_0298_0003__Announcement->r_0298_0002__Public [attrib] r_0298_0005__the_r_0298_0006__Status the Status r_0298_0003__Announcement->r_0298_0005__the_r_0298_0006__Status of r_0298_0008__Enforcement Enforcement r_0298_0005__the_r_0298_0006__Status->r_0298_0008__Enforcement of z_000_298_a_law_h15a119_1 z_000_298_a_law_h15a119_1->r_0298_0003__Announcement [nim] 
arc(r_0298_0003__Announcement, r_0298_0002__Public, attrib5).
arc(r_0298_0003__Announcement, r_0298_0005__the_r_0298_0006__Status, r_0298_0004__of).
arc(r_0298_0005__the_r_0298_0006__Status, r_0298_0008__Enforcement, r_0298_0007__of).
arc(z_000_298_a_law_h15a119_1, r_0298_0003__Announcement, nim4).


%3 r_0298_0003__Announcement Announcement r_0298_0002__Public Public r_0298_0003__Announcement->r_0298_0002__Public [attrib] r_0298_0005__the_r_0298_0006__Status the Status r_0298_0003__Announcement->r_0298_0005__the_r_0298_0006__Status of r_0298_0008__Enforcement Enforcement r_0298_0005__the_r_0298_0006__Status->r_0298_0008__Enforcement of z_000_298_a_law_h15a119_1 z_000_298_a_law_h15a119_1->r_0298_0003__Announcement [nim] 
fof(formula,axiom,
    ? [Z_298_A_LAW_H15A119_1,R_298_3_ANNOUNCEMENT,R_298_2_PUBLIC,R_298_5_THE_STATUS,R_298_8_ENFORCEMENT] :
      ( public(R_298_2_PUBLIC)
      & enforcement(R_298_8_ENFORCEMENT)
      & z_298_a_law_h15a119_1(Z_298_A_LAW_H15A119_1)
      & nim4(Z_298_A_LAW_H15A119_1,R_298_3_ANNOUNCEMENT)
      & announcement(R_298_3_ANNOUNCEMENT)
      & attrib5(R_298_3_ANNOUNCEMENT,R_298_2_PUBLIC)
      & of(R_298_3_ANNOUNCEMENT,R_298_5_THE_STATUS)
      & the_Status(R_298_5_THE_STATUS)
      & of(R_298_5_THE_STATUS,R_298_8_ENFORCEMENT) ) ).


n298_a_law_h15a119 n298_a_law_h15a119_3 -LRB- n298_a_law_h15a119_7 Public n298_a_law_h15a119_9 Announcement n298_a_law_h15a119_12 of n298_a_law_h15a119_15 the n298_a_law_h15a119_17 Status n298_a_law_h15a119_20 of n298_a_law_h15a119_23 Enforcement n298_a_law_h15a119_25 -RRB- n298_a_law_h15a119_1 FRAG n298_a_law_h15a119_2 PULB n298_a_law_h15a119_1->n298_a_law_h15a119_2 n298_a_law_h15a119_4 NP n298_a_law_h15a119_1->n298_a_law_h15a119_4 n298_a_law_h15a119_24 PURB n298_a_law_h15a119_1->n298_a_law_h15a119_24 n298_a_law_h15a119_2->n298_a_law_h15a119_3 n298_a_law_h15a119_5 ADJP n298_a_law_h15a119_4->n298_a_law_h15a119_5 n298_a_law_h15a119_8 N n298_a_law_h15a119_4->n298_a_law_h15a119_8 n298_a_law_h15a119_10 PP n298_a_law_h15a119_4->n298_a_law_h15a119_10 n298_a_law_h15a119_6 ADJ n298_a_law_h15a119_5->n298_a_law_h15a119_6 n298_a_law_h15a119_6->n298_a_law_h15a119_7 n298_a_law_h15a119_8->n298_a_law_h15a119_9 n298_a_law_h15a119_11 P-ROLE n298_a_law_h15a119_10->n298_a_law_h15a119_11 n298_a_law_h15a119_13 NP n298_a_law_h15a119_10->n298_a_law_h15a119_13 n298_a_law_h15a119_11->n298_a_law_h15a119_12 n298_a_law_h15a119_14 D n298_a_law_h15a119_13->n298_a_law_h15a119_14 n298_a_law_h15a119_16 N n298_a_law_h15a119_13->n298_a_law_h15a119_16 n298_a_law_h15a119_18 PP n298_a_law_h15a119_13->n298_a_law_h15a119_18 n298_a_law_h15a119_14->n298_a_law_h15a119_15 n298_a_law_h15a119_16->n298_a_law_h15a119_17 n298_a_law_h15a119_19 P-ROLE n298_a_law_h15a119_18->n298_a_law_h15a119_19 n298_a_law_h15a119_21 NP n298_a_law_h15a119_18->n298_a_law_h15a119_21 n298_a_law_h15a119_19->n298_a_law_h15a119_20 n298_a_law_h15a119_22 N n298_a_law_h15a119_21->n298_a_law_h15a119_22 n298_a_law_h15a119_22->n298_a_law_h15a119_23 n298_a_law_h15a119_24->n298_a_law_h15a119_25 
( (FRAG (PULB -LRB-)
        (NP (ADJP (ADJ Public;{public}))
            (N Announcement;{announcement})
            (PP (P-ROLE of;{of})
                (NP (D the;{the})
                    (N Status;{status})
                    (PP (P-ROLE of;{of})
                        (NP (N Enforcement;{enforcement}))))))
        (PURB -RRB-))
  (ID 298_a_law_h15a119;231_5))