arc(r_0078_0001__The_r_0078_0002__basis, r_0078_0005__laws, r_0078_0003__for).
arc(r_0078_0005__laws, r_0078_0004__Roman, attrib11).
arc(r_0078_0006__was, r_0078_0001__The_r_0078_0002__basis, arg0).
arc(r_0078_0006__was, r_0078_0007__the_r_0078_0008__idea, prd).
arc(r_0078_0007__the_r_0078_0008__idea, r_0078_0009__that_r_0078_0023__produced, emb24).
arc(r_0078_0009__that_r_0078_0023__produced, r_0078_0010__the_r_0078_0012__form, arg0).
arc(r_0078_0009__that_r_0078_0023__produced, r_0078_0025__consequences, arg1).
arc(r_0078_0010__the_r_0078_0012__form, r_0078_0011__exact, attrib30).
arc(r_0078_0010__the_r_0078_0012__form, r_0078_0019__words, r_0078_0018__of).
arc(r_0078_0010__the_r_0078_0012__form, r_0078_0022__actions, r_0078_0020__or_r_0078_0021__of).
arc(r_0078_0025__consequences, r_0078_0024__legal, attrib64).
arc(z_000_78_a_factbook_2_2010_37, r_0078_0010__the_r_0078_0012__form, arg0).
arc(z_000_78_a_factbook_2_2010_37, r_0078_0014__not_r_0078_0015__the_r_0078_0016__intention, prd).

fof(formula,axiom,
    ? [R_0078_0004__ROMAN,R_0078_0005__LAWS,R_0078_0001__THE_R_0078_0002__BASIS,R_0078_0011__EXACT,R_0078_0019__WORDS,R_0078_0022__ACTIONS,R_0078_0010__THE_R_0078_0012__FORM,R_0078_0024__LEGAL,R_0078_0025__CONSEQUENCES,R_0078_0009__THAT_R_0078_0023__PRODUCED,R_0078_0007__THE_R_0078_0008__IDEA,R_0078_0006__WAS,R_0078_0014__NOT_R_0078_0015__THE_R_0078_0016__INTENTION,Z_000_78_A_FACTBOOK_2_2010_37] :
      ( r_0078_0004__Roman(R_0078_0004__ROMAN)
      & r_0078_0011__exact(R_0078_0011__EXACT)
      & r_0078_0014__not_r_0078_0015__the_r_0078_0016__intention(R_0078_0014__NOT_R_0078_0015__THE_R_0078_0016__INTENTION)
      & r_0078_0019__words(R_0078_0019__WORDS)
      & r_0078_0022__actions(R_0078_0022__ACTIONS)
      & r_0078_0024__legal(R_0078_0024__LEGAL)
      & z_000_78_a_factbook_2_2010_37(Z_000_78_A_FACTBOOK_2_2010_37)
      & has_prd(Z_000_78_A_FACTBOOK_2_2010_37,R_0078_0014__NOT_R_0078_0015__THE_R_0078_0016__INTENTION)
      & has_arg0(Z_000_78_A_FACTBOOK_2_2010_37,R_0078_0010__THE_R_0078_0012__FORM)
      & r_0078_0010__the_r_0078_0012__form(R_0078_0010__THE_R_0078_0012__FORM)
      & has_r_0078_0020__or_r_0078_0021__of(R_0078_0010__THE_R_0078_0012__FORM,R_0078_0022__ACTIONS)
      & has_r_0078_0018__of(R_0078_0010__THE_R_0078_0012__FORM,R_0078_0019__WORDS)
      & has_attrib30(R_0078_0010__THE_R_0078_0012__FORM,R_0078_0011__EXACT)
      & r_0078_0006__was(R_0078_0006__WAS)
      & has_prd(R_0078_0006__WAS,R_0078_0007__THE_R_0078_0008__IDEA)
      & r_0078_0007__the_r_0078_0008__idea(R_0078_0007__THE_R_0078_0008__IDEA)
      & has_emb24(R_0078_0007__THE_R_0078_0008__IDEA,R_0078_0009__THAT_R_0078_0023__PRODUCED)
      & r_0078_0009__that_r_0078_0023__produced(R_0078_0009__THAT_R_0078_0023__PRODUCED)
      & has_arg1(R_0078_0009__THAT_R_0078_0023__PRODUCED,R_0078_0025__CONSEQUENCES)
      & r_0078_0025__consequences(R_0078_0025__CONSEQUENCES)
      & has_attrib64(R_0078_0025__CONSEQUENCES,R_0078_0024__LEGAL)
      & has_arg0(R_0078_0009__THAT_R_0078_0023__PRODUCED,R_0078_0010__THE_R_0078_0012__FORM)
      & has_arg0(R_0078_0006__WAS,R_0078_0001__THE_R_0078_0002__BASIS)
      & r_0078_0001__The_r_0078_0002__basis(R_0078_0001__THE_R_0078_0002__BASIS)
      & has_r_0078_0003__for(R_0078_0001__THE_R_0078_0002__BASIS,R_0078_0005__LAWS)
      & r_0078_0005__laws(R_0078_0005__LAWS)
      & has_attrib11(R_0078_0005__LAWS,R_0078_0004__ROMAN) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (N basis;{basis})
                  (PP (P-ROLE for;{for})
                      (NP (ADJP (ADJ Roman;{roman}))
                          (NS laws;{law}))))
          (BED;_Ln_ was;{be})
          (NP-PRD (D the;{the})
                  (N idea;{idea})
                  (CP-THT (IP-SUB (C that;{that})
                                  (NP-SBJ (D the;{the})
                                          (ADJP (ADJ exact;{exact}))
                                          (N form;{form})
                                          (PUNC <hyphen>)
                                          (IP-PPL (NP-PRD (NEG not;{not})
                                                          (D the;{the})
                                                          (N intention;{intention})))
                                          (PUNC <hyphen>)
                                          (PP (P-ROLE of;{of})
                                              (NP (NS words;{word})))
                                          (PP (CONJ or;{or})
                                              (P-ROLE of;{of})
                                              (NP (NS actions;{action}))))
                                  (VBD;_Tn_ produced;{produce})
                                  (NP-OB1 (ADJP (ADJ legal;{legal}))
                                          (NS consequences;{consequence})))))
          (PUNC .))
  (ID 78_a_factbook_2_2010))