arc(r_0039_0003__becomes, r_0039_0001__Thus, nim2).
arc(r_0039_0003__becomes, r_0039_0002__it, arg0).
arc(r_0039_0003__becomes, r_0039_0004__an_r_0039_0005__offence, prd).
arc(r_0039_0004__an_r_0039_0005__offence, r_0039_0006__punishable, attrib15).
arc(r_0039_0004__an_r_0039_0005__offence, r_0039_0010__anyone, r_0039_0009__for).
arc(r_0039_0006__punishable, r_0039_0008__imprisonment, r_0039_0007__with).
arc(r_0039_0013__publishes, r_0039_0010__anyone, arg0).
arc(r_0039_0013__publishes, r_0039_0014__a_r_0039_0015__report, arg1).
arc(r_0039_0016__likely, r_0039_0017__to_r_0039_0018__cause, emb51).
arc(r_0039_0017__to_r_0039_0018__cause, r_0039_0019__alarm, arg1).
arc(r_0039_0017__to_r_0039_0018__cause, z_000_39_a_lob_a02_51, arg0).
arc(r_0039_0020__or, z_000_39_a_lob_a02_47, conj1).
arc(r_0039_0020__or, z_000_39_a_lob_a02_62, conj2).
arc(r_0039_0021__prejudicial, r_0039_0024__safety, r_0039_0022__to).
arc(r_0039_0024__safety, r_0039_0023__public, attrib70).
arc(z_000_39_a_lob_a02_47, r_0039_0014__a_r_0039_0015__report, arg0).
arc(z_000_39_a_lob_a02_47, r_0039_0016__likely, prd).
arc(z_000_39_a_lob_a02_62, r_0039_0014__a_r_0039_0015__report, arg0).
arc(z_000_39_a_lob_a02_62, r_0039_0021__prejudicial, prd).

fof(formula,axiom,
    ? [R_0039_0001__THUS,R_0039_0002__IT,R_0039_0008__IMPRISONMENT,R_0039_0006__PUNISHABLE,R_0039_0010__ANYONE,R_0039_0004__AN_R_0039_0005__OFFENCE,R_0039_0003__BECOMES,R_0039_0014__A_R_0039_0015__REPORT,R_0039_0013__PUBLISHES,R_0039_0019__ALARM,Z_000_39_A_LOB_A02_51,R_0039_0017__TO_R_0039_0018__CAUSE,R_0039_0016__LIKELY,Z_000_39_A_LOB_A02_47,R_0039_0023__PUBLIC,R_0039_0024__SAFETY,R_0039_0021__PREJUDICIAL,Z_000_39_A_LOB_A02_62,R_0039_0020__OR] :
      ( r_0039_0001__Thus(R_0039_0001__THUS)
      & r_0039_0002__it(R_0039_0002__IT)
      & r_0039_0008__imprisonment(R_0039_0008__IMPRISONMENT)
      & r_0039_0010__anyone(R_0039_0010__ANYONE)
      & r_0039_0014__a_r_0039_0015__report(R_0039_0014__A_R_0039_0015__REPORT)
      & r_0039_0019__alarm(R_0039_0019__ALARM)
      & r_0039_0023__public(R_0039_0023__PUBLIC)
      & z_000_39_a_lob_a02_51(Z_000_39_A_LOB_A02_51)
      & r_0039_0020__or(R_0039_0020__OR)
      & has_conj2(R_0039_0020__OR,Z_000_39_A_LOB_A02_62)
      & z_000_39_a_lob_a02_62(Z_000_39_A_LOB_A02_62)
      & has_prd(Z_000_39_A_LOB_A02_62,R_0039_0021__PREJUDICIAL)
      & r_0039_0021__prejudicial(R_0039_0021__PREJUDICIAL)
      & has_r_0039_0022__to(R_0039_0021__PREJUDICIAL,R_0039_0024__SAFETY)
      & r_0039_0024__safety(R_0039_0024__SAFETY)
      & has_attrib70(R_0039_0024__SAFETY,R_0039_0023__PUBLIC)
      & has_arg0(Z_000_39_A_LOB_A02_62,R_0039_0014__A_R_0039_0015__REPORT)
      & has_conj1(R_0039_0020__OR,Z_000_39_A_LOB_A02_47)
      & z_000_39_a_lob_a02_47(Z_000_39_A_LOB_A02_47)
      & has_prd(Z_000_39_A_LOB_A02_47,R_0039_0016__LIKELY)
      & r_0039_0016__likely(R_0039_0016__LIKELY)
      & has_emb51(R_0039_0016__LIKELY,R_0039_0017__TO_R_0039_0018__CAUSE)
      & r_0039_0017__to_r_0039_0018__cause(R_0039_0017__TO_R_0039_0018__CAUSE)
      & has_arg0(R_0039_0017__TO_R_0039_0018__CAUSE,Z_000_39_A_LOB_A02_51)
      & has_arg1(R_0039_0017__TO_R_0039_0018__CAUSE,R_0039_0019__ALARM)
      & has_arg0(Z_000_39_A_LOB_A02_47,R_0039_0014__A_R_0039_0015__REPORT)
      & r_0039_0013__publishes(R_0039_0013__PUBLISHES)
      & has_arg1(R_0039_0013__PUBLISHES,R_0039_0014__A_R_0039_0015__REPORT)
      & has_arg0(R_0039_0013__PUBLISHES,R_0039_0010__ANYONE)
      & r_0039_0003__becomes(R_0039_0003__BECOMES)
      & has_prd(R_0039_0003__BECOMES,R_0039_0004__AN_R_0039_0005__OFFENCE)
      & r_0039_0004__an_r_0039_0005__offence(R_0039_0004__AN_R_0039_0005__OFFENCE)
      & has_r_0039_0009__for(R_0039_0004__AN_R_0039_0005__OFFENCE,R_0039_0010__ANYONE)
      & has_attrib15(R_0039_0004__AN_R_0039_0005__OFFENCE,R_0039_0006__PUNISHABLE)
      & r_0039_0006__punishable(R_0039_0006__PUNISHABLE)
      & has_r_0039_0007__with(R_0039_0006__PUNISHABLE,R_0039_0008__IMPRISONMENT)
      & has_arg0(R_0039_0003__BECOMES,R_0039_0002__IT)
      & has_nim2(R_0039_0003__BECOMES,R_0039_0001__THUS) ) ).

( (IP-MAT (ADVP-NIM (ADV Thus;{thus}))
          (NP-SBJ (PRO it;{it}))
          (VBP;_Ln_ becomes;{become})
          (NP-PRD (D an;{an})
                  (N offence;{offence})
                  (ADJP (ADJ punishable;{punishable})
                        (PP (P-ROLE with;{with})
                            (NP (N imprisonment;{imprisonment}))))
                  (PP (P-ROLE for;{for})
                      (NP (D;_nphd_ anyone;{anyone})
                          (IP-REL (NP-SBJ (RPRO who;{who}))
                                  (PULQ <lquo>)
                                  (VBP;_Tn_ publishes;{publish})
                                  (NP-OB1 (D a;{a})
                                          (N report;{report})
                                          (IP-REL (NP-SBJ *T*)
                                                  (ILYR (ILYR (ADJP-PRD (ADJ;_cat_ likely;{likely})
                                                                        (IP-INF (TO to;{to})
                                                                                (VB;_Tn_ cause;{cause})
                                                                                (NP-OB1 (N alarm;{alarm})))))
                                                        (CONJP (CONJ or;{or})
                                                               (ILYR (ADJP-PRD (ADJ prejudicial;{prejudicial})
                                                                               (PP (P-ROLE to;{to})
                                                                                   (NP (ADJP (ADJ public;{public}))
                                                                                       (N safety;{safety})))))))))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 39_a_lob_a02))