arc(r_0023_0002__attributes, r_0023_0001__Common, attrib3).
arc(r_0023_0002__attributes, r_0023_0006__systems, r_0023_0003__of).
arc(r_0023_0006__systems, r_0023_0004__customary, attrib12).
arc(r_0023_0006__systems, r_0023_0005__legal, attrib15).
arc(r_0023_0007__are, r_0023_0002__attributes, arg0).
arc(r_0023_0007__are, r_0023_0026__and, prd).
arc(r_0023_0010__are, r_0023_0012__written_r_0023_0013__down, scope).
arc(r_0023_0012__written_r_0023_0013__down, r_0023_0006__systems, arg1).
arc(r_0023_0012__written_r_0023_0013__down, r_0023_0011__seldom, nim36).
arc(r_0023_0012__written_r_0023_0013__down, z_000_23_a_factbook_2_2010_34, arg0).
arc(r_0023_0016__embody, r_0023_0006__systems, arg0).
arc(r_0023_0016__embody, r_0023_0017__an_r_0023_0019__set, arg1).
arc(r_0023_0017__an_r_0023_0019__set, r_0023_0018__organized, attrib55).
arc(r_0023_0017__an_r_0023_0019__set, r_0023_0021__rules, r_0023_0020__of).
arc(r_0023_0022__regulating, r_0023_0021__rules, arg0).
arc(r_0023_0022__regulating, r_0023_0024__relations, arg1).
arc(r_0023_0024__relations, r_0023_0023__social, attrib70).
arc(r_0023_0026__and, r_0023_0010__are, conj1).
arc(r_0023_0026__and, r_0023_0016__embody, conj2).
arc(r_0023_0026__and, r_0023_0028__are, conj3).
arc(r_0023_0028__are, r_0023_0029__agreed, scope).
arc(r_0023_0029__agreed, r_0023_0006__systems, arg1).
arc(r_0023_0029__agreed, r_0023_0032__members, arg0).
arc(r_0023_0032__members, r_0023_0034__the_r_0023_0035__community, r_0023_0033__of).

fof(formula,axiom,
    ? [R_23_7_ARE,R_23_2_ATTRIBUTES,R_23_1_COMMON,R_23_26_AND,R_23_10_ARE_WRITTEN_DOWN,Z_23_A_FACTBOOK_2_2010_34,R_23_11_SELDOM,R_23_16_EMBODY,R_23_17_AN_SET,R_23_18_ORGANIZED,R_23_28_ARE_AGREED,R_23_32_MEMBERS,R_23_34_THE_COMMUNITY,R_23_6_SYSTEMS,R_23_4_CUSTOMARY,R_23_5_LEGAL,R_23_22_REGULATING,R_23_21_RULES,R_23_24_RELATIONS,R_23_23_SOCIAL] :
      ( common(R_23_1_COMMON)
      & seldom(R_23_11_SELDOM)
      & organized(R_23_18_ORGANIZED)
      & the_community(R_23_34_THE_COMMUNITY)
      & customary(R_23_4_CUSTOMARY)
      & legal(R_23_5_LEGAL)
      & rules(R_23_21_RULES)
      & social(R_23_23_SOCIAL)
      & are(R_23_7_ARE,R_23_2_ATTRIBUTES,R_23_26_AND)
      & attributes(R_23_2_ATTRIBUTES)
      & attrib3(R_23_2_ATTRIBUTES,R_23_1_COMMON)
      & of(R_23_2_ATTRIBUTES,R_23_6_SYSTEMS)
      & systems(R_23_6_SYSTEMS)
      & attrib12(R_23_6_SYSTEMS,R_23_4_CUSTOMARY)
      & attrib15(R_23_6_SYSTEMS,R_23_5_LEGAL)
      & and(R_23_26_AND)
      & conj1(R_23_26_AND,R_23_10_ARE_WRITTEN_DOWN)
      & are_written_down(R_23_10_ARE_WRITTEN_DOWN,Z_23_A_FACTBOOK_2_2010_34,R_23_6_SYSTEMS)
      & nim36(R_23_10_ARE_WRITTEN_DOWN,R_23_11_SELDOM)
      & conj2(R_23_26_AND,R_23_16_EMBODY)
      & embody(R_23_16_EMBODY,R_23_6_SYSTEMS,R_23_17_AN_SET)
      & an_set(R_23_17_AN_SET)
      & attrib55(R_23_17_AN_SET,R_23_18_ORGANIZED)
      & of(R_23_17_AN_SET,R_23_21_RULES)
      & conj3(R_23_26_AND,R_23_28_ARE_AGREED)
      & are_agreed(R_23_28_ARE_AGREED,R_23_32_MEMBERS,R_23_6_SYSTEMS)
      & members(R_23_32_MEMBERS)
      & of(R_23_32_MEMBERS,R_23_34_THE_COMMUNITY)
      & regulating(R_23_22_REGULATING,R_23_21_RULES,R_23_24_RELATIONS)
      & relations(R_23_24_RELATIONS)
      & attrib70(R_23_24_RELATIONS,R_23_23_SOCIAL) ) ).

( (IP-MAT (NP-SBJ (ADJP (ADJ Common;{common}))
                  (NS attributes;{attribute})
                  (PP (P-ROLE of;{of})
                      (NP;{CUSTOMARY_LEGAL_SYSTEMS} (ADJP (ADJ customary;{customary}))
                                                    (ADJP (ADJ legal;{legal}))
                                                    (NS systems;{system}))))
          (BEP;_equ_Vf_ are;{be})
          (CP-THT-PRD (IP-SUB (C that;{that})
                              (ILYR (ILYR (NP-SBJ;{CUSTOMARY_LEGAL_SYSTEMS} (PRO they;{they}))
                                          (BEP;_cat_VePASS_ are;{be})
                                          (IP-PPL-CAT (NP-LGS *)
                                                      (ADVP-NIM (ADV seldom;{seldom}))
                                                      (VVN;_phr_Vp_ written;{write})
                                                      (RP down;{down})))
                                    (PUNC ,)
                                    (CONJP (ILYR (NP-SBJ;{CUSTOMARY_LEGAL_SYSTEMS} (PRO they;{they}))
                                                 (VBP;_Tn_ embody;{embody})
                                                 (NP-OB1 (D an;{an})
                                                         (ADJP (ADJ organized;{organized}))
                                                         (N set;{set})
                                                         (PP (P-ROLE of;{of})
                                                             (NP (NS rules;{rule})
                                                                 (IP-PPL (VAG;_Tn_ regulating;{regulate})
                                                                         (NP-OB1 (ADJP (ADJ social;{social}))
                                                                                 (NS relations;{relation}))))))))
                                    (PUNC ,)
                                    (CONJP (CONJ and;{and})
                                           (ILYR (NP-SBJ;{CUSTOMARY_LEGAL_SYSTEMS} (PRO they;{they}))
                                                 (BEP;_cat_VePASS_ are;{be})
                                                 (IP-PPL-CAT (VVN;_Ipr_ agreed;{agree[upon]})
                                                             (PP-CLR (P-ROLE upon;{upon}))
                                                             (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                     (NP (NS members;{member})
                                                                         (PP (P-ROLE of;{of})
                                                                             (NP (D the;{the})
                                                                                 (N community;{community})))))))))))
          (PUNC .))
  (ID 23_a_factbook_2_2010))