80_a_factbook_2_2010
Roman law served as the basis of law systems developed in a number of continental European countries.
arc(r_0080_0002__law, r_0080_0001__Roman, attrib3).
arc(r_0080_0003__served, r_0080_0002__law, arg0).
arc(r_0080_0003__served, r_0080_0005__the_r_0080_0006__basis, r_0080_0004__as_clr13).
arc(r_0080_0005__the_r_0080_0006__basis, r_0080_0008__law_r_0080_0009__systems, r_0080_0007__of).
arc(r_0080_0010__developed, r_0080_0008__law_r_0080_0009__systems, arg1).
arc(r_0080_0010__developed, r_0080_0012__a_r_0080_0013__number, r_0080_0011__in_nim34).
arc(r_0080_0010__developed, z_000_80_a_factbook_2_2010_27, arg0).
arc(r_0080_0012__a_r_0080_0013__number, r_0080_0017__countries, r_0080_0014__of).
arc(r_0080_0017__countries, r_0080_0015__continental, attrib43).
arc(r_0080_0017__countries, r_0080_0016__European, attrib46).
fof(formula,axiom,
? [R_80_3_SERVED,R_80_2_LAW,R_80_1_ROMAN,R_80_5_THE_BASIS,R_80_10_DEVELOPED,Z_80_A_FACTBOOK_2_2010_27,R_80_8_LAW_SYSTEMS,R_80_12_A_NUMBER,R_80_17_COUNTRIES,R_80_15_CONTINENTAL,R_80_16_EUROPEAN] :
( roman(R_80_1_ROMAN)
& law_systems(R_80_8_LAW_SYSTEMS)
& continental(R_80_15_CONTINENTAL)
& european(R_80_16_EUROPEAN)
& served(R_80_3_SERVED,R_80_2_LAW)
& law(R_80_2_LAW)
& attrib3(R_80_2_LAW,R_80_1_ROMAN)
& as_clr13(R_80_3_SERVED,R_80_5_THE_BASIS)
& the_basis(R_80_5_THE_BASIS)
& of(R_80_5_THE_BASIS,R_80_8_LAW_SYSTEMS)
& developed(R_80_10_DEVELOPED,Z_80_A_FACTBOOK_2_2010_27,R_80_8_LAW_SYSTEMS)
& in_nim34(R_80_10_DEVELOPED,R_80_12_A_NUMBER)
& a_number(R_80_12_A_NUMBER)
& of(R_80_12_A_NUMBER,R_80_17_COUNTRIES)
& countries(R_80_17_COUNTRIES)
& attrib43(R_80_17_COUNTRIES,R_80_15_CONTINENTAL)
& attrib46(R_80_17_COUNTRIES,R_80_16_EUROPEAN) ) ).
( (IP-MAT (NP-SBJ (ADJP (ADJ Roman;{roman}))
(N law;{law}))
(VBD;_Ipr_ served;{serve[as]})
(PP-CLR (P-ROLE as;{as})
(NP (D the;{the})
(N basis;{basis})
(PP (P-ROLE of;{of})
(NP (N law;{law})
(NS systems;{system})
(IP-PPL (NP-LGS *)
(VVN;__ developed;{develop})
(PP-NIM (P-ROLE in;{in})
(NP (D a;{a})
(N number;{number})
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ continental;{continental}))
(ADJP (ADJ European;{european}))
(NS countries;{country}))))))))))
(PUNC .))
(ID 80_a_factbook_2_2010))