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_67_8_REQUIRES,R_67_3_A_SYSTEM,R_67_4_DETAILED,R_67_5_LEGAL,R_67_10_ELABORATION,R_67_9_HUMAN,R_67_7_GENERALLY,R_67_1_HOWEVER] :
      ( detailed(R_67_4_DETAILED)
      & legal(R_67_5_LEGAL)
      & human(R_67_9_HUMAN)
      & generally(R_67_7_GENERALLY)
      & however(R_67_1_HOWEVER)
      & requires(R_67_8_REQUIRES,R_67_3_A_SYSTEM,R_67_10_ELABORATION)
      & a_system(R_67_3_A_SYSTEM)
      & attrib10(R_67_3_A_SYSTEM,R_67_4_DETAILED)
      & attrib13(R_67_3_A_SYSTEM,R_67_5_LEGAL)
      & elaboration(R_67_10_ELABORATION)
      & attrib24(R_67_10_ELABORATION,R_67_9_HUMAN)
      & nim18(R_67_8_REQUIRES,R_67_7_GENERALLY)
      & nim2(R_67_8_REQUIRES,R_67_1_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))