( (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>)
                                          (PRN (NP (NEG not;{not})
                                                   (D the;{the})
                                                   (N intention;{intention})))
                                          (PUNC <hyphen>)
                                          (PP (PP (P-ROLE of;{of})
                                                  (NP (NS words;{word})))
                                              (CONJP (CONJ or;{or})
                                                     (PP (P-ROLE of;{of})
                                                         (NP (NS actions;{action}))))))
                                  (VBD;__ produced;{produce})
                                  (NP-OB1 (ADJP (ADJ legal;{legal}))
                                          (NS consequences;{consequence})))))
          (PUNC .))
  (ID 78_a_factbook_2_2010))

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,attrib).
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_0023__produced,emb).
arc(r_0078_0010__the_r_0078_0012__form,r_0078_0011__exact,attrib).
arc(r_0078_0010__the_r_0078_0012__form,r_0078_0020__or,z_0078_5013).
arc(r_0078_0015__the_r_0078_0016__intention,r_0078_0014__not,qual).
arc(r_0078_0020__or,r_0078_0019__words,r_0078_0018__of).
arc(r_0078_0020__or,r_0078_0022__actions,r_0078_0021__of).
arc(r_0078_0023__produced,r_0078_0010__the_r_0078_0012__form,arg0).
arc(r_0078_0023__produced,r_0078_0025__consequences,arg1).
arc(r_0078_0025__consequences,r_0078_0024__legal,attrib).
arc(z_0078_5011,r_0078_0010__the_r_0078_0012__form,arg0).
arc(z_0078_5011,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_0020__OR,R_0078_0010__THE_R_0078_0012__FORM,R_0078_0024__LEGAL,R_0078_0025__CONSEQUENCES,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_0078_5011] :
      ( r_0078_0004__Roman(R_0078_0004__ROMAN)
      & r_0078_0011__exact(R_0078_0011__EXACT)
      & r_0078_0014__not(R_0078_0014__NOT)
      & 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_0078_5011(Z_0078_5011)
      & has_prd(Z_0078_5011,R_0078_0015__THE_R_0078_0016__INTENTION)
      & r_0078_0015__the_r_0078_0016__intention(R_0078_0015__THE_R_0078_0016__INTENTION)
      & has_qual(R_0078_0015__THE_R_0078_0016__INTENTION,R_0078_0014__NOT)
      & has_arg0(Z_0078_5011,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_z_0078_5013(R_0078_0010__THE_R_0078_0012__FORM,R_0078_0020__OR)
      & r_0078_0020__or(R_0078_0020__OR)
      & has_r_0078_0021__of(R_0078_0020__OR,R_0078_0022__ACTIONS)
      & has_r_0078_0018__of(R_0078_0020__OR,R_0078_0019__WORDS)
      & has_attrib(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_emb(R_0078_0007__THE_R_0078_0008__IDEA,R_0078_0023__PRODUCED)
      & r_0078_0023__produced(R_0078_0023__PRODUCED)
      & has_arg1(R_0078_0023__PRODUCED,R_0078_0025__CONSEQUENCES)
      & r_0078_0025__consequences(R_0078_0025__CONSEQUENCES)
      & has_attrib(R_0078_0025__CONSEQUENCES,R_0078_0024__LEGAL)
      & has_arg0(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_attrib(R_0078_0005__LAWS,R_0078_0004__ROMAN) ) ).