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.
( (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))
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__nim).
arc(r_0007_0011__avoided,r_0007_0016__cleverly,nim).
arc(r_0007_0016__cleverly,r_0007_0015__as,qual).
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__nim).
arc(z_0007_5009,r_0007_0011__avoided,scope).
arc(z_0007_5009,z_0007_5015,restriction).
arc(z_0007_5015,r_0007_0001__Obedient,prd).
arc(z_0007_5015,r_0007_0009__de_r_0007_0010__Vienne,arg0).
fof(formula,axiom,
? [R_0007_0009__DE_R_0007_0010__VIENNE,R_0007_0012__TROUBLE,R_0007_0014__SEA,R_0007_0015__AS,R_0007_0018__DU_R_0007_0019__GUESCLIN,R_0007_0023__LAND,R_0007_0020__AVOIDED,R_0007_0016__CLEVERLY,R_0007_0011__AVOIDED,R_0007_0007__KING,R_0007_0003__THE_R_0007_0004__POLICY,R_0007_0001__OBEDIENT,Z_0007_5015,Z_0007_5009] :
( r_0007_0009__de_r_0007_0010__Vienne(R_0007_0009__DE_R_0007_0010__VIENNE)
& r_0007_0012__trouble(R_0007_0012__TROUBLE)
& r_0007_0014__sea(R_0007_0014__SEA)
& r_0007_0015__as(R_0007_0015__AS)
& r_0007_0018__Du_r_0007_0019__Guesclin(R_0007_0018__DU_R_0007_0019__GUESCLIN)
& r_0007_0023__land(R_0007_0023__LAND)
& z_0007_5009(Z_0007_5009)
& has_conj1(Z_0007_5009,Z_0007_5015)
& z_0007_5015(Z_0007_5015)
& has_arg0(Z_0007_5015,R_0007_0009__DE_R_0007_0010__VIENNE)
& has_prd(Z_0007_5015,R_0007_0001__OBEDIENT)
& r_0007_0001__Obedient(R_0007_0001__OBEDIENT)
& has_r_0007_0002__to(R_0007_0001__OBEDIENT,R_0007_0003__THE_R_0007_0004__POLICY)
& r_0007_0003__the_r_0007_0004__policy(R_0007_0003__THE_R_0007_0004__POLICY)
& has_r_0007_0005__of(R_0007_0003__THE_R_0007_0004__POLICY,R_0007_0007__KING)
& r_0007_0007__King(R_0007_0007__KING)
& has_gen(R_0007_0007__KING,R_0007_0009__DE_R_0007_0010__VIENNE)
& has_conj2(Z_0007_5009,R_0007_0011__AVOIDED)
& r_0007_0011__avoided(R_0007_0011__AVOIDED)
& has_nim(R_0007_0011__AVOIDED,R_0007_0016__CLEVERLY)
& r_0007_0016__cleverly(R_0007_0016__CLEVERLY)
& has_r_0007_0017__as(R_0007_0016__CLEVERLY,R_0007_0020__AVOIDED)
& r_0007_0020__avoided(R_0007_0020__AVOIDED)
& has_r_0007_0022__on__nim(R_0007_0020__AVOIDED,R_0007_0023__LAND)
& has_arg0(R_0007_0020__AVOIDED,R_0007_0018__DU_R_0007_0019__GUESCLIN)
& has_arg1(R_0007_0020__AVOIDED,R_0007_0012__TROUBLE)
& has_qual(R_0007_0016__CLEVERLY,R_0007_0015__AS)
& has_r_0007_0013__at__nim(R_0007_0011__AVOIDED,R_0007_0014__SEA)
& has_arg1(R_0007_0011__AVOIDED,R_0007_0012__TROUBLE)
& has_arg0(R_0007_0011__AVOIDED,R_0007_0009__DE_R_0007_0010__VIENNE) ) ).