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_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] 
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_4 However n67_a_factbook_2_2010_6 , n67_a_factbook_2_2010_9 a n67_a_factbook_2_2010_12 detailed n67_a_factbook_2_2010_15 legal n67_a_factbook_2_2010_17 system n67_a_factbook_2_2010_20 generally n67_a_factbook_2_2010_22 requires n67_a_factbook_2_2010_26 human n67_a_factbook_2_2010_28 elaboration n67_a_factbook_2_2010_30 . n67_a_factbook_2_2010_1 IP-MAT n67_a_factbook_2_2010_2 ADVP-NIM n67_a_factbook_2_2010_1->n67_a_factbook_2_2010_2 n67_a_factbook_2_2010_5 PUNC n67_a_factbook_2_2010_1->n67_a_factbook_2_2010_5 n67_a_factbook_2_2010_7 NP-SBJ n67_a_factbook_2_2010_1->n67_a_factbook_2_2010_7 n67_a_factbook_2_2010_18 ADVP-NIM n67_a_factbook_2_2010_1->n67_a_factbook_2_2010_18 n67_a_factbook_2_2010_21 VBP;__ n67_a_factbook_2_2010_1->n67_a_factbook_2_2010_21 n67_a_factbook_2_2010_23 NP-OB1 n67_a_factbook_2_2010_1->n67_a_factbook_2_2010_23 n67_a_factbook_2_2010_29 PUNC n67_a_factbook_2_2010_1->n67_a_factbook_2_2010_29 n67_a_factbook_2_2010_3 ADV n67_a_factbook_2_2010_2->n67_a_factbook_2_2010_3 n67_a_factbook_2_2010_3->n67_a_factbook_2_2010_4 n67_a_factbook_2_2010_5->n67_a_factbook_2_2010_6 n67_a_factbook_2_2010_8 D n67_a_factbook_2_2010_7->n67_a_factbook_2_2010_8 n67_a_factbook_2_2010_10 ADJP n67_a_factbook_2_2010_7->n67_a_factbook_2_2010_10 n67_a_factbook_2_2010_13 ADJP n67_a_factbook_2_2010_7->n67_a_factbook_2_2010_13 n67_a_factbook_2_2010_16 N n67_a_factbook_2_2010_7->n67_a_factbook_2_2010_16 n67_a_factbook_2_2010_8->n67_a_factbook_2_2010_9 n67_a_factbook_2_2010_11 ADJ n67_a_factbook_2_2010_10->n67_a_factbook_2_2010_11 n67_a_factbook_2_2010_11->n67_a_factbook_2_2010_12 n67_a_factbook_2_2010_14 ADJ n67_a_factbook_2_2010_13->n67_a_factbook_2_2010_14 n67_a_factbook_2_2010_14->n67_a_factbook_2_2010_15 n67_a_factbook_2_2010_16->n67_a_factbook_2_2010_17 n67_a_factbook_2_2010_19 ADV n67_a_factbook_2_2010_18->n67_a_factbook_2_2010_19 n67_a_factbook_2_2010_19->n67_a_factbook_2_2010_20 n67_a_factbook_2_2010_21->n67_a_factbook_2_2010_22 n67_a_factbook_2_2010_24 ADJP n67_a_factbook_2_2010_23->n67_a_factbook_2_2010_24 n67_a_factbook_2_2010_27 N n67_a_factbook_2_2010_23->n67_a_factbook_2_2010_27 n67_a_factbook_2_2010_25 ADJ n67_a_factbook_2_2010_24->n67_a_factbook_2_2010_25 n67_a_factbook_2_2010_25->n67_a_factbook_2_2010_26 n67_a_factbook_2_2010_27->n67_a_factbook_2_2010_28 n67_a_factbook_2_2010_29->n67_a_factbook_2_2010_30 
( (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))