Context                Previous, Next                Top


67_a_factbook_2_2010
However, a detailed legal system generally requires human elaboration.

%3 r_0067_0003__a_r_0067_0006__system a system r_0067_0004__detailed detailed r_0067_0003__a_r_0067_0006__system->r_0067_0004__detailed [attrib] r_0067_0005__legal legal r_0067_0003__a_r_0067_0006__system->r_0067_0005__legal [attrib] r_0067_0008__requires requires r_0067_0008__requires->r_0067_0003__a_r_0067_0006__system [arg0] r_0067_0001__However However r_0067_0008__requires->r_0067_0001__However [nim] r_0067_0007__generally generally r_0067_0008__requires->r_0067_0007__generally [nim] r_0067_0010__elaboration elaboration r_0067_0008__requires->r_0067_0010__elaboration [arg1] r_0067_0009__human human r_0067_0010__elaboration->r_0067_0009__human [attrib] 
arc(r_0067_0003__a_r_0067_0006__system, r_0067_0004__detailed, attrib10).
arc(r_0067_0003__a_r_0067_0006__system, r_0067_0005__legal, attrib13).
arc(r_0067_0008__requires, r_0067_0001__However, nim2).
arc(r_0067_0008__requires, r_0067_0003__a_r_0067_0006__system, arg0).
arc(r_0067_0008__requires, r_0067_0007__generally, nim18).
arc(r_0067_0008__requires, r_0067_0010__elaboration, arg1).
arc(r_0067_0010__elaboration, r_0067_0009__human, attrib24).


%3 r_0067_0010__elaboration elaboration r_0067_0009__human human r_0067_0010__elaboration->r_0067_0009__human [attrib] r_0067_0008__requires requires r_0067_0008__requires->r_0067_0010__elaboration [arg1] r_0067_0007__generally generally r_0067_0008__requires->r_0067_0007__generally [nim] r_0067_0003__a_r_0067_0006__system a system r_0067_0008__requires->r_0067_0003__a_r_0067_0006__system [arg0] r_0067_0001__However However r_0067_0008__requires->r_0067_0001__However [nim] r_0067_0005__legal legal r_0067_0003__a_r_0067_0006__system->r_0067_0005__legal [attrib] r_0067_0004__detailed detailed r_0067_0003__a_r_0067_0006__system->r_0067_0004__detailed [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_attrib24(R_0067_0010__ELABORATION,R_0067_0009__HUMAN)
      & has_nim18(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_attrib13(R_0067_0003__A_R_0067_0006__SYSTEM,R_0067_0005__LEGAL)
      & has_attrib10(R_0067_0003__A_R_0067_0006__SYSTEM,R_0067_0004__DETAILED)
      & has_nim2(R_0067_0008__REQUIRES,R_0067_0001__HOWEVER) ) ).


n67_a_factbook_2_2010 n67_a_factbook_2_2010__1_1_1_1 However n67_a_factbook_2_2010__1_2_1 , n67_a_factbook_2_2010__1_3_1_1 a n67_a_factbook_2_2010__1_3_2_1_1 detailed n67_a_factbook_2_2010__1_3_3_1_1 legal n67_a_factbook_2_2010__1_3_4_1 system n67_a_factbook_2_2010__1_4_1_1 generally n67_a_factbook_2_2010__1_5_1 requires n67_a_factbook_2_2010__1_6_1_1_1 human n67_a_factbook_2_2010__1_6_2_1 elaboration n67_a_factbook_2_2010__1_7_1 . n67_a_factbook_2_2010__1 IP-MAT n67_a_factbook_2_2010__1_1 ADVP-NIM n67_a_factbook_2_2010__1->n67_a_factbook_2_2010__1_1 n67_a_factbook_2_2010__1_2 PUNC n67_a_factbook_2_2010__1->n67_a_factbook_2_2010__1_2 n67_a_factbook_2_2010__1_3 NP-SBJ n67_a_factbook_2_2010__1->n67_a_factbook_2_2010__1_3 n67_a_factbook_2_2010__1_4 ADVP-NIM n67_a_factbook_2_2010__1->n67_a_factbook_2_2010__1_4 n67_a_factbook_2_2010__1_5 VBP;__ n67_a_factbook_2_2010__1->n67_a_factbook_2_2010__1_5 n67_a_factbook_2_2010__1_6 NP-OB1 n67_a_factbook_2_2010__1->n67_a_factbook_2_2010__1_6 n67_a_factbook_2_2010__1_7 PUNC n67_a_factbook_2_2010__1->n67_a_factbook_2_2010__1_7 n67_a_factbook_2_2010__1_1_1 ADV n67_a_factbook_2_2010__1_1->n67_a_factbook_2_2010__1_1_1 n67_a_factbook_2_2010__1_1_1->n67_a_factbook_2_2010__1_1_1_1 n67_a_factbook_2_2010__1_2->n67_a_factbook_2_2010__1_2_1 n67_a_factbook_2_2010__1_3_1 D n67_a_factbook_2_2010__1_3->n67_a_factbook_2_2010__1_3_1 n67_a_factbook_2_2010__1_3_2 ADJP n67_a_factbook_2_2010__1_3->n67_a_factbook_2_2010__1_3_2 n67_a_factbook_2_2010__1_3_3 ADJP n67_a_factbook_2_2010__1_3->n67_a_factbook_2_2010__1_3_3 n67_a_factbook_2_2010__1_3_4 N n67_a_factbook_2_2010__1_3->n67_a_factbook_2_2010__1_3_4 n67_a_factbook_2_2010__1_3_1->n67_a_factbook_2_2010__1_3_1_1 n67_a_factbook_2_2010__1_3_2_1 ADJ n67_a_factbook_2_2010__1_3_2->n67_a_factbook_2_2010__1_3_2_1 n67_a_factbook_2_2010__1_3_2_1->n67_a_factbook_2_2010__1_3_2_1_1 n67_a_factbook_2_2010__1_3_3_1 ADJ n67_a_factbook_2_2010__1_3_3->n67_a_factbook_2_2010__1_3_3_1 n67_a_factbook_2_2010__1_3_3_1->n67_a_factbook_2_2010__1_3_3_1_1 n67_a_factbook_2_2010__1_3_4->n67_a_factbook_2_2010__1_3_4_1 n67_a_factbook_2_2010__1_4_1 ADV n67_a_factbook_2_2010__1_4->n67_a_factbook_2_2010__1_4_1 n67_a_factbook_2_2010__1_4_1->n67_a_factbook_2_2010__1_4_1_1 n67_a_factbook_2_2010__1_5->n67_a_factbook_2_2010__1_5_1 n67_a_factbook_2_2010__1_6_1 ADJP n67_a_factbook_2_2010__1_6->n67_a_factbook_2_2010__1_6_1 n67_a_factbook_2_2010__1_6_2 N n67_a_factbook_2_2010__1_6->n67_a_factbook_2_2010__1_6_2 n67_a_factbook_2_2010__1_6_1_1 ADJ n67_a_factbook_2_2010__1_6_1->n67_a_factbook_2_2010__1_6_1_1 n67_a_factbook_2_2010__1_6_1_1->n67_a_factbook_2_2010__1_6_1_1_1 n67_a_factbook_2_2010__1_6_2->n67_a_factbook_2_2010__1_6_2_1 n67_a_factbook_2_2010__1_7->n67_a_factbook_2_2010__1_7_1 
( (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))