( (IP-MAT (ADVP-NIM (ADV However;{however}))
          (PUNC ,)
          (NP-SBJ (D a;{a})
                  (ADJP (ADJ detailed;{detailed}))
                  (ADJP (ADJ legal;{legal}))
                  (N system;{system}))
          (ADVP-NIM (ADV generally;{generally}))
          (VBP;__ requires;{require})
          (NP-OB1 (ADJP (ADJ human;{human}))
                  (N elaboration;{elaboration}))
          (PUNC .))
  (ID 67_a_factbook_2_2010))

arc(r_0067_0003__a_r_0067_0006__system,r_0067_0004__detailed,attrib).
arc(r_0067_0003__a_r_0067_0006__system,r_0067_0005__legal,attrib).
arc(r_0067_0008__requires,r_0067_0001__However,nim).
arc(r_0067_0008__requires,r_0067_0003__a_r_0067_0006__system,arg0).
arc(r_0067_0008__requires,r_0067_0007__generally,nim).
arc(r_0067_0008__requires,r_0067_0010__elaboration,arg1).
arc(r_0067_0010__elaboration,r_0067_0009__human,attrib).

fof(formula,axiom,
    ? [R_0067_0001__HOWEVER,R_0067_0004__DETAILED,R_0067_0005__LEGAL,R_0067_0003__A_R_0067_0006__SYSTEM,R_0067_0007__GENERALLY,R_0067_0009__HUMAN,R_0067_0010__ELABORATION,R_0067_0008__REQUIRES] :
      ( r_0067_0001__However(R_0067_0001__HOWEVER)
      & r_0067_0004__detailed(R_0067_0004__DETAILED)
      & r_0067_0005__legal(R_0067_0005__LEGAL)
      & r_0067_0007__generally(R_0067_0007__GENERALLY)
      & r_0067_0009__human(R_0067_0009__HUMAN)
      & r_0067_0008__requires(R_0067_0008__REQUIRES)
      & has_arg1(R_0067_0008__REQUIRES,R_0067_0010__ELABORATION)
      & r_0067_0010__elaboration(R_0067_0010__ELABORATION)
      & has_attrib(R_0067_0010__ELABORATION,R_0067_0009__HUMAN)
      & has_nim(R_0067_0008__REQUIRES,R_0067_0007__GENERALLY)
      & has_arg0(R_0067_0008__REQUIRES,R_0067_0003__A_R_0067_0006__SYSTEM)
      & r_0067_0003__a_r_0067_0006__system(R_0067_0003__A_R_0067_0006__SYSTEM)
      & has_attrib(R_0067_0003__A_R_0067_0006__SYSTEM,R_0067_0005__LEGAL)
      & has_attrib(R_0067_0003__A_R_0067_0006__SYSTEM,R_0067_0004__DETAILED)
      & has_nim(R_0067_0008__REQUIRES,R_0067_0001__HOWEVER) ) ).