Context                Previous, Next                Top


7_a_lob_g01
Obedient to the policy of his King, de Vienne avoided trouble at sea as cleverly as Du Guesclin avoided it on land.

%3 r_0007_0001__Obedient Obedient r_0007_0003__the_r_0007_0004__policy the policy r_0007_0001__Obedient->r_0007_0003__the_r_0007_0004__policy to r_0007_0007__King King r_0007_0003__the_r_0007_0004__policy->r_0007_0007__King of r_0007_0009__de_r_0007_0010__Vienne de Vienne r_0007_0007__King->r_0007_0009__de_r_0007_0010__Vienne [gen] r_0007_0011__avoided avoided r_0007_0011__avoided->r_0007_0009__de_r_0007_0010__Vienne [arg0] r_0007_0012__trouble trouble r_0007_0011__avoided->r_0007_0012__trouble [arg1] r_0007_0014__sea sea r_0007_0011__avoided->r_0007_0014__sea at [nim] r_0007_0016__cleverly cleverly r_0007_0011__avoided->r_0007_0016__cleverly [nim] r_0007_0015__as as r_0007_0016__cleverly->r_0007_0015__as [qual] r_0007_0020__avoided avoided r_0007_0016__cleverly->r_0007_0020__avoided as r_0007_0020__avoided->r_0007_0012__trouble [arg1] r_0007_0018__Du_r_0007_0019__Guesclin Du Guesclin r_0007_0020__avoided->r_0007_0018__Du_r_0007_0019__Guesclin [arg0] r_0007_0023__land land r_0007_0020__avoided->r_0007_0023__land on [nim] z_000_7_a_lob_g01_2 z_000_7_a_lob_g01_2->r_0007_0011__avoided [scope] z_000_7_a_lob_g01_3 z_000_7_a_lob_g01_2->z_000_7_a_lob_g01_3 [restriction] z_000_7_a_lob_g01_3->r_0007_0001__Obedient [prd] z_000_7_a_lob_g01_3->r_0007_0009__de_r_0007_0010__Vienne [arg0] 
arc(r_0007_0001__Obedient, r_0007_0003__the_r_0007_0004__policy, r_0007_0002__to).
arc(r_0007_0003__the_r_0007_0004__policy, r_0007_0007__King, r_0007_0005__of).
arc(r_0007_0007__King, r_0007_0009__de_r_0007_0010__Vienne, gen).
arc(r_0007_0011__avoided, r_0007_0009__de_r_0007_0010__Vienne, arg0).
arc(r_0007_0011__avoided, r_0007_0012__trouble, arg1).
arc(r_0007_0011__avoided, r_0007_0014__sea, r_0007_0013__at_nim39).
arc(r_0007_0011__avoided, r_0007_0016__cleverly, nim42).
arc(r_0007_0016__cleverly, r_0007_0015__as, qual43).
arc(r_0007_0016__cleverly, r_0007_0020__avoided, r_0007_0017__as).
arc(r_0007_0020__avoided, r_0007_0012__trouble, arg1).
arc(r_0007_0020__avoided, r_0007_0018__Du_r_0007_0019__Guesclin, arg0).
arc(r_0007_0020__avoided, r_0007_0023__land, r_0007_0022__on_nim65).
arc(z_000_7_a_lob_g01_2, r_0007_0011__avoided, scope).
arc(z_000_7_a_lob_g01_2, z_000_7_a_lob_g01_3, restriction).
arc(z_000_7_a_lob_g01_3, r_0007_0001__Obedient, prd).
arc(z_000_7_a_lob_g01_3, r_0007_0009__de_r_0007_0010__Vienne, arg0).


%3 r_0007_0001__Obedient Obedient r_0007_0003__the_r_0007_0004__policy the policy r_0007_0001__Obedient->r_0007_0003__the_r_0007_0004__policy to r_0007_0007__King King r_0007_0003__the_r_0007_0004__policy->r_0007_0007__King of r_0007_0009__de_r_0007_0010__Vienne de Vienne r_0007_0007__King->r_0007_0009__de_r_0007_0010__Vienne [gen] r_0007_0011__avoided avoided r_0007_0011__avoided->r_0007_0009__de_r_0007_0010__Vienne [arg0] r_0007_0012__trouble trouble r_0007_0011__avoided->r_0007_0012__trouble [arg1] r_0007_0014__sea sea r_0007_0011__avoided->r_0007_0014__sea at [nim] r_0007_0016__cleverly cleverly r_0007_0011__avoided->r_0007_0016__cleverly [nim] r_0007_0015__as as r_0007_0016__cleverly->r_0007_0015__as [qual] r_0007_0020__avoided avoided r_0007_0016__cleverly->r_0007_0020__avoided as r_0007_0020__avoided->r_0007_0012__trouble [arg1] r_0007_0018__Du_r_0007_0019__Guesclin Du Guesclin r_0007_0020__avoided->r_0007_0018__Du_r_0007_0019__Guesclin [arg0] r_0007_0023__land land r_0007_0020__avoided->r_0007_0023__land on [nim] z_000_7_a_lob_g01_2 z_000_7_a_lob_g01_2->r_0007_0011__avoided [conj2] z_000_7_a_lob_g01_3 z_000_7_a_lob_g01_2->z_000_7_a_lob_g01_3 [conj1] z_000_7_a_lob_g01_3->r_0007_0001__Obedient [prd] z_000_7_a_lob_g01_3->r_0007_0009__de_r_0007_0010__Vienne [arg0] 
fof(formula,axiom,
    ? [Z_7_A_LOB_G01_2,Z_7_A_LOB_G01_3,R_7_1_OBEDIENT,R_7_3_THE_POLICY,R_7_7_KING,R_7_11_AVOIDED,R_7_9_DE_VIENNE,R_7_16_CLEVERLY,R_7_15_AS,R_7_20_AVOIDED,R_7_18_DU_GUESCLIN,R_7_12_TROUBLE,R_7_23_LAND,R_7_14_SEA] :
      ( de_Vienne(R_7_9_DE_VIENNE)
      & as(R_7_15_AS)
      & du_Guesclin(R_7_18_DU_GUESCLIN)
      & trouble(R_7_12_TROUBLE)
      & land(R_7_23_LAND)
      & sea(R_7_14_SEA)
      & z_7_a_lob_g01_2(Z_7_A_LOB_G01_2)
      & conj1(Z_7_A_LOB_G01_2,Z_7_A_LOB_G01_3)
      & z_7_a_lob_g01_3(Z_7_A_LOB_G01_3,R_7_9_DE_VIENNE,R_7_1_OBEDIENT)
      & obedient(R_7_1_OBEDIENT)
      & to(R_7_1_OBEDIENT,R_7_3_THE_POLICY)
      & the_policy(R_7_3_THE_POLICY)
      & of(R_7_3_THE_POLICY,R_7_7_KING)
      & king(R_7_7_KING)
      & gen(R_7_7_KING,R_7_9_DE_VIENNE)
      & conj2(Z_7_A_LOB_G01_2,R_7_11_AVOIDED)
      & avoided(R_7_11_AVOIDED,R_7_9_DE_VIENNE,R_7_12_TROUBLE)
      & nim42(R_7_11_AVOIDED,R_7_16_CLEVERLY)
      & cleverly(R_7_16_CLEVERLY)
      & qual43(R_7_16_CLEVERLY,R_7_15_AS)
      & as(R_7_16_CLEVERLY,R_7_20_AVOIDED)
      & avoided(R_7_20_AVOIDED,R_7_18_DU_GUESCLIN,R_7_12_TROUBLE)
      & on_nim65(R_7_20_AVOIDED,R_7_23_LAND)
      & at_nim39(R_7_11_AVOIDED,R_7_14_SEA) ) ).


n7_a_lob_g01 n7_a_lob_g01_6 Obedient n7_a_lob_g01_9 to n7_a_lob_g01_12 the n7_a_lob_g01_14 policy n7_a_lob_g01_17 of n7_a_lob_g01_21 his n7_a_lob_g01_23 King n7_a_lob_g01_25 , n7_a_lob_g01_28 de n7_a_lob_g01_30 Vienne n7_a_lob_g01_32 avoided n7_a_lob_g01_35 trouble n7_a_lob_g01_38 at n7_a_lob_g01_41 sea n7_a_lob_g01_45 as n7_a_lob_g01_47 cleverly n7_a_lob_g01_50 as n7_a_lob_g01_54 Du n7_a_lob_g01_56 Guesclin n7_a_lob_g01_58 avoided n7_a_lob_g01_61 it n7_a_lob_g01_64 on n7_a_lob_g01_67 land n7_a_lob_g01_69 . n7_a_lob_g01_1 IP-MAT n7_a_lob_g01_2 PP-SCON n7_a_lob_g01_1->n7_a_lob_g01_2 n7_a_lob_g01_24 PUNC n7_a_lob_g01_1->n7_a_lob_g01_24 n7_a_lob_g01_26 NP-SBJ n7_a_lob_g01_1->n7_a_lob_g01_26 n7_a_lob_g01_31 VBD;_Tn_ n7_a_lob_g01_1->n7_a_lob_g01_31 n7_a_lob_g01_33 NP-OB1 n7_a_lob_g01_1->n7_a_lob_g01_33 n7_a_lob_g01_36 PP-NIM n7_a_lob_g01_1->n7_a_lob_g01_36 n7_a_lob_g01_42 ADVP-NIM n7_a_lob_g01_1->n7_a_lob_g01_42 n7_a_lob_g01_68 PUNC n7_a_lob_g01_1->n7_a_lob_g01_68 n7_a_lob_g01_3 IP-PPL2 n7_a_lob_g01_2->n7_a_lob_g01_3 n7_a_lob_g01_4 ADJP-PRD n7_a_lob_g01_3->n7_a_lob_g01_4 n7_a_lob_g01_5 ADJ n7_a_lob_g01_4->n7_a_lob_g01_5 n7_a_lob_g01_7 PP n7_a_lob_g01_4->n7_a_lob_g01_7 n7_a_lob_g01_5->n7_a_lob_g01_6 n7_a_lob_g01_8 P-ROLE n7_a_lob_g01_7->n7_a_lob_g01_8 n7_a_lob_g01_10 NP n7_a_lob_g01_7->n7_a_lob_g01_10 n7_a_lob_g01_8->n7_a_lob_g01_9 n7_a_lob_g01_11 D n7_a_lob_g01_10->n7_a_lob_g01_11 n7_a_lob_g01_13 N n7_a_lob_g01_10->n7_a_lob_g01_13 n7_a_lob_g01_15 PP n7_a_lob_g01_10->n7_a_lob_g01_15 n7_a_lob_g01_11->n7_a_lob_g01_12 n7_a_lob_g01_13->n7_a_lob_g01_14 n7_a_lob_g01_16 P-ROLE n7_a_lob_g01_15->n7_a_lob_g01_16 n7_a_lob_g01_18 NP n7_a_lob_g01_15->n7_a_lob_g01_18 n7_a_lob_g01_16->n7_a_lob_g01_17 n7_a_lob_g01_19 NP-GEN n7_a_lob_g01_18->n7_a_lob_g01_19 n7_a_lob_g01_22 N n7_a_lob_g01_18->n7_a_lob_g01_22 n7_a_lob_g01_20 PRO;_genm_ n7_a_lob_g01_19->n7_a_lob_g01_20 n7_a_lob_g01_20->n7_a_lob_g01_21 n7_a_lob_g01_22->n7_a_lob_g01_23 n7_a_lob_g01_24->n7_a_lob_g01_25 n7_a_lob_g01_27 NPR n7_a_lob_g01_26->n7_a_lob_g01_27 n7_a_lob_g01_29 NPR n7_a_lob_g01_26->n7_a_lob_g01_29 n7_a_lob_g01_27->n7_a_lob_g01_28 n7_a_lob_g01_29->n7_a_lob_g01_30 n7_a_lob_g01_31->n7_a_lob_g01_32 n7_a_lob_g01_34 N n7_a_lob_g01_33->n7_a_lob_g01_34 n7_a_lob_g01_34->n7_a_lob_g01_35 n7_a_lob_g01_37 P-ROLE n7_a_lob_g01_36->n7_a_lob_g01_37 n7_a_lob_g01_39 NP n7_a_lob_g01_36->n7_a_lob_g01_39 n7_a_lob_g01_37->n7_a_lob_g01_38 n7_a_lob_g01_40 N n7_a_lob_g01_39->n7_a_lob_g01_40 n7_a_lob_g01_40->n7_a_lob_g01_41 n7_a_lob_g01_43 ADVP n7_a_lob_g01_42->n7_a_lob_g01_43 n7_a_lob_g01_46 ADV n7_a_lob_g01_42->n7_a_lob_g01_46 n7_a_lob_g01_48 PP n7_a_lob_g01_42->n7_a_lob_g01_48 n7_a_lob_g01_44 ADV n7_a_lob_g01_43->n7_a_lob_g01_44 n7_a_lob_g01_44->n7_a_lob_g01_45 n7_a_lob_g01_46->n7_a_lob_g01_47 n7_a_lob_g01_49 P-CONN n7_a_lob_g01_48->n7_a_lob_g01_49 n7_a_lob_g01_51 IP-ADV n7_a_lob_g01_48->n7_a_lob_g01_51 n7_a_lob_g01_49->n7_a_lob_g01_50 n7_a_lob_g01_52 NP-SBJ n7_a_lob_g01_51->n7_a_lob_g01_52 n7_a_lob_g01_57 VBD;_Tn_ n7_a_lob_g01_51->n7_a_lob_g01_57 n7_a_lob_g01_59 NP-OB1 n7_a_lob_g01_51->n7_a_lob_g01_59 n7_a_lob_g01_62 PP-NIM n7_a_lob_g01_51->n7_a_lob_g01_62 n7_a_lob_g01_53 NPR n7_a_lob_g01_52->n7_a_lob_g01_53 n7_a_lob_g01_55 NPR n7_a_lob_g01_52->n7_a_lob_g01_55 n7_a_lob_g01_53->n7_a_lob_g01_54 n7_a_lob_g01_55->n7_a_lob_g01_56 n7_a_lob_g01_57->n7_a_lob_g01_58 n7_a_lob_g01_60 PRO n7_a_lob_g01_59->n7_a_lob_g01_60 n7_a_lob_g01_60->n7_a_lob_g01_61 n7_a_lob_g01_63 P-ROLE n7_a_lob_g01_62->n7_a_lob_g01_63 n7_a_lob_g01_65 NP n7_a_lob_g01_62->n7_a_lob_g01_65 n7_a_lob_g01_63->n7_a_lob_g01_64 n7_a_lob_g01_66 N n7_a_lob_g01_65->n7_a_lob_g01_66 n7_a_lob_g01_66->n7_a_lob_g01_67 n7_a_lob_g01_68->n7_a_lob_g01_69 
( (IP-MAT (PP-SCON (IP-PPL2 (ADJP-PRD (ADJ Obedient;{obedient})
                                      (PP (P-ROLE to;{to})
                                          (NP (D the;{the})
                                              (N policy;{policy})
                                              (PP (P-ROLE of;{of})
                                                  (NP (NP-GEN;{DE_VIENNE} (PRO;_genm_ his;{his}))
                                                      (N King;{king}))))))))
          (PUNC ,)
          (NP-SBJ;{DE_VIENNE} (NPR de;{de})
                              (NPR Vienne;{Vienne}))
          (VBD;_Tn_ avoided;{avoid})
          (NP-OB1;{TROUBLE} (N trouble;{trouble}))
          (PP-NIM (P-ROLE at;{at})
                  (NP (N sea;{sea})))
          (ADVP-NIM (ADVP (ADV as;{as}))
                    (ADV cleverly;{cleverly})
                    (PP (P-CONN as;{as})
                        (IP-ADV (NP-SBJ (NPR Du;{Du})
                                        (NPR Guesclin;{Guesclin}))
                                (VBD;_Tn_ avoided;{avoid})
                                (NP-OB1;{TROUBLE} (PRO it;{it}))
                                (PP-NIM (P-ROLE on;{on})
                                        (NP (N land;{land}))))))
          (PUNC .))
  (ID 7_a_lob_g01))