83_a_history_of_greece
The noblemen had free rein to create their own fiefdoms.
( (IP-MAT (NP-SBJ;{NOBLES} (D The;{the})
(NS noblemen;{nobleman}))
(HVD;_Tn_ had;{have})
(NP-OB1 (ADJP (ADJ free;{free}))
(N rein;{rein})
(IP-INF (TO to;{to})
(VB;_Tn_ create;{create})
(NP-OB1 (NP-GEN (NP-GEN;{NOBLES} (PRO;_genm_ their;{their}))
(ADJP (ADJ own;{own})))
(NS fiefdoms;{fiefdom}))))
(PUNC .))
(ID 83_a_history_of_greece))
arc(r_0083_0003__had,r_0083_0001__The_r_0083_0002__noblemen,arg0).
arc(r_0083_0003__had,r_0083_0005__rein,arg1).
arc(r_0083_0005__rein,r_0083_0004__free,attrib).
arc(r_0083_0005__rein,r_0083_0007__create,emb).
arc(r_0083_0007__create,r_0083_0010__fiefdoms,arg1).
arc(r_0083_0007__create,z_0083_5006,arg0).
arc(r_0083_0010__fiefdoms,z_0083_5011,gen).
arc(z_0083_5011,r_0083_0001__The_r_0083_0002__noblemen,gen).
arc(z_0083_5011,r_0083_0009__own,attrib).
fof(formula,axiom,
? [R_0083_0001__THE_R_0083_0002__NOBLEMEN,R_0083_0004__FREE,R_0083_0009__OWN,Z_0083_5011,R_0083_0010__FIEFDOMS,Z_0083_5006,R_0083_0007__CREATE,R_0083_0005__REIN,R_0083_0003__HAD] :
( r_0083_0001__The_r_0083_0002__noblemen(R_0083_0001__THE_R_0083_0002__NOBLEMEN)
& r_0083_0004__free(R_0083_0004__FREE)
& r_0083_0009__own(R_0083_0009__OWN)
& z_0083_5006(Z_0083_5006)
& r_0083_0003__had(R_0083_0003__HAD)
& has_arg1(R_0083_0003__HAD,R_0083_0005__REIN)
& r_0083_0005__rein(R_0083_0005__REIN)
& has_emb(R_0083_0005__REIN,R_0083_0007__CREATE)
& r_0083_0007__create(R_0083_0007__CREATE)
& has_arg0(R_0083_0007__CREATE,Z_0083_5006)
& has_arg1(R_0083_0007__CREATE,R_0083_0010__FIEFDOMS)
& r_0083_0010__fiefdoms(R_0083_0010__FIEFDOMS)
& has_gen(R_0083_0010__FIEFDOMS,Z_0083_5011)
& z_0083_5011(Z_0083_5011)
& has_attrib(Z_0083_5011,R_0083_0009__OWN)
& has_gen(Z_0083_5011,R_0083_0001__THE_R_0083_0002__NOBLEMEN)
& has_attrib(R_0083_0005__REIN,R_0083_0004__FREE)
& has_arg0(R_0083_0003__HAD,R_0083_0001__THE_R_0083_0002__NOBLEMEN) ) ).