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.
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_0018__Du_r_0007_0019__Guesclin, arg0).
arc(r_0007_0020__avoided, r_0007_0021__it, arg1).
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).
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_12_TROUBLE,R_7_16_CLEVERLY,R_7_15_AS,R_7_20_AVOIDED,R_7_18_DU_GUESCLIN,R_7_21_IT,R_7_23_LAND,R_7_14_SEA] :
( de_Vienne(R_7_9_DE_VIENNE)
& trouble(R_7_12_TROUBLE)
& as(R_7_15_AS)
& du_Guesclin(R_7_18_DU_GUESCLIN)
& it(R_7_21_IT)
& 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_21_IT)
& on_nim65(R_7_20_AVOIDED,R_7_23_LAND)
& at_nim39(R_7_11_AVOIDED,R_7_14_SEA) ) ).
( (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))