81 : numeric.
81 : literal.
81 : year.

83 : numeric.
83 : literal.
83 : year.

84 : numeric.
84 : literal.
84 : year.

85 : numeric.
85 : literal.
85 : year.

86 : numeric.
86 : literal.
86 : year.

87 : numeric.
87 : literal.
87 : year.

88 : numeric.
88 : literal.
88 : year.

89 : numeric.
89 : literal.
89 : year.

90 : numeric.
90 : literal.
90 : year.

91 : numeric.
91 : literal.
91 : year.

92 : numeric.
92 : literal.
92 : year.

93 : numeric.
93 : literal.
93 : year.

94 : numeric.
94 : literal.
94 : year.

95 : numeric.
95 : literal.
95 : year.

96 : numeric.
96 : literal.
96 : year.

type :: string.
type :: literal.

europe : continent.
europe [name -> "Europe";
  area -> 9562488].

name :: string.
name :: literal.

asia : continent.
asia [name -> "Asia";
  area -> 45095292].

australia : continent.
australia [name -> "Australia/Oceania";
  area -> 8503474].

africa : continent.
africa [name -> "Africa";
  area -> 30254708].

america : continent.
america [name -> "America";
  area -> 39872000].

cid(cia,"Albania") : country.
cid(cia,"Albania") [name -> "Albania";
  total_area -> 28750;
  population -> 3249136;
  capital -> cty(cid(cia,"Albania"),"Tirane");
  car_code -> "AL";
  population_growth -> #1.34;
  infant_mortality -> #49.2;
  gdp_total -> 4100;
  gdp_agri -> 55;
  inflation -> 16;
  indep_date -> "28 11 1912";
  government -> "emerging democracy";
  encompassed@(europe) -> 100;
  ethnicgroups@("Greeks") -> 3;
  ethnicgroups@("Albanian") -> 95;
  religions@("Muslim") -> 70;
  religions@("Roman Catholic") -> 10;
  religions@("Albanian Orthodox") -> 20;
  borders@(cid(cia,"Greece")) -> 282;
  borders@(cid(cia,"Macedonia")) -> 151;
  borders@(cid(cia,"Serbia-and-Montenegro")) -> 287;
  main_cities ->> {cty(cid(cia,"Albania"),"Tirane"),
    stadt("Shkoder","AL","AL"),
    stadt("Durres","AL","AL"),
    stadt("Vlore","AL","AL"),
    stadt("Elbasan","AL","AL"),
    stadt("Korce","AL","AL")}].

cid(cia,"Greece") : country.
cid(cia,"Greece") [name -> "Greece";
  total_area -> 131940;
  population -> 10538594;
  capital -> cty("Greece","Athens");
  car_code -> "GR";
  population_growth -> #0.42;
  infant_mortality -> #7.4;
  gdp_total -> 101700;
  gdp_agri -> #11.8;
  gdp_ind -> #22.2;
  gdp_serv -> 66;
  inflation -> #8.1;
  indep_date -> "01 01 1829";
  government -> "parliamentary republic";
  encompassed@(europe) -> 100;
  ethnicgroups@("Greek") -> 98;
  religions@("Muslim") -> #1.3;
  religions@("Greek Orthodox") -> 98;
  borders@(cid(cia,"Albania")) -> 282;
  borders@(cid(cia,"Macedonia")) -> 228;
  borders@(cid(cia,"Bulgaria")) -> 494;
  borders@(cid(cia,"Turkey")) -> 206;
  adm_divs ->> {prov(cid(cia,"Greece"),2),
    prov(cid(cia,"Greece"),3),
    prov(cid(cia,"Greece"),4),
    prov(cid(cia,"Greece"),5),
    prov(cid(cia,"Greece"),6),
    prov(cid(cia,"Greece"),7),
    prov(cid(cia,"Greece"),8),
    prov(cid(cia,"Greece"),9),
    prov(cid(cia,"Greece"),10),
    prov(cid(cia,"Greece"),11),
    prov(cid(cia,"Greece"),12),
    prov(cid(cia,"Greece"),13),
    prov(cid(cia,"Greece"),14)};
  main_cities ->> {cty("Greece","Athens"),
    cty("Greece","Thessaloniki"),
    cty(cid(cia,"Greece"),4),
    cty(cid(cia,"Greece"),5),
    cty(cid(cia,"Greece"),6),
    cty(cid(cia,"Greece"),7),
    cty(cid(cia,"Greece"),8),
    cty(cid(cia,"Greece"),9)}].

cid(cia,"Macedonia") : country.
cid(cia,"Macedonia") [name -> "Macedonia";
  total_area -> 25333;
  population -> 2104035;
  capital -> cty(cid(cia,"Macedonia"),"Skopje");
  car_code -> "MK";
  population_growth -> #0.46;
  infant_mortality -> #29.7;
  gdp_total -> 1900;
  gdp_agri -> 24;
  gdp_ind -> 44;
  gdp_serv -> 32;
  inflation -> #14.8;
  indep_date -> "17 09 1991";
  government -> "emerging democracy";
  encompassed@(europe) -> 100;
  ethnicgroups@("Albanian") -> 22;
  ethnicgroups@("Serb") -> 2;
  ethnicgroups@("Macedonian") -> 65;
  ethnicgroups@("Turkish") -> 4;
  ethnicgroups@("Gypsies") -> 3;
  religions@("Muslim") -> 30;
  religions@("Eastern Orthodox") -> 67;
  languages@("Albanian") -> 21;
  languages@("Macedonian") -> 70;
  languages@("Turkish") -> 3;
  languages@("Serbo-Croatian") -> 3;
  borders@(cid(cia,"Albania")) -> 151;
  borders@(cid(cia,"Greece")) -> 228;
  borders@(cid(cia,"Serbia-and-Montenegro")) -> 221;
  borders@(cid(cia,"Bulgaria")) -> 148;
  main_cities ->> {cty(cid(cia,"Macedonia"),"Skopje")}].

cid(cia,"Serbia-and-Montenegro") : country.
cid(cia,"Serbia-and-Montenegro") [name -> "Serbia and Montenegro";
  total_area -> 102350;
  population -> 10614558;
  capital -> cty(cid(cia,"Serbia-and-Montenegro"),"Belgrade");
  car_code -> "YU";
  gdp_total -> 20600;
  inflation -> 20;
  indep_date -> "11 04 1992";
  government -> "republic";
  encompassed@(europe) -> 100;
  ethnicgroups@("Serbs") -> 63;
  ethnicgroups@("Albanians") -> 14;
  ethnicgroups@("Montenegrins") -> 6;
  ethnicgroups@("Hungarians") -> 4;
  religions@("Muslim") -> 19;
  religions@("Roman Catholic") -> 4;
  religions@("Protestant") -> 1;
  religions@("Orthodox") -> 65;
  languages@("Albanian") -> 5;
  languages@("Serbo-Croatian") -> 95;
  borders@(cid(cia,"Albania")) -> 287;
  borders@(cid(cia,"Macedonia")) -> 221;
  borders@(cid(cia,"Hungary")) -> 151;
  borders@(cid(cia,"Bosnia-and-Herzegovina")) -> 527;
  borders@(cid(cia,"Croatia")) -> 266;
  borders@(cid(cia,"Bulgaria")) -> 318;
  borders@(cid(cia,"Romania")) -> 476;
  main_cities ->> {cty(cid(cia,"Serbia-and-Montenegro"),"Belgrade")}].

cid(cia,"Andorra") : country.
cid(cia,"Andorra") [name -> "Andorra";
  total_area -> 450;
  population -> 72766;
  capital -> cty(cid(cia,"Andorra"),"Andorra-la-Vella");
  car_code -> "AND";
  population_growth -> #2.96;
  infant_mortality -> #2.2;
  gdp_total -> 1000;
  government -> "parliamentary democracy that retains as its heads of state a coprincipality";
  encompassed@(europe) -> 100;
  ethnicgroups@("French") -> 6;
  ethnicgroups@("Spanish") -> 61;
  ethnicgroups@("Andorran") -> 30;
  religions@("Roman Catholic") -> #100;
  borders@(cid(cia,"France")) -> 60;
  borders@(cid(cia,"Spain")) -> 65;
  main_cities ->> {cty(cid(cia,"Andorra"),"Andorra-la-Vella")}].

cid(cia,"France") : country.
cid(cia,"France") [name -> "France";
  total_area -> 547030;
  population -> 58317450;
  capital -> cty("France","Paris");
  car_code -> "F";
  population_growth -> #0.34;
  infant_mortality -> #5.3;
  gdp_total -> 1173000;
  gdp_agri -> #2.4;
  gdp_ind -> #26.5;
  gdp_serv -> #71.1;
  inflation -> #1.7;
  government -> "republic";
  encompassed@(europe) -> 100;
  religions@("Muslim") -> 1;
  religions@("Jewish") -> 1;
  religions@("Roman Catholic") -> 90;
  religions@("Protestant") -> 2;
  languages@("French") -> 100;
  borders@(cid(cia,"Andorra")) -> 60;
  borders@(cid(cia,"Spain")) -> 623;
  borders@(cid(cia,"Germany")) -> 451;
  borders@(cid(cia,"Italy")) -> 488;
  borders@(cid(cia,"Switzerland")) -> 573;
  borders@(cid(cia,"Belgium")) -> 620;
  borders@(cid(cia,"Luxembourg")) -> 73;
  borders@(cid(cia,"Monaco")) -> #4.4;
  adm_divs ->> {prov(cid(cia,"France"),2),
    prov(cid(cia,"France"),5),
    prov(cid(cia,"France"),11),
    prov(cid(cia,"France"),16),
    prov(cid(cia,"France"),20),
    prov(cid(cia,"France"),25),
    prov(cid(cia,"France"),30),
    prov(cid(cia,"France"),37),
    prov(cid(cia,"France"),42),
    prov(cid(cia,"France"),45),
    prov(cid(cia,"France"),50),
    prov(cid(cia,"France"),53),
    prov(cid(cia,"France"),62),
    prov(cid(cia,"France"),68),
    prov(cid(cia,"France"),72),
    prov(cid(cia,"France"),77),
    prov(cid(cia,"France"),86),
    prov(cid(cia,"France"),89),
    prov(cid(cia,"France"),95),
    prov(cid(cia,"France"),99),
    prov(cid(cia,"France"),104),
    prov(cid(cia,"France"),111)};
  main_cities ->> {cty("France","Paris"),
    cty("France","Strasbourg"),
    cty(cid(cia,"France"),9),
    cty(cid(cia,"France"),31),
    cty(cid(cia,"France"),12),
    cty(cid(cia,"France"),19),
    cty(cid(cia,"France"),34),
    cty(cid(cia,"France"),25),
    cty(cid(cia,"France"),35),
    cty(cid(cia,"France"),10),
    cty(cid(cia,"France"),26),
    cty(cid(cia,"France"),33),
    cty(cid(cia,"France"),23),
    cty(cid(cia,"France"),28),
    cty(cid(cia,"France"),37),
    cty(cid(cia,"France"),5),
    cty(cid(cia,"France"),15),
    cty("France","Nantes"),
    cty(cid(cia,"France"),21),
    cty(cid(cia,"France"),20),
    cty(cid(cia,"France"),24),
    cty(cid(cia,"France"),3),
    cty("France","Nice"),
    cty(cid(cia,"France"),16),
    cty("France","Lyon"),
    cty(cid(cia,"France"),17),
    cty(cid(cia,"France"),11),
    cty(cid(cia,"France"),13),
    cty(cid(cia,"France"),14),
    cty(cid(cia,"France"),18),
    cty(cid(cia,"France"),22),
    cty(cid(cia,"France"),27),
    cty(cid(cia,"France"),29),
    cty(cid(cia,"France"),30),
    cty(cid(cia,"France"),32),
    cty(cid(cia,"France"),36),
    cty(cid(cia,"France"),"Chalons-sur-Marne"),
    cty(cid(cia,"France"),"Ajaccio"),
    cty(cid(cia,"France"),"Poitiers")}].

cid(cia,"Spain") : country.
cid(cia,"Spain") [name -> "Spain";
  total_area -> 504750;
  population -> 39181114;
  capital -> cty("Spain","Madrid");
  car_code -> "E";
  population_growth -> #0.16;
  infant_mortality -> #6.3;
  gdp_total -> 565000;
  gdp_agri -> #3.6;
  gdp_ind -> #33.6;
  gdp_serv -> #62.8;
  inflation -> #4.3;
  indep_date -> "01 01 1492";
  government -> "parliamentary monarchy";
  encompassed@(europe) -> 100;
  ethnicgroups@("Mediterranean Nordic") -> #100;
  religions@("Roman Catholic") -> 99;
  languages@("Castilian Spanish") -> null;
  languages@("Catalan") -> 17;
  languages@("Galician") -> 7;
  languages@("Basque") -> 2;
  borders@(cid(cia,"Andorra")) -> 65;
  borders@(cid(cia,"France")) -> 623;
  borders@(cid(cia,"Gibraltar")) -> #1.2;
  borders@(cid(cia,"Portugal")) -> 1214;
  adm_divs ->> {prov(cid(cia,"Spain"),2),
    prov(cid(cia,"Spain"),3),
    prov(cid(cia,"Spain"),4),
    prov(cid(cia,"Spain"),5),
    prov(cid(cia,"Spain"),6),
    prov(cid(cia,"Spain"),7),
    prov(cid(cia,"Spain"),8),
    prov(cid(cia,"Spain"),9),
    prov(cid(cia,"Spain"),10),
    prov(cid(cia,"Spain"),11),
    prov(cid(cia,"Spain"),12),
    prov(cid(cia,"Spain"),13),
    prov(cid(cia,"Spain"),14),
    prov(cid(cia,"Spain"),15),
    prov(cid(cia,"Spain"),16),
    prov(cid(cia,"Spain"),17),
    prov(cid(cia,"Spain"),18)};
  main_cities ->> {cty("Spain","Madrid"),
    cty(cid(cia,"Spain"),5),
    cty(cid(cia,"Spain"),6),
    cty(cid(cia,"Spain"),23),
    cty(cid(cia,"Spain"),12),
    cty(cid(cia,"Spain"),21),
    cty(cid(cia,"Spain"),22),
    cty(cid(cia,"Spain"),25),
    cty(cid(cia,"Spain"),11),
    cty("Spain","Barcelona"),
    cty(cid(cia,"Spain"),10),
    cty(cid(cia,"Spain"),49),
    cty("Spain","Valencia"),
    cty(cid(cia,"Spain"),34),
    cty(cid(cia,"Spain"),39),
    cty(cid(cia,"Spain"),13),
    cty(cid(cia,"Spain"),16),
    cty(cid(cia,"Spain"),41),
    cty(cid(cia,"Spain"),7),
    cty(cid(cia,"Spain"),44),
    cty(cid(cia,"Spain"),35),
    cty(cid(cia,"Spain"),40),
    cty(cid(cia,"Spain"),33),
    cty(cid(cia,"Spain"),51),
    cty(cid(cia,"Spain"),50),
    cty(cid(cia,"Spain"),47),
    cty(cid(cia,"Spain"),19),
    cty(cid(cia,"Spain"),8),
    cty(cid(cia,"Spain"),9),
    cty(cid(cia,"Spain"),14),
    cty(cid(cia,"Spain"),15),
    cty(cid(cia,"Spain"),17),
    cty(cid(cia,"Spain"),18),
    cty(cid(cia,"Spain"),20),
    cty(cid(cia,"Spain"),24),
    cty(cid(cia,"Spain"),26),
    cty(cid(cia,"Spain"),27),
    cty(cid(cia,"Spain"),28),
    cty(cid(cia,"Spain"),29),
    cty(cid(cia,"Spain"),30),
    cty(cid(cia,"Spain"),31),
    cty(cid(cia,"Spain"),32),
    cty(cid(cia,"Spain"),36),
    cty(cid(cia,"Spain"),37),
    cty(cid(cia,"Spain"),38),
    cty(cid(cia,"Spain"),42),
    cty(cid(cia,"Spain"),43),
    cty(cid(cia,"Spain"),45),
    cty(cid(cia,"Spain"),46),
    cty(cid(cia,"Spain"),48),
    cty(cid(cia,"Spain"),52),
    cty(cid(cia,"Spain"),53),
    cty(cid(cia,"Spain"),54),
    cty(cid(cia,"Spain"),55),
    cty(cid(cia,"Spain"),56),
    cty(cid(cia,"Spain"),"Toledo"),
    cty(cid(cia,"Spain"),"Merida"),
    cty(cid(cia,"Spain"),"Santiago-de-Compostella")}].

cid(cia,"Austria") : country.
cid(cia,"Austria") [name -> "Austria";
  total_area -> 83850;
  population -> 8023244;
  capital -> cty("Austria","Vienna");
  car_code -> "A";
  population_growth -> #0.41;
  infant_mortality -> #6.2;
  gdp_total -> 152000;
  gdp_agri -> 2;
  gdp_ind -> 34;
  gdp_serv -> 64;
  inflation -> #2.3;
  indep_date -> "12 11 1918";
  government -> "federal republic";
  encompassed@(europe) -> 100;
  ethnicgroups@("German") -> #99.4;
  ethnicgroups@("Slovene") -> #0.2;
  ethnicgroups@("Croatian") -> #0.3;
  religions@("Roman Catholic") -> 85;
  religions@("Protestant") -> 6;
  languages@("German") -> #100;
  borders@(cid(cia,"Czech-Republic")) -> 362;
  borders@(cid(cia,"Germany")) -> 784;
  borders@(cid(cia,"Hungary")) -> 366;
  borders@(cid(cia,"Italy")) -> 430;
  borders@(cid(cia,"Liechtenstein")) -> 37;
  borders@(cid(cia,"Slovakia")) -> 91;
  borders@(cid(cia,"Slovenia")) -> 324;
  borders@(cid(cia,"Switzerland")) -> 164;
  adm_divs ->> {prov(cid(cia,"Austria"),2),
    prov(cid(cia,"Austria"),3),
    prov(cid(cia,"Austria"),4),
    prov(cid(cia,"Austria"),5),
    prov(cid(cia,"Austria"),6),
    prov(cid(cia,"Austria"),7),
    prov(cid(cia,"Austria"),8),
    prov(cid(cia,"Austria"),9),
    prov(cid(cia,"Austria"),10)};
  main_cities ->> {cty("Austria","Vienna"),
    cty(cid(cia,"Austria"),4),
    cty(cid(cia,"Austria"),6),
    cty(cid(cia,"Austria"),3),
    cty(cid(cia,"Austria"),5),
    cty(cid(cia,"Austria"),"Eisenstadt"),
    cty(cid(cia,"Austria"),"Klagenfurt"),
    cty(cid(cia,"Austria"),"Bregenz"),
    cty(cid(cia,"Austria"),"St.-Polten")}].

cid(cia,"Czech-Republic") : country.
cid(cia,"Czech-Republic") [name -> "Czech Republic";
  total_area -> 78703;
  population -> 10321120;
  capital -> cty(cid(cia,"Czech-Republic"),2);
  car_code -> "CZ";
  population_growth -> #-0.03;
  infant_mortality -> #8.4;
  gdp_total -> 106200;
  gdp_agri -> #5.8;
  gdp_ind -> #40.7;
  gdp_serv -> #53.5;
  inflation -> #9.1;
  indep_date -> "01 01 1993";
  government -> "parliamentary democracy";
  encompassed@(europe) -> 100;
  ethnicgroups@("German") -> #0.5;
  ethnicgroups@("Polish") -> #0.6;
  ethnicgroups@("Gypsy") -> #0.3;
  ethnicgroups@("Hungarian") -> #0.2;
  ethnicgroups@("Czech") -> #94.4;
  ethnicgroups@("Slovak") -> 3;
  religions@("Roman Catholic") -> #39.2;
  religions@("Protestant") -> #4.6;
  religions@("Orthodox") -> 3;
  borders@(cid(cia,"Austria")) -> 362;
  borders@(cid(cia,"Germany")) -> 646;
  borders@(cid(cia,"Slovakia")) -> 214;
  borders@(cid(cia,"Poland")) -> 658;
  adm_divs ->> {prov(cid(cia,"Czech-Republic"),2),
    prov(cid(cia,"Czech-Republic"),3),
    prov(cid(cia,"Czech-Republic"),4),
    prov(cid(cia,"Czech-Republic"),5),
    prov(cid(cia,"Czech-Republic"),6),
    prov(cid(cia,"Czech-Republic"),7),
    prov(cid(cia,"Czech-Republic"),8)};
  main_cities ->> {cty(cid(cia,"Czech-Republic"),2),
    cty(cid(cia,"Czech-Republic"),8),
    cty(cid(cia,"Czech-Republic"),3),
    cty(cid(cia,"Czech-Republic"),4),
    cty(cid(cia,"Czech-Republic"),7),
    cty(cid(cia,"Czech-Republic"),5),
    cty(cid(cia,"Czech-Republic"),6),
    cty(cid(cia,"Czech-Republic"),9),
    cty(cid(cia,"Czech-Republic"),10),
    cty(cid(cia,"Czech-Republic"),11),
    cty(cid(cia,"Czech-Republic"),"Usti-nad-Labem")}].

cid(cia,"Germany") : country.
cid(cia,"Germany") [name -> "Germany";
  total_area -> 356910;
  population -> 83536115;
  capital -> cty("Germany","Berlin");
  car_code -> "D";
  population_growth -> #0.67;
  infant_mortality -> 6;
  gdp_total -> 1452200;
  gdp_agri -> 1;
  gdp_ind -> #34.2;
  gdp_serv -> #64.8;
  indep_date -> "18 01 1871";
  government -> "federal republic";
  encompassed@(europe) -> 100;
  ethnicgroups@("Greeks") -> #0.4;
  ethnicgroups@("Turkish") -> #2.3;
  ethnicgroups@("German") -> #95.1;
  ethnicgroups@("Italians") -> #0.7;
  ethnicgroups@("Poles") -> #0.4;
  religions@("Roman Catholic") -> 37;
  religions@("Protestant") -> 45;
  languages@("German") -> #100;
  borders@(cid(cia,"France")) -> 451;
  borders@(cid(cia,"Austria")) -> 784;
  borders@(cid(cia,"Czech-Republic")) -> 646;
  borders@(cid(cia,"Switzerland")) -> 334;
  borders@(cid(cia,"Poland")) -> 456;
  borders@(cid(cia,"Belgium")) -> 167;
  borders@(cid(cia,"Luxembourg")) -> 138;
  borders@(cid(cia,"Netherlands")) -> 577;
  borders@(cid(cia,"Denmark")) -> 68;
  adm_divs ->> {prov(cid(cia,"Germany"),2),
    prov(cid(cia,"Germany"),3),
    prov(cid(cia,"Germany"),4),
    prov(cid(cia,"Germany"),5),
    prov(cid(cia,"Germany"),6),
    prov(cid(cia,"Germany"),7),
    prov(cid(cia,"Germany"),8),
    prov(cid(cia,"Germany"),9),
    prov(cid(cia,"Germany"),10),
    prov(cid(cia,"Germany"),11),
    prov(cid(cia,"Germany"),12),
    prov(cid(cia,"Germany"),13),
    prov(cid(cia,"Germany"),14),
    prov(cid(cia,"Germany"),15),
    prov(cid(cia,"Germany"),16),
    prov(cid(cia,"Germany"),17)};
  main_cities ->> {cty("Germany","Berlin"),
    cty(cid(cia,"Germany"),9),
    cty(cid(cia,"Germany"),55),
    cty(cid(cia,"Germany"),11),
    cty("Germany","Hamburg"),
    cty(cid(cia,"Germany"),26),
    cty(cid(cia,"Germany"),68),
    cty("Germany","Hannover"),
    cty(cid(cia,"Germany"),10),
    cty(cid(cia,"Germany"),43),
    cty(cid(cia,"Germany"),42),
    cty(cid(cia,"Germany"),16),
    cty(cid(cia,"Germany"),28),
    cty(cid(cia,"Germany"),34),
    cty(cid(cia,"Germany"),39),
    cty("Germany","Munich"),
    cty(cid(cia,"Germany"),5),
    cty(cid(cia,"Germany"),6),
    cty(cid(cia,"Germany"),7),
    cty(cid(cia,"Germany"),8),
    cty(cid(cia,"Germany"),12),
    cty(cid(cia,"Germany"),14),
    cty(cid(cia,"Germany"),15),
    cty(cid(cia,"Germany"),17),
    cty(cid(cia,"Germany"),18),
    cty(cid(cia,"Germany"),19),
    cty("Germany","Mannheim"),
    cty(cid(cia,"Germany"),21),
    cty(cid(cia,"Germany"),22),
    cty(cid(cia,"Germany"),23),
    cty(cid(cia,"Germany"),24),
    cty(cid(cia,"Germany"),25),
    cty(cid(cia,"Germany"),27),
    cty(cid(cia,"Germany"),29),
    cty(cid(cia,"Germany"),30),
    cty(cid(cia,"Germany"),31),
    cty(cid(cia,"Germany"),32),
    cty(cid(cia,"Germany"),33),
    cty(cid(cia,"Germany"),35),
    cty(cid(cia,"Germany"),36),
    cty(cid(cia,"Germany"),37),
    cty(cid(cia,"Germany"),38),
    cty(cid(cia,"Germany"),40),
    cty(cid(cia,"Germany"),41),
    cty(cid(cia,"Germany"),44),
    cty(cid(cia,"Germany"),45),
    cty(cid(cia,"Germany"),46),
    cty(cid(cia,"Germany"),47),
    cty(cid(cia,"Germany"),48),
    cty(cid(cia,"Germany"),49),
    cty(cid(cia,"Germany"),50),
    cty(cid(cia,"Germany"),51),
    cty(cid(cia,"Germany"),52),
    cty(cid(cia,"Germany"),53),
    cty(cid(cia,"Germany"),54),
    cty(cid(cia,"Germany"),56),
    cty(cid(cia,"Germany"),57),
    cty(cid(cia,"Germany"),58),
    cty(cid(cia,"Germany"),59),
    cty(cid(cia,"Germany"),60),
    cty(cid(cia,"Germany"),61),
    cty(cid(cia,"Germany"),62),
    cty(cid(cia,"Germany"),63),
    cty(cid(cia,"Germany"),64),
    cty(cid(cia,"Germany"),65),
    cty(cid(cia,"Germany"),66),
    cty(cid(cia,"Germany"),67),
    cty(cid(cia,"Germany"),69),
    cty(cid(cia,"Germany"),70),
    cty(cid(cia,"Germany"),71),
    cty(cid(cia,"Germany"),72),
    cty(cid(cia,"Germany"),73),
    cty(cid(cia,"Germany"),74),
    cty(cid(cia,"Germany"),75),
    cty(cid(cia,"Germany"),76),
    cty(cid(cia,"Germany"),77),
    cty(cid(cia,"Germany"),78),
    cty(cid(cia,"Germany"),79),
    cty(cid(cia,"Germany"),80),
    cty(cid(cia,"Germany"),81),
    cty(cid(cia,"Germany"),82),
    cty(cid(cia,"Germany"),83),
    cty(cid(cia,"Germany"),84),
    cty(cid(cia,"Germany"),85),
    stadt("Saarbruecken","D","SAR"),
    stadt("Muenchen","D","BAY")}].

cid(cia,"Hungary") : country.
cid(cia,"Hungary") [name -> "Hungary";
  total_area -> 93030;
  population -> 10002541;
  capital -> cty("Hungary","Budapest");
  car_code -> "H";
  population_growth -> #-0.68;
  infant_mortality -> #12.3;
  gdp_total -> 72500;
  gdp_agri -> #7.3;
  gdp_ind -> #37.5;
  gdp_serv -> #55.2;
  inflation -> #28.3;
  indep_date -> "01 01 1001";
  government -> "republic";
  encompassed@(europe) -> 100;
  ethnicgroups@("Serb") -> 2;
  ethnicgroups@("German") -> #2.6;
  ethnicgroups@("Gypsy") -> 4;
  ethnicgroups@("Hungarian") -> #89.9;
  ethnicgroups@("Slovak") -> #0.8;
  ethnicgroups@("Romanian") -> #0.7;
  religions@("Roman Catholic") -> #67.5;
  religions@("Lutheran") -> 5;
  religions@("Calvinist") -> 20;
  languages@("Hungarian") -> #98.2;
  borders@(cid(cia,"Serbia-and-Montenegro")) -> 151;
  borders@(cid(cia,"Austria")) -> 366;
  borders@(cid(cia,"Slovakia")) -> 515;
  borders@(cid(cia,"Slovenia")) -> 102;
  borders@(cid(cia,"Ukraine")) -> 103;
  borders@(cid(cia,"Croatia")) -> 329;
  borders@(cid(cia,"Romania")) -> 443;
  adm_divs ->> {prov(cid(cia,"Hungary"),2),
    prov(cid(cia,"Hungary"),3),
    prov(cid(cia,"Hungary"),4),
    prov(cid(cia,"Hungary"),5),
    prov(cid(cia,"Hungary"),6),
    prov(cid(cia,"Hungary"),7),
    prov(cid(cia,"Hungary"),8),
    prov(cid(cia,"Hungary"),9),
    prov(cid(cia,"Hungary"),10),
    prov(cid(cia,"Hungary"),11),
    prov(cid(cia,"Hungary"),12),
    prov(cid(cia,"Hungary"),13),
    prov(cid(cia,"Hungary"),14),
    prov(cid(cia,"Hungary"),15),
    prov(cid(cia,"Hungary"),16),
    prov(cid(cia,"Hungary"),17),
    prov(cid(cia,"Hungary"),18),
    prov(cid(cia,"Hungary"),19),
    prov(cid(cia,"Hungary"),20),
    prov(cid(cia,"Hungary"),21),
    prov(cid(cia,"Hungary"),22),
    prov(cid(cia,"Hungary"),23),
    prov(cid(cia,"Hungary"),24),
    prov(cid(cia,"Hungary"),25),
    prov(cid(cia,"Hungary"),26)};
  main_cities ->> {cty("Hungary","Budapest"),
    cty(cid(cia,"Hungary"),6),
    cty(cid(cia,"Hungary"),10),
    cty(cid(cia,"Hungary"),4),
    cty(cid(cia,"Hungary"),9),
    cty(cid(cia,"Hungary"),7),
    cty(cid(cia,"Hungary"),3),
    cty(cid(cia,"Hungary"),8),
    cty(cid(cia,"Hungary"),5),
    cty(cid(cia,"Hungary"),"Bekescaba"),
    cty(cid(cia,"Hungary"),"Hodmezovasarhely"),
    cty(cid(cia,"Hungary"),"Eger"),
    cty(cid(cia,"Hungary"),"Tatabanya"),
    cty(cid(cia,"Hungary"),"Salgotarjan"),
    cty(cid(cia,"Hungary"),"Kaposvar"),
    cty(cid(cia,"Hungary"),"Szolnok"),
    cty(cid(cia,"Hungary"),"Szekszard"),
    cty(cid(cia,"Hungary"),"Szombathely"),
    cty(cid(cia,"Hungary"),"Veszprem"),
    cty(cid(cia,"Hungary"),"Zalaegerszeg")}].

cid(cia,"Italy") : country.
cid(cia,"Italy") [name -> "Italy";
  total_area -> 301230;
  population -> 57460274;
  capital -> cty("Italy","Rome");
  car_code -> "I";
  population_growth -> #0.13;
  infant_mortality -> #6.9;
  gdp_total -> 1088600;
  gdp_agri -> #2.9;
  gdp_ind -> #31.6;
  gdp_serv -> #65.5;
  inflation -> #5.4;
  indep_date -> "17 03 1861";
  government -> "republic";
  encompassed@(europe) -> 100;
  religions@("Roman Catholic") -> 98;
  borders@(cid(cia,"France")) -> 488;
  borders@(cid(cia,"Austria")) -> 430;
  borders@(cid(cia,"Slovenia")) -> 235;
  borders@(cid(cia,"Switzerland")) -> 740;
  borders@(cid(cia,"Holy-See")) -> #3.2;
  borders@(cid(cia,"San-Marino")) -> 39;
  adm_divs ->> {prov(cid(cia,"Italy"),2),
    prov(cid(cia,"Italy"),9),
    prov(cid(cia,"Italy"),10),
    prov(cid(cia,"Italy"),20),
    prov(cid(cia,"Italy"),23),
    prov(cid(cia,"Italy"),31),
    prov(cid(cia,"Italy"),36),
    prov(cid(cia,"Italy"),41),
    prov(cid(cia,"Italy"),50),
    prov(cid(cia,"Italy"),60),
    prov(cid(cia,"Italy"),63),
    prov(cid(cia,"Italy"),68),
    prov(cid(cia,"Italy"),74),
    prov(cid(cia,"Italy"),79),
    prov(cid(cia,"Italy"),82),
    prov(cid(cia,"Italy"),88),
    prov(cid(cia,"Italy"),94),
    prov(cid(cia,"Italy"),97),
    prov(cid(cia,"Italy"),101),
    prov(cid(cia,"Italy"),111)};
  main_cities ->> {cty("Italy","Rome"),
    cty(cid(cia,"Italy"),44),
    cty(cid(cia,"Italy"),36),
    cty(cid(cia,"Italy"),19),
    cty(cid(cia,"Italy"),51),
    cty(cid(cia,"Italy"),49),
    cty(cid(cia,"Italy"),17),
    cty(cid(cia,"Italy"),14),
    cty(cid(cia,"Italy"),39),
    cty(cid(cia,"Italy"),16),
    cty(cid(cia,"Italy"),46),
    cty(cid(cia,"Italy"),8),
    cty(cid(cia,"Italy"),28),
    cty(cid(cia,"Italy"),38),
    cty(cid(cia,"Italy"),21),
    cty(cid(cia,"Italy"),22),
    cty(cid(cia,"Italy"),43),
    cty(cid(cia,"Italy"),29),
    cty(cid(cia,"Italy"),30),
    cty(cid(cia,"Italy"),23),
    cty(cid(cia,"Italy"),50),
    cty(cid(cia,"Italy"),27),
    cty(cid(cia,"Italy"),37),
    cty(cid(cia,"Italy"),45),
    cty(cid(cia,"Italy"),42),
    cty(cid(cia,"Italy"),32),
    cty(cid(cia,"Italy"),26),
    cty(cid(cia,"Italy"),11),
    cty(cid(cia,"Italy"),25),
    cty(cid(cia,"Italy"),48),
    cty(cid(cia,"Italy"),15),
    cty(cid(cia,"Italy"),41),
    cty(cid(cia,"Italy"),40),
    cty(cid(cia,"Italy"),6),
    cty(cid(cia,"Italy"),10),
    cty(cid(cia,"Italy"),13),
    cty(cid(cia,"Italy"),33),
    cty(cid(cia,"Italy"),18),
    cty(cid(cia,"Italy"),35),
    cty("Italy","Milan"),
    cty(cid(cia,"Italy"),4),
    cty(cid(cia,"Italy"),5),
    cty(cid(cia,"Italy"),7),
    cty(cid(cia,"Italy"),9),
    cty(cid(cia,"Italy"),12),
    cty(cid(cia,"Italy"),20),
    cty(cid(cia,"Italy"),24),
    cty(cid(cia,"Italy"),31),
    cty(cid(cia,"Italy"),34),
    cty(cid(cia,"Italy"),47),
    cty(cid(cia,"Italy"),"Aosta"),
    cty(cid(cia,"Italy"),"LAquila"),
    cty(cid(cia,"Italy"),"Campobasso"),
    cty(cid(cia,"Italy"),"Potenza")}].

cid(cia,"Liechtenstein") : country.
cid(cia,"Liechtenstein") [name -> "Liechtenstein";
  total_area -> 160;
  population -> 31122;
  capital -> cty(cid(cia,"Liechtenstein"),"Vaduz");
  car_code -> "FL";
  population_growth -> #1.08;
  infant_mortality -> #5.3;
  gdp_total -> 630;
  inflation -> #5.4;
  indep_date -> "23 01 1719";
  government -> "hereditary constitutional monarchy";
  encompassed@(europe) -> 100;
  ethnicgroups@("Italian") -> 5;
  ethnicgroups@("Alemannic") -> 95;
  religions@("Roman Catholic") -> #87.3;
  religions@("Protestant") -> #8.3;
  borders@(cid(cia,"Austria")) -> 37;
  borders@(cid(cia,"Switzerland")) -> 41;
  main_cities ->> {cty(cid(cia,"Liechtenstein"),"Vaduz")}].

cid(cia,"Slovakia") : country.
cid(cia,"Slovakia") [name -> "Slovakia";
  total_area -> 48845;
  population -> 5374362;
  capital -> cty(cid(cia,"Slovakia"),"Bratislava");
  car_code -> "SK";
  population_growth -> #0.34;
  infant_mortality -> #10.7;
  gdp_total -> 39000;
  gdp_agri -> #6.7;
  gdp_ind -> #47.6;
  gdp_serv -> #45.7;
  inflation -> #7.5;
  indep_date -> "01 01 1993";
  government -> "parliamentary democracy";
  encompassed@(europe) -> 100;
  ethnicgroups@("German") -> #0.1;
  ethnicgroups@("Polish") -> #0.1;
  ethnicgroups@("Gypsy") -> #1.5;
  ethnicgroups@("Hungarian") -> #10.7;
  ethnicgroups@("Czech") -> 1;
  ethnicgroups@("Slovak") -> #85.7;
  ethnicgroups@("Ukrainian") -> #0.3;
  ethnicgroups@("Ruthenian") -> #0.3;
  religions@("Roman Catholic") -> #60.3;
  religions@("Protestant") -> #8.4;
  religions@("Orthodox") -> #4.1;
  borders@(cid(cia,"Austria")) -> 91;
  borders@(cid(cia,"Czech-Republic")) -> 215;
  borders@(cid(cia,"Hungary")) -> 515;
  borders@(cid(cia,"Poland")) -> 444;
  borders@(cid(cia,"Ukraine")) -> 90;
  main_cities ->> {cty(cid(cia,"Slovakia"),"Bratislava")}].

cid(cia,"Slovenia") : country.
cid(cia,"Slovenia") [name -> "Slovenia";
  total_area -> 20256;
  population -> 1951443;
  capital -> cty(cid(cia,"Slovenia"),"Ljubljana");
  car_code -> "SLO";
  population_growth -> #-0.27;
  infant_mortality -> #7.3;
  gdp_total -> 22600;
  gdp_agri -> #5.3;
  gdp_ind -> #39.9;
  gdp_serv -> #54.8;
  inflation -> 8;
  indep_date -> "25 06 1991";
  government -> "emerging democracy";
  encompassed@(europe) -> 100;
  ethnicgroups@("Serb") -> 2;
  ethnicgroups@("Slovene") -> 91;
  ethnicgroups@("Muslim") -> 1;
  ethnicgroups@("Croat") -> 3;
  religions@("Muslim") -> 1;
  religions@("Roman Catholic") -> 96;
  languages@("Slovenian") -> 91;
  languages@("Serbo-Croatian") -> 7;
  borders@(cid(cia,"Austria")) -> 324;
  borders@(cid(cia,"Hungary")) -> 102;
  borders@(cid(cia,"Italy")) -> 235;
  borders@(cid(cia,"Croatia")) -> 546;
  main_cities ->> {cty(cid(cia,"Slovenia"),"Ljubljana")}].

cid(cia,"Switzerland") : country.
cid(cia,"Switzerland") [name -> "Switzerland";
  total_area -> 41290;
  population -> 7207060;
  capital -> cty(cid(cia,"Switzerland"),5);
  car_code -> "CH";
  population_growth -> #0.59;
  infant_mortality -> #5.4;
  gdp_total -> 158500;
  gdp_agri -> 3;
  gdp_ind -> #33.5;
  gdp_serv -> #63.5;
  inflation -> #1.8;
  government -> "federal republic";
  encompassed@(europe) -> 100;
  religions@("Roman Catholic") -> #47.6;
  religions@("Protestant") -> #44.3;
  languages@("French") -> 18;
  languages@("German") -> 65;
  languages@("Italian") -> 12;
  languages@("Romansch") -> 1;
  borders@(cid(cia,"France")) -> 573;
  borders@(cid(cia,"Austria")) -> 164;
  borders@(cid(cia,"Germany")) -> 334;
  borders@(cid(cia,"Italy")) -> 740;
  borders@(cid(cia,"Liechtenstein")) -> 41;
  adm_divs ->> {prov(cid(cia,"Switzerland"),2),
    prov(cid(cia,"Switzerland"),3),
    prov(cid(cia,"Switzerland"),4),
    prov(cid(cia,"Switzerland"),5),
    prov(cid(cia,"Switzerland"),6),
    prov(cid(cia,"Switzerland"),7),
    prov(cid(cia,"Switzerland"),8),
    prov(cid(cia,"Switzerland"),9),
    prov(cid(cia,"Switzerland"),10),
    prov(cid(cia,"Switzerland"),11),
    prov(cid(cia,"Switzerland"),12),
    prov(cid(cia,"Switzerland"),13),
    prov(cid(cia,"Switzerland"),14),
    prov(cid(cia,"Switzerland"),15),
    prov(cid(cia,"Switzerland"),16),
    prov(cid(cia,"Switzerland"),17),
    prov(cid(cia,"Switzerland"),18),
    prov(cid(cia,"Switzerland"),19),
    prov(cid(cia,"Switzerland"),20),
    prov(cid(cia,"Switzerland"),21),
    prov(cid(cia,"Switzerland"),22),
    prov(cid(cia,"Switzerland"),23),
    prov(cid(cia,"Switzerland"),24),
    prov(cid(cia,"Switzerland"),25),
    prov(cid(cia,"Switzerland"),26),
    prov(cid(cia,"Switzerland"),27)};
  main_cities ->> {cty(cid(cia,"Switzerland"),5),
    cty(cid(cia,"Switzerland"),3),
    cty(cid(cia,"Switzerland"),4),
    cty(cid(cia,"Switzerland"),9),
    cty(cid(cia,"Switzerland"),8),
    cty(cid(cia,"Switzerland"),6),
    cty(cid(cia,"Switzerland"),2),
    cty(cid(cia,"Switzerland"),7),
    cty(cid(cia,"Switzerland"),10),
    cty(cid(cia,"Switzerland"),"Aarau"),
    cty(cid(cia,"Switzerland"),"Herisau"),
    cty(cid(cia,"Switzerland"),"Appenzell"),
    cty(cid(cia,"Switzerland"),"Liestal"),
    cty(cid(cia,"Switzerland"),"Fribourg"),
    cty(cid(cia,"Switzerland"),"Glarus"),
    cty(cid(cia,"Switzerland"),"Chur"),
    cty(cid(cia,"Switzerland"),"Delemont"),
    cty(cid(cia,"Switzerland"),"Neuchatel"),
    cty(cid(cia,"Switzerland"),"Stans"),
    cty(cid(cia,"Switzerland"),"Sarnen"),
    cty(cid(cia,"Switzerland"),"Schaffhausen"),
    cty(cid(cia,"Switzerland"),"Schwyz"),
    cty(cid(cia,"Switzerland"),"Solothurn"),
    cty(cid(cia,"Switzerland"),"Frauenfeld"),
    cty(cid(cia,"Switzerland"),"Bellinzona"),
    cty(cid(cia,"Switzerland"),"Altdorf"),
    cty(cid(cia,"Switzerland"),"Sion"),
    cty(cid(cia,"Switzerland"),"Zug")}].

cid(cia,"Belarus") : country.
cid(cia,"Belarus") [name -> "Belarus";
  total_area -> 207600;
  population -> 10415973;
  capital -> cty("Belarus","Minsk");
  car_code -> "BY";
  population_growth -> #0.2;
  infant_mortality -> #13.4;
  gdp_total -> 49200;
  gdp_agri -> 21;
  gdp_ind -> 49;
  gdp_serv -> 30;
  inflation -> 244;
  indep_date -> "25 08 1991";
  government -> "republic";
  encompassed@(europe) -> 100;
  ethnicgroups@("Polish") -> #4.1;
  ethnicgroups@("Ukrainian") -> #2.9;
  ethnicgroups@("Russian") -> #13.2;
  ethnicgroups@("Byelorussian") -> #77.9;
  religions@("Eastern Orthodox") -> 60;
  borders@(cid(cia,"Latvia")) -> 141;
  borders@(cid(cia,"Lithuania")) -> 502;
  borders@(cid(cia,"Poland")) -> 605;
  borders@(cid(cia,"Ukraine")) -> 891;
  borders@(cid(cia,"Russia")) -> 959;
  main_cities ->> {cty("Belarus","Minsk")}].

cid(cia,"Latvia") : country.
cid(cia,"Latvia") [name -> "Latvia";
  total_area -> 64100;
  population -> 2468982;
  capital -> cty(cid(cia,"Latvia"),"Riga");
  car_code -> "LV";
  population_growth -> #-1.39;
  infant_mortality -> #21.2;
  gdp_total -> 14700;
  gdp_agri -> 9;
  gdp_ind -> 31;
  gdp_serv -> 60;
  inflation -> 20;
  indep_date -> "06 09 1991";
  government -> "republic";
  encompassed@(europe) -> 100;
  ethnicgroups@("Polish") -> #2.3;
  ethnicgroups@("Ukrainian") -> #3.4;
  ethnicgroups@("Russian") -> #33.8;
  ethnicgroups@("Byelorussian") -> #4.5;
  ethnicgroups@("Latvian") -> #51.8;
  borders@(cid(cia,"Belarus")) -> 141;
  borders@(cid(cia,"Lithuania")) -> 453;
  borders@(cid(cia,"Russia")) -> 217;
  borders@(cid(cia,"Estonia")) -> 267;
  main_cities ->> {cty(cid(cia,"Latvia"),"Riga")}].

cid(cia,"Lithuania") : country.
cid(cia,"Lithuania") [name -> "Lithuania";
  total_area -> 65200;
  population -> 3646041;
  capital -> cty(cid(cia,"Lithuania"),"Vilnius");
  car_code -> "LT";
  population_growth -> #-0.35;
  infant_mortality -> 17;
  gdp_total -> 13300;
  gdp_agri -> 20;
  gdp_ind -> 42;
  gdp_serv -> 38;
  inflation -> 35;
  indep_date -> "06 09 1991";
  government -> "republic";
  encompassed@(europe) -> 100;
  ethnicgroups@("Polish") -> #7.7;
  ethnicgroups@("Russian") -> #8.6;
  ethnicgroups@("Byelorussian") -> #1.5;
  ethnicgroups@("Lithuanian") -> #80.1;
  borders@(cid(cia,"Belarus")) -> 502;
  borders@(cid(cia,"Latvia")) -> 453;
  borders@(cid(cia,"Poland")) -> 91;
  borders@(cid(cia,"Russia")) -> 227;
  main_cities ->> {cty(cid(cia,"Lithuania"),"Vilnius")}].

cid(cia,"Poland") : country.
cid(cia,"Poland") [name -> "Poland";
  total_area -> 312683;
  population -> 38642565;
  capital -> cty("Poland","Warsaw");
  car_code -> "PL";
  population_growth -> #0.14;
  infant_mortality -> #12.4;
  gdp_total -> 226700;
  gdp_agri -> 7;
  gdp_ind -> 38;
  gdp_serv -> 55;
  inflation -> #21.6;
  indep_date -> "11 11 1918";
  government -> "democratic state";
  encompassed@(europe) -> 100;
  ethnicgroups@("German") -> #1.3;
  ethnicgroups@("Polish") -> #97.6;
  ethnicgroups@("Ukrainian") -> #0.6;
  ethnicgroups@("Byelorussian") -> #0.5;
  religions@("Roman Catholic") -> 95;
  languages@("Polish") -> #100;
  borders@(cid(cia,"Czech-Republic")) -> 658;
  borders@(cid(cia,"Germany")) -> 456;
  borders@(cid(cia,"Slovakia")) -> 444;
  borders@(cid(cia,"Belarus")) -> 605;
  borders@(cid(cia,"Lithuania")) -> 91;
  borders@(cid(cia,"Ukraine")) -> 428;
  borders@(cid(cia,"Russia")) -> 206;
  adm_divs ->> {prov(cid(cia,"Poland"),2),
    prov(cid(cia,"Poland"),3),
    prov(cid(cia,"Poland"),4),
    prov(cid(cia,"Poland"),5),
    prov(cid(cia,"Poland"),6),
    prov(cid(cia,"Poland"),7),
    prov(cid(cia,"Poland"),8),
    prov(cid(cia,"Poland"),9),
    prov(cid(cia,"Poland"),10),
    prov(cid(cia,"Poland"),11),
    prov(cid(cia,"Poland"),12),
    prov(cid(cia,"Poland"),13),
    prov(cid(cia,"Poland"),14),
    prov(cid(cia,"Poland"),15),
    prov(cid(cia,"Poland"),16),
    prov(cid(cia,"Poland"),17),
    prov(cid(cia,"Poland"),18),
    prov(cid(cia,"Poland"),19),
    prov(cid(cia,"Poland"),20),
    prov(cid(cia,"Poland"),21),
    prov(cid(cia,"Poland"),22),
    prov(cid(cia,"Poland"),23),
    prov(cid(cia,"Poland"),24),
    prov(cid(cia,"Poland"),25),
    prov(cid(cia,"Poland"),26),
    prov(cid(cia,"Poland"),27),
    prov(cid(cia,"Poland"),28),
    prov(cid(cia,"Poland"),29),
    prov(cid(cia,"Poland"),30),
    prov(cid(cia,"Poland"),31),
    prov(cid(cia,"Poland"),32),
    prov(cid(cia,"Poland"),33),
    prov(cid(cia,"Poland"),34),
    prov(cid(cia,"Poland"),35),
    prov(cid(cia,"Poland"),36),
    prov(cid(cia,"Poland"),37),
    prov(cid(cia,"Poland"),38),
    prov(cid(cia,"Poland"),39),
    prov(cid(cia,"Poland"),40),
    prov(cid(cia,"Poland"),41),
    prov(cid(cia,"Poland"),42),
    prov(cid(cia,"Poland"),43),
    prov(cid(cia,"Poland"),44),
    prov(cid(cia,"Poland"),45),
    prov(cid(cia,"Poland"),46),
    prov(cid(cia,"Poland"),47),
    prov(cid(cia,"Poland"),48),
    prov(cid(cia,"Poland"),49),
    prov(cid(cia,"Poland"),50)};
  main_cities ->> {cty("Poland","Warsaw"),
    cty(cid(cia,"Poland"),12),
    cty(cid(cia,"Poland"),23),
    cty(cid(cia,"Poland"),9),
    cty(cid(cia,"Poland"),14),
    cty(cid(cia,"Poland"),32),
    cty(cid(cia,"Poland"),7),
    cty(cid(cia,"Poland"),40),
    cty(cid(cia,"Poland"),10),
    cty(cid(cia,"Poland"),19),
    cty(cid(cia,"Poland"),39),
    cty("Poland","Krakow"),
    cty(cid(cia,"Poland"),41),
    cty(cid(cia,"Poland"),11),
    cty(cid(cia,"Poland"),25),
    cty(cid(cia,"Poland"),31),
    cty(cid(cia,"Poland"),34),
    cty(cid(cia,"Poland"),6),
    cty(cid(cia,"Poland"),17),
    cty(cid(cia,"Poland"),26),
    cty(cid(cia,"Poland"),8),
    cty(cid(cia,"Poland"),36),
    cty(cid(cia,"Poland"),21),
    cty(cid(cia,"Poland"),28),
    cty(cid(cia,"Poland"),35),
    cty(cid(cia,"Poland"),5),
    cty(cid(cia,"Poland"),37),
    cty(cid(cia,"Poland"),3),
    cty(cid(cia,"Poland"),13),
    cty(cid(cia,"Poland"),15),
    cty(cid(cia,"Poland"),16),
    cty(cid(cia,"Poland"),18),
    cty(cid(cia,"Poland"),20),
    cty(cid(cia,"Poland"),22),
    cty(cid(cia,"Poland"),24),
    cty(cid(cia,"Poland"),27),
    cty(cid(cia,"Poland"),29),
    cty(cid(cia,"Poland"),30),
    cty(cid(cia,"Poland"),33),
    cty(cid(cia,"Poland"),38),
    cty(cid(cia,"Poland"),42),
    cty(cid(cia,"Poland"),43),
    cty(cid(cia,"Poland"),"Biala-Podlaska"),
    cty(cid(cia,"Poland"),"Chelm"),
    cty(cid(cia,"Poland"),"Ciechanow"),
    cty(cid(cia,"Poland"),"Gorzow-Wielkopolskie"),
    cty(cid(cia,"Poland"),"Jelenia-Gora"),
    cty(cid(cia,"Poland"),"Konin"),
    cty(cid(cia,"Poland"),"Krosno"),
    cty(cid(cia,"Poland"),"Leszno"),
    cty(cid(cia,"Poland"),"Lomza"),
    cty(cid(cia,"Poland"),"Nowy-Sacz"),
    cty(cid(cia,"Poland"),"Ostroleka"),
    cty(cid(cia,"Poland"),"Pila"),
    cty(cid(cia,"Poland"),"Piottrkow-Trybunalski"),
    cty(cid(cia,"Poland"),"Przemysl"),
    cty(cid(cia,"Poland"),"Siedlce"),
    cty(cid(cia,"Poland"),"Sieradz"),
    cty(cid(cia,"Poland"),"Skierniewice"),
    cty(cid(cia,"Poland"),"Slupsk"),
    cty(cid(cia,"Poland"),"Suwalki"),
    cty(cid(cia,"Poland"),"Tarnobrzeg"),
    cty(cid(cia,"Poland"),"Zamosc")}].

cid(cia,"Ukraine") : country.
cid(cia,"Ukraine") [name -> "Ukraine";
  total_area -> 603700;
  population -> 50864009;
  capital -> cty("Ukraine","Kiev");
  car_code -> "UA";
  population_growth -> #-0.4;
  infant_mortality -> #22.5;
  gdp_total -> 174600;
  gdp_agri -> 31;
  gdp_ind -> 43;
  gdp_serv -> 26;
  inflation -> 9;
  indep_date -> "01 12 1991";
  government -> "republic";
  encompassed@(europe) -> 100;
  ethnicgroups@("Ukrainian") -> 73;
  ethnicgroups@("Russian") -> 22;
  ethnicgroups@("Jewish") -> 1;
  borders@(cid(cia,"Hungary")) -> 103;
  borders@(cid(cia,"Slovakia")) -> 90;
  borders@(cid(cia,"Belarus")) -> 891;
  borders@(cid(cia,"Poland")) -> 428;
  borders@(cid(cia,"Russia")) -> 1576;
  borders@(cid(cia,"Romania")) -> 531;
  borders@(cid(cia,"Moldova")) -> 939;
  adm_divs ->> {prov(cid(cia,"Ukraine"),2),
    prov(cid(cia,"Ukraine"),3),
    prov(cid(cia,"Ukraine"),4),
    prov(cid(cia,"Ukraine"),5),
    prov(cid(cia,"Ukraine"),6),
    prov(cid(cia,"Ukraine"),7),
    prov(cid(cia,"Ukraine"),8),
    prov(cid(cia,"Ukraine"),9),
    prov(cid(cia,"Ukraine"),10),
    prov(cid(cia,"Ukraine"),11),
    prov(cid(cia,"Ukraine"),12),
    prov(cid(cia,"Ukraine"),13),
    prov(cid(cia,"Ukraine"),14),
    prov(cid(cia,"Ukraine"),15),
    prov(cid(cia,"Ukraine"),16),
    prov(cid(cia,"Ukraine"),17),
    prov(cid(cia,"Ukraine"),18),
    prov(cid(cia,"Ukraine"),19),
    prov(cid(cia,"Ukraine"),20),
    prov(cid(cia,"Ukraine"),21),
    prov(cid(cia,"Ukraine"),22),
    prov(cid(cia,"Ukraine"),23),
    prov(cid(cia,"Ukraine"),24),
    prov(cid(cia,"Ukraine"),25),
    prov(cid(cia,"Ukraine"),27)};
  main_cities ->> {cty("Ukraine","Kiev"),
    cty(cid(cia,"Ukraine"),21),
    cty(cid(cia,"Ukraine"),20),
    cty(cid(cia,"Ukraine"),26),
    cty(cid(cia,"Ukraine"),4),
    cty(cid(cia,"Ukraine"),5),
    cty("Ukraine","Kharkiv"),
    cty(cid(cia,"Ukraine"),16),
    cty(cid(cia,"Ukraine"),27),
    cty(cid(cia,"Ukraine"),25),
    cty(cid(cia,"Ukraine"),8),
    cty(cid(cia,"Ukraine"),11),
    cty("Ukraine","Odesa"),
    cty(cid(cia,"Ukraine"),19),
    cty(cid(cia,"Ukraine"),29),
    cty(cid(cia,"Ukraine"),23),
    cty(cid(cia,"Ukraine"),31),
    cty(cid(cia,"Ukraine"),14),
    cty(cid(cia,"Ukraine"),32),
    cty(cid(cia,"Ukraine"),7),
    cty(cid(cia,"Ukraine"),22),
    cty(cid(cia,"Ukraine"),17),
    cty(cid(cia,"Ukraine"),9),
    cty(cid(cia,"Ukraine"),10),
    cty(cid(cia,"Ukraine"),12),
    cty(cid(cia,"Ukraine"),13),
    cty(cid(cia,"Ukraine"),15),
    cty(cid(cia,"Ukraine"),18),
    cty(cid(cia,"Ukraine"),24),
    cty(cid(cia,"Ukraine"),28),
    cty(cid(cia,"Ukraine"),30),
    cty(cid(cia,"Ukraine"),"Uzhhorod")}].

cid(cia,"Russia") : country.
cid(cia,"Russia") [name -> "Russia";
  total_area -> 17075200;
  population -> 148178487;
  capital -> cty("Russia","Moscow");
  car_code -> "R";
  population_growth -> #-0.07;
  infant_mortality -> #24.7;
  gdp_total -> 796000;
  gdp_agri -> 6;
  gdp_ind -> 41;
  gdp_serv -> 53;
  inflation -> 7;
  indep_date -> "24 08 1991";
  government -> "federation";
  encompassed@(europe) -> 20;
  encompassed@(asia) -> 80;
  ethnicgroups@("Ukrainian") -> 3;
  ethnicgroups@("Russian") -> #81.5;
  ethnicgroups@("Byelorussian") -> #0.8;
  ethnicgroups@("Tatar") -> #3.8;
  ethnicgroups@("Chuvash") -> #1.2;
  ethnicgroups@("Bashkir") -> #0.9;
  ethnicgroups@("Moldavian") -> #0.7;
  languages@("Russian") -> #100;
  borders@(cid(cia,"Belarus")) -> 959;
  borders@(cid(cia,"Latvia")) -> 217;
  borders@(cid(cia,"Lithuania")) -> 227;
  borders@(cid(cia,"Poland")) -> 206;
  borders@(cid(cia,"Ukraine")) -> 1576;
  borders@(cid(cia,"Estonia")) -> 290;
  borders@(cid(cia,"Finland")) -> 1313;
  borders@(cid(cia,"Norway")) -> 167;
  borders@(cid(cia,"China")) -> 3645;
  borders@(cid(cia,"Georgia")) -> 723;
  borders@(cid(cia,"Azerbaijan")) -> 284;
  borders@(cid(cia,"Kazakstan")) -> 6846;
  borders@(cid(cia,"North-Korea")) -> 19;
  borders@(cid(cia,"Mongolia")) -> 3441;
  adm_divs ->> {prov(cid(cia,"Russia"),3),
    prov(cid(cia,"Russia"),4),
    prov(cid(cia,"Russia"),5),
    prov(cid(cia,"Russia"),7),
    prov(cid(cia,"Russia"),8),
    prov(cid(cia,"Russia"),9),
    prov(cid(cia,"Russia"),10),
    prov(cid(cia,"Russia"),11),
    prov(cid(cia,"Russia"),12),
    prov(cid(cia,"Russia"),13),
    prov(cid(cia,"Russia"),14),
    prov(cid(cia,"Russia"),15),
    prov(cid(cia,"Russia"),16),
    prov(cid(cia,"Russia"),17),
    prov(cid(cia,"Russia"),18),
    prov(cid(cia,"Russia"),19),
    prov(cid(cia,"Russia"),20),
    prov(cid(cia,"Russia"),21),
    prov(cid(cia,"Russia"),22),
    prov(cid(cia,"Russia"),23),
    prov(cid(cia,"Russia"),24),
    prov(cid(cia,"Russia"),25),
    prov(cid(cia,"Russia"),26),
    prov(cid(cia,"Russia"),27),
    prov(cid(cia,"Russia"),28),
    prov(cid(cia,"Russia"),29),
    prov(cid(cia,"Russia"),30),
    prov(cid(cia,"Russia"),31),
    prov(cid(cia,"Russia"),32),
    prov(cid(cia,"Russia"),33),
    prov(cid(cia,"Russia"),34),
    prov(cid(cia,"Russia"),35),
    prov(cid(cia,"Russia"),36),
    prov(cid(cia,"Russia"),37),
    prov(cid(cia,"Russia"),38),
    prov(cid(cia,"Russia"),39),
    prov(cid(cia,"Russia"),40),
    prov(cid(cia,"Russia"),41),
    prov(cid(cia,"Russia"),42),
    prov(cid(cia,"Russia"),43),
    prov(cid(cia,"Russia"),44),
    prov(cid(cia,"Russia"),45),
    prov(cid(cia,"Russia"),46),
    prov(cid(cia,"Russia"),47),
    prov(cid(cia,"Russia"),48),
    prov(cid(cia,"Russia"),49),
    prov(cid(cia,"Russia"),52),
    prov(cid(cia,"Russia"),53),
    prov(cid(cia,"Russia"),54),
    prov(cid(cia,"Russia"),55),
    prov(cid(cia,"Russia"),56),
    prov(cid(cia,"Russia"),57),
    prov(cid(cia,"Russia"),58),
    prov(cid(cia,"Russia"),59),
    prov(cid(cia,"Russia"),60),
    prov(cid(cia,"Russia"),61),
    prov(cid(cia,"Russia"),62),
    prov(cid(cia,"Russia"),63),
    prov(cid(cia,"Russia"),64),
    prov(cid(cia,"Russia"),65),
    prov(cid(cia,"Russia"),66),
    prov(cid(cia,"Russia"),67),
    prov(cid(cia,"Russia"),68),
    prov(cid(cia,"Russia"),69),
    prov(cid(cia,"Russia"),70),
    prov(cid(cia,"Russia"),72),
    prov(cid(cia,"Russia"),73),
    prov(cid(cia,"Russia"),74),
    prov(cid(cia,"Russia"),75),
    prov(cid(cia,"Russia"),77),
    prov(cid(cia,"Russia"),79),
    prov(cid(cia,"Russia"),81),
    prov(cid(cia,"Russia"),82),
    prov(cid(cia,"Russia"),83),
    prov(cid(cia,"Russia"),84),
    prov(cid(cia,"Russia"),85),
    prov(cid(cia,"Russia"),86),
    prov(cid(cia,"Russia"),87),
    prov(cid(cia,"Russia"),89),
    prov(cid(cia,"Russia"),90)};
  main_cities ->> {cty("Russia","Moscow"),
    cty(cid(cia,"Russia"),71),
    cty(cid(cia,"Russia"),85),
    cty("Russia","Arkhangelsk"),
    cty(cid(cia,"Russia"),66),
    cty(cid(cia,"Russia"),47),
    cty("Russia","Kaliningrad"),
    cty(cid(cia,"Russia"),3),
    cty(cid(cia,"Russia"),83),
    cty(cid(cia,"Russia"),90),
    cty(cid(cia,"Russia"),40),
    cty(cid(cia,"Russia"),57),
    cty(cid(cia,"Russia"),36),
    cty(cid(cia,"Russia"),55),
    cty(cid(cia,"Russia"),70),
    cty(cid(cia,"Russia"),28),
    cty(cid(cia,"Russia"),52),
    cty(cid(cia,"Russia"),41),
    cty(cid(cia,"Russia"),31),
    cty(cid(cia,"Russia"),23),
    cty(cid(cia,"Russia"),78),
    cty(cid(cia,"Russia"),61),
    cty(cid(cia,"Russia"),42),
    cty(cid(cia,"Russia"),39),
    cty(cid(cia,"Russia"),4),
    cty(cid(cia,"Russia"),59),
    cty(cid(cia,"Russia"),15),
    cty(cid(cia,"Russia"),43),
    cty(cid(cia,"Russia"),37),
    cty(cid(cia,"Russia"),63),
    cty(cid(cia,"Russia"),11),
    cty(cid(cia,"Russia"),35),
    cty("Russia","Volgograd"),
    cty(cid(cia,"Russia"),29),
    cty(cid(cia,"Russia"),7),
    cty(cid(cia,"Russia"),16),
    cty(cid(cia,"Russia"),9),
    cty(cid(cia,"Russia"),20),
    cty(cid(cia,"Russia"),30),
    cty(cid(cia,"Russia"),12),
    cty(cid(cia,"Russia"),107),
    cty(cid(cia,"Russia"),58),
    cty(cid(cia,"Russia"),81),
    cty(cid(cia,"Russia"),141),
    cty(cid(cia,"Russia"),64),
    cty(cid(cia,"Russia"),21),
    cty(cid(cia,"Russia"),56),
    cty(cid(cia,"Russia"),51),
    cty(cid(cia,"Russia"),6),
    cty(cid(cia,"Russia"),10),
    cty(cid(cia,"Russia"),25),
    cty(cid(cia,"Russia"),33),
    cty(cid(cia,"Russia"),5),
    cty(cid(cia,"Russia"),8),
    cty(cid(cia,"Russia"),38),
    cty(cid(cia,"Russia"),34),
    cty(cid(cia,"Russia"),49),
    cty(cid(cia,"Russia"),112),
    cty("Russia","Krasnoyarsk"),
    cty(cid(cia,"Russia"),26),
    cty(cid(cia,"Russia"),60),
    cty(cid(cia,"Russia"),97),
    cty("Russia","Vladivostok"),
    cty(cid(cia,"Russia"),24),
    cty(cid(cia,"Russia"),87),
    cty(cid(cia,"Russia"),132),
    cty(cid(cia,"Russia"),113),
    cty(cid(cia,"Russia"),13),
    cty(cid(cia,"Russia"),18),
    cty(cid(cia,"Russia"),19),
    cty(cid(cia,"Russia"),27),
    cty(cid(cia,"Russia"),32),
    cty(cid(cia,"Russia"),44),
    cty(cid(cia,"Russia"),46),
    cty(cid(cia,"Russia"),50),
    cty(cid(cia,"Russia"),53),
    cty(cid(cia,"Russia"),54),
    cty(cid(cia,"Russia"),62),
    cty(cid(cia,"Russia"),65),
    cty(cid(cia,"Russia"),67),
    cty(cid(cia,"Russia"),68),
    cty(cid(cia,"Russia"),69),
    cty(cid(cia,"Russia"),72),
    cty(cid(cia,"Russia"),73),
    cty(cid(cia,"Russia"),74),
    cty(cid(cia,"Russia"),75),
    cty(cid(cia,"Russia"),76),
    cty(cid(cia,"Russia"),77),
    cty(cid(cia,"Russia"),79),
    cty(cid(cia,"Russia"),80),
    cty(cid(cia,"Russia"),82),
    cty(cid(cia,"Russia"),84),
    cty(cid(cia,"Russia"),86),
    cty(cid(cia,"Russia"),88),
    cty(cid(cia,"Russia"),89),
    cty(cid(cia,"Russia"),91),
    cty(cid(cia,"Russia"),92),
    cty(cid(cia,"Russia"),93),
    cty(cid(cia,"Russia"),94),
    cty(cid(cia,"Russia"),95),
    cty(cid(cia,"Russia"),96),
    cty(cid(cia,"Russia"),98),
    cty(cid(cia,"Russia"),99),
    cty(cid(cia,"Russia"),100),
    cty(cid(cia,"Russia"),101),
    cty(cid(cia,"Russia"),102),
    cty(cid(cia,"Russia"),103),
    cty(cid(cia,"Russia"),104),
    cty(cid(cia,"Russia"),105),
    cty(cid(cia,"Russia"),106),
    cty(cid(cia,"Russia"),108),
    cty(cid(cia,"Russia"),109),
    cty(cid(cia,"Russia"),110),
    cty(cid(cia,"Russia"),111),
    cty(cid(cia,"Russia"),114),
    cty(cid(cia,"Russia"),115),
    cty(cid(cia,"Russia"),116),
    cty(cid(cia,"Russia"),117),
    cty(cid(cia,"Russia"),118),
    cty(cid(cia,"Russia"),119),
    cty(cid(cia,"Russia"),120),
    cty(cid(cia,"Russia"),121),
    cty(cid(cia,"Russia"),122),
    cty(cid(cia,"Russia"),123),
    cty(cid(cia,"Russia"),124),
    cty(cid(cia,"Russia"),125),
    cty(cid(cia,"Russia"),127),
    cty(cid(cia,"Russia"),128),
    cty(cid(cia,"Russia"),129),
    cty(cid(cia,"Russia"),130),
    cty(cid(cia,"Russia"),131),
    cty(cid(cia,"Russia"),133),
    cty(cid(cia,"Russia"),134),
    cty(cid(cia,"Russia"),135),
    cty(cid(cia,"Russia"),136),
    cty(cid(cia,"Russia"),137),
    cty(cid(cia,"Russia"),138),
    cty(cid(cia,"Russia"),139),
    cty(cid(cia,"Russia"),140),
    cty(cid(cia,"Russia"),142),
    cty(cid(cia,"Russia"),143),
    cty(cid(cia,"Russia"),144),
    cty(cid(cia,"Russia"),145),
    cty(cid(cia,"Russia"),146),
    cty(cid(cia,"Russia"),147),
    cty(cid(cia,"Russia"),148),
    cty(cid(cia,"Russia"),149),
    cty(cid(cia,"Russia"),150),
    cty(cid(cia,"Russia"),151),
    cty(cid(cia,"Russia"),152),
    cty(cid(cia,"Russia"),153),
    cty(cid(cia,"Russia"),154),
    cty(cid(cia,"Russia"),155),
    cty(cid(cia,"Russia"),156),
    cty(cid(cia,"Russia"),157),
    cty(cid(cia,"Russia"),158),
    cty(cid(cia,"Russia"),159),
    cty(cid(cia,"Russia"),160),
    cty(cid(cia,"Russia"),161),
    cty(cid(cia,"Russia"),162),
    cty(cid(cia,"Russia"),163),
    cty(cid(cia,"Russia"),164),
    cty(cid(cia,"Russia"),165),
    cty(cid(cia,"Russia"),166),
    cty(cid(cia,"Russia"),167),
    cty(cid(cia,"Russia"),168),
    cty(cid(cia,"Russia"),169),
    cty(cid(cia,"Russia"),"Elista"),
    cty(cid(cia,"Russia"),"Rostov-no-Donu"),
    cty(cid(cia,"Russia"),"Nazran"),
    cty(cid(cia,"Russia"),"Gorno-Altaysk"),
    cty(cid(cia,"Russia"),"Kyzyl"),
    cty(cid(cia,"Russia"),"Birobidzhan"),
    cty(cid(cia,"Russia"),"Anadyr")}].

cid(cia,"Belgium") : country.
cid(cia,"Belgium") [name -> "Belgium";
  total_area -> 30510;
  population -> 10170241;
  capital -> cty("Belgium","Brussels");
  car_code -> "B";
  population_growth -> #0.33;
  infant_mortality -> #6.4;
  gdp_total -> 197000;
  gdp_agri -> 2;
  gdp_ind -> 28;
  gdp_serv -> 70;
  inflation -> #1.6;
  indep_date -> "04 10 1830";
  government -> "constitutional monarchy";
  encompassed@(europe) -> 100;
  ethnicgroups@("Fleming") -> 55;
  ethnicgroups@("Walloon") -> 33;
  religions@("Roman Catholic") -> 75;
  religions@("Protestant") -> 25;
  languages@("French") -> 32;
  languages@("German") -> 1;
  languages@("Dutch") -> 56;
  borders@(cid(cia,"France")) -> 620;
  borders@(cid(cia,"Germany")) -> 167;
  borders@(cid(cia,"Luxembourg")) -> 148;
  borders@(cid(cia,"Netherlands")) -> 450;
  adm_divs ->> {prov(cid(cia,"Belgium"),2),
    prov(cid(cia,"Belgium"),3),
    prov(cid(cia,"Belgium"),4),
    prov(cid(cia,"Belgium"),5),
    prov(cid(cia,"Belgium"),6),
    prov(cid(cia,"Belgium"),7),
    prov(cid(cia,"Belgium"),8),
    prov(cid(cia,"Belgium"),9),
    prov(cid(cia,"Belgium"),10)};
  main_cities ->> {cty("Belgium","Brussels"),
    cty(cid(cia,"Belgium"),3,0),
    cty(cid(cia,"Belgium"),4,0),
    cty(cid(cia,"Belgium"),6,0),
    cty(cid(cia,"Belgium"),8,0),
    cty(cid(cia,"Belgium"),5,0),
    cty(cid(cia,"Belgium"),7,0),
    cty(cid(cia,"Belgium"),"Mons"),
    cty(cid(cia,"Belgium"),"Hasselt"),
    cty(cid(cia,"Belgium"),"Arlon"),
    cty(cid(cia,"Belgium"),"Brugge"),
    stadt("Bruegge","B","WES")}].

cid(cia,"Luxembourg") : country.
cid(cia,"Luxembourg") [name -> "Luxembourg";
  total_area -> 2586;
  population -> 415870;
  capital -> cty(cid(cia,"Luxembourg"),"Luxembourg");
  car_code -> "L";
  population_growth -> #1.57;
  infant_mortality -> #4.7;
  gdp_total -> 10000;
  gdp_agri -> #1.4;
  gdp_ind -> #33.7;
  gdp_serv -> #64.9;
  inflation -> #3.6;
  government -> "constitutional monarchy";
  encompassed@(europe) -> 100;
  religions@("Roman Catholic") -> 97;
  religions@("Protestant Jewish") -> 3;
  borders@(cid(cia,"France")) -> 73;
  borders@(cid(cia,"Germany")) -> 138;
  borders@(cid(cia,"Belgium")) -> 148;
  main_cities ->> {cty(cid(cia,"Luxembourg"),"Luxembourg")}].

cid(cia,"Netherlands") : country.
cid(cia,"Netherlands") [name -> "Netherlands";
  total_area -> 37330;
  population -> 15568034;
  capital -> cty("Netherlands","Amsterdam");
  car_code -> "NL";
  population_growth -> #0.56;
  infant_mortality -> #4.9;
  gdp_total -> 301900;
  gdp_agri -> #3.4;
  gdp_ind -> #26.9;
  gdp_serv -> #69.7;
  inflation -> #2.25;
  indep_date -> "01 01 1579";
  government -> "constitutional monarchy";
  encompassed@(europe) -> 100;
  ethnicgroups@("Dutch") -> 96;
  religions@("Muslim") -> 3;
  religions@("Roman Catholic") -> 34;
  religions@("Protestant") -> 25;
  languages@("Dutch") -> #100;
  borders@(cid(cia,"Germany")) -> 577;
  borders@(cid(cia,"Belgium")) -> 450;
  adm_divs ->> {prov(cid(cia,"Netherlands"),2),
    prov(cid(cia,"Netherlands"),3),
    prov(cid(cia,"Netherlands"),4),
    prov(cid(cia,"Netherlands"),5),
    prov(cid(cia,"Netherlands"),6),
    prov(cid(cia,"Netherlands"),7),
    prov(cid(cia,"Netherlands"),8),
    prov(cid(cia,"Netherlands"),9),
    prov(cid(cia,"Netherlands"),10),
    prov(cid(cia,"Netherlands"),11),
    prov(cid(cia,"Netherlands"),12),
    prov(cid(cia,"Netherlands"),13)};
  main_cities ->> {cty("Netherlands","Amsterdam"),
    cty(cid(cia,"Netherlands"),14),
    cty(cid(cia,"Netherlands"),7),
    cty(cid(cia,"Netherlands"),5),
    cty(cid(cia,"Netherlands"),13),
    cty(cid(cia,"Netherlands"),4),
    cty(cid(cia,"Netherlands"),15),
    cty(cid(cia,"Netherlands"),19),
    cty(cid(cia,"Netherlands"),3),
    cty(cid(cia,"Netherlands"),6),
    cty(cid(cia,"Netherlands"),8),
    cty(cid(cia,"Netherlands"),9),
    cty(cid(cia,"Netherlands"),10),
    cty(cid(cia,"Netherlands"),11),
    cty(cid(cia,"Netherlands"),12),
    cty(cid(cia,"Netherlands"),16),
    cty(cid(cia,"Netherlands"),17),
    cty(cid(cia,"Netherlands"),18),
    cty(cid(cia,"Netherlands"),20),
    cty(cid(cia,"Netherlands"),21),
    cty(cid(cia,"Netherlands"),22),
    cty(cid(cia,"Netherlands"),"Leeuwarden"),
    cty(cid(cia,"Netherlands"),"Assen"),
    cty(cid(cia,"Netherlands"),"Zwolle"),
    cty(cid(cia,"Netherlands"),"Lelystad"),
    cty(cid(cia,"Netherlands"),"Middelburg")}].

cid(cia,"Bosnia-and-Herzegovina") : country.
cid(cia,"Bosnia-and-Herzegovina") [name -> "Bosnia and Herzegovina";
  total_area -> 51233;
  population -> 2656240;
  capital -> cty(cid(cia,"Bosnia-and-Herzegovina"),"Sarajevo");
  car_code -> "BIH";
  population_growth -> #-2.84;
  infant_mortality -> #43.2;
  gdp_total -> 1000;
  indep_date -> "01 04 1992";
  government -> "emerging democracy";
  encompassed@(europe) -> 100;
  ethnicgroups@("Serb") -> 40;
  ethnicgroups@("Muslim") -> 38;
  ethnicgroups@("Croat") -> 22;
  religions@("Muslim") -> 40;
  religions@("Protestant") -> 4;
  religions@("Orthodox") -> 31;
  religions@("Catholic") -> 15;
  languages@("Serbo-Croatian") -> 99;
  borders@(cid(cia,"Serbia-and-Montenegro")) -> 527;
  borders@(cid(cia,"Croatia")) -> 932;
  main_cities ->> {cty(cid(cia,"Bosnia-and-Herzegovina"),"Sarajevo")}].

cid(cia,"Croatia") : country.
cid(cia,"Croatia") [name -> "Croatia";
  total_area -> 56538;
  population -> 5004112;
  capital -> cty(cid(cia,"Croatia"),"Zagreb");
  car_code -> "HR";
  population_growth -> #0.58;
  infant_mortality -> #10.2;
  gdp_total -> 20100;
  gdp_agri -> #12.7;
  gdp_ind -> #30.6;
  gdp_serv -> #56.7;
  inflation -> #3.7;
  indep_date -> "25 06 1991";
  government -> "parliamentary democracy";
  encompassed@(europe) -> 100;
  ethnicgroups@("Serb") -> 12;
  ethnicgroups@("Hungarian") -> #0.5;
  ethnicgroups@("Muslim") -> #0.9;
  ethnicgroups@("Croat") -> 78;
  ethnicgroups@("Slovenian") -> #0.5;
  religions@("Protestant") -> #0.4;
  religions@("Orthodox") -> #11.1;
  religions@("Catholic") -> #76.5;
  religions@("Slavic Muslim") -> #1.2;
  languages@("Serbo-Croatian") -> 96;
  borders@(cid(cia,"Serbia-and-Montenegro")) -> 266;
  borders@(cid(cia,"Hungary")) -> 329;
  borders@(cid(cia,"Slovenia")) -> 546;
  borders@(cid(cia,"Bosnia-and-Herzegovina")) -> 932;
  main_cities ->> {cty(cid(cia,"Croatia"),"Zagreb")}].

cid(cia,"Bulgaria") : country.
cid(cia,"Bulgaria") [name -> "Bulgaria";
  total_area -> 110910;
  population -> 8612757;
  capital -> cty("Bulgaria","Sofia");
  car_code -> "BG";
  population_growth -> #0.46;
  infant_mortality -> #15.7;
  gdp_total -> 43200;
  gdp_agri -> 12;
  gdp_ind -> 36;
  gdp_serv -> 52;
  inflation -> 35;
  indep_date -> "22 09 1908";
  government -> "emerging democracy";
  encompassed@(europe) -> 100;
  ethnicgroups@("Macedonian") -> #2.5;
  ethnicgroups@("Gypsy") -> #2.6;
  ethnicgroups@("Russian") -> #0.2;
  ethnicgroups@("Turk") -> #8.5;
  ethnicgroups@("Bulgarian") -> #85.3;
  ethnicgroups@("Armenian") -> #0.3;
  religions@("Muslim") -> 13;
  religions@("Jewish") -> #0.8;
  religions@("Roman Catholic") -> #0.5;
  religions@("Protestant") -> null;
  religions@("Gregorian-Armenian") -> null;
  religions@("Bulgarian Orthodox") -> 85;
  religions@("Uniate Catholic") -> #0.2;
  languages@("Bulgarian") -> #100;
  borders@(cid(cia,"Greece")) -> 494;
  borders@(cid(cia,"Macedonia")) -> 148;
  borders@(cid(cia,"Serbia-and-Montenegro")) -> 318;
  borders@(cid(cia,"Romania")) -> 608;
  borders@(cid(cia,"Turkey")) -> 240;
  main_cities ->> {cty("Bulgaria","Sofia")}].

cid(cia,"Romania") : country.
cid(cia,"Romania") [name -> "Romania";
  total_area -> 237500;
  population -> 21657162;
  capital -> cty(cid(cia,"Romania"),2);
  car_code -> "RO";
  population_growth -> #-1.21;
  infant_mortality -> #23.2;
  gdp_total -> 105700;
  gdp_agri -> #19.6;
  gdp_ind -> #36.3;
  gdp_serv -> #44.1;
  inflation -> 25;
  indep_date -> "01 01 1881";
  government -> "republic";
  encompassed@(europe) -> 100;
  ethnicgroups@("Serb") -> null;
  ethnicgroups@("German") -> #0.4;
  ethnicgroups@("Gypsy") -> #1.6;
  ethnicgroups@("Hungarian") -> #8.9;
  ethnicgroups@("Romanian") -> #89.1;
  ethnicgroups@("Ukrainian") -> null;
  ethnicgroups@("Croat") -> null;
  ethnicgroups@("Russian") -> null;
  ethnicgroups@("Turk") -> null;
  religions@("Roman Catholic") -> 6;
  religions@("Protestant") -> 6;
  religions@("Romanian Orthodox") -> 70;
  borders@(cid(cia,"Serbia-and-Montenegro")) -> 476;
  borders@(cid(cia,"Hungary")) -> 443;
  borders@(cid(cia,"Ukraine")) -> 531;
  borders@(cid(cia,"Bulgaria")) -> 608;
  borders@(cid(cia,"Moldova")) -> 450;
  adm_divs ->> {prov(cid(cia,"Romania"),2),
    prov(cid(cia,"Romania"),3),
    prov(cid(cia,"Romania"),4),
    prov(cid(cia,"Romania"),5),
    prov(cid(cia,"Romania"),6),
    prov(cid(cia,"Romania"),7),
    prov(cid(cia,"Romania"),8),
    prov(cid(cia,"Romania"),9),
    prov(cid(cia,"Romania"),10),
    prov(cid(cia,"Romania"),11),
    prov(cid(cia,"Romania"),12),
    prov(cid(cia,"Romania"),13),
    prov(cid(cia,"Romania"),14),
    prov(cid(cia,"Romania"),15),
    prov(cid(cia,"Romania"),16),
    prov(cid(cia,"Romania"),17),
    prov(cid(cia,"Romania"),18),
    prov(cid(cia,"Romania"),19),
    prov(cid(cia,"Romania"),20),
    prov(cid(cia,"Romania"),21),
    prov(cid(cia,"Romania"),22),
    prov(cid(cia,"Romania"),23),
    prov(cid(cia,"Romania"),24),
    prov(cid(cia,"Romania"),25),
    prov(cid(cia,"Romania"),26),
    prov(cid(cia,"Romania"),27),
    prov(cid(cia,"Romania"),28),
    prov(cid(cia,"Romania"),29),
    prov(cid(cia,"Romania"),30),
    prov(cid(cia,"Romania"),31),
    prov(cid(cia,"Romania"),32),
    prov(cid(cia,"Romania"),33),
    prov(cid(cia,"Romania"),34),
    prov(cid(cia,"Romania"),35),
    prov(cid(cia,"Romania"),36),
    prov(cid(cia,"Romania"),37),
    prov(cid(cia,"Romania"),38),
    prov(cid(cia,"Romania"),39),
    prov(cid(cia,"Romania"),40),
    prov(cid(cia,"Romania"),41),
    prov(cid(cia,"Romania"),42)};
  main_cities ->> {cty(cid(cia,"Romania"),2),
    cty(cid(cia,"Romania"),12),
    cty(cid(cia,"Romania"),16),
    cty(cid(cia,"Romania"),13),
    cty(cid(cia,"Romania"),11),
    cty(cid(cia,"Romania"),10),
    cty(cid(cia,"Romania"),3),
    cty(cid(cia,"Romania"),18),
    cty(cid(cia,"Romania"),7),
    cty(cid(cia,"Romania"),4),
    cty(cid(cia,"Romania"),9),
    cty(cid(cia,"Romania"),8),
    cty(cid(cia,"Romania"),6),
    cty(cid(cia,"Romania"),17),
    cty(cid(cia,"Romania"),15),
    cty(cid(cia,"Romania"),14),
    cty(cid(cia,"Romania"),5),
    cty(cid(cia,"Romania"),19),
    cty(cid(cia,"Romania"),"Alba-Iulia"),
    cty(cid(cia,"Romania"),"Bistrita"),
    cty(cid(cia,"Romania"),"Botosani"),
    cty(cid(cia,"Romania"),"Calarasi"),
    cty(cid(cia,"Romania"),"Resita"),
    cty(cid(cia,"Romania"),"Sfintu-Gheorghe"),
    cty(cid(cia,"Romania"),"Tirgoviste"),
    cty(cid(cia,"Romania"),"Giurgiu"),
    cty(cid(cia,"Romania"),"Tirgu-Jiu"),
    cty(cid(cia,"Romania"),"Miercurea-Ciuc"),
    cty(cid(cia,"Romania"),"Deva"),
    cty(cid(cia,"Romania"),"Slobozia"),
    cty(cid(cia,"Romania"),"Drobeta-Turnu-Severin"),
    cty(cid(cia,"Romania"),"Piatra-Neamt"),
    cty(cid(cia,"Romania"),"Slatina"),
    cty(cid(cia,"Romania"),"Ploiesti"),
    cty(cid(cia,"Romania"),"Zalau"),
    cty(cid(cia,"Romania"),"Suceava"),
    cty(cid(cia,"Romania"),"Alexandria"),
    cty(cid(cia,"Romania"),"Tulcea"),
    cty(cid(cia,"Romania"),"Vaslui"),
    cty(cid(cia,"Romania"),"Rimnicu-Vilcea"),
    cty(cid(cia,"Romania"),"Focsani")}].

cid(cia,"Turkey") : country.
cid(cia,"Turkey") [name -> "Turkey";
  total_area -> 780580;
  population -> 62484478;
  capital -> cty("Turkey","Ankara");
  car_code -> "TR";
  population_growth -> #1.67;
  infant_mortality -> #43.2;
  gdp_total -> 345700;
  gdp_agri -> #15.5;
  gdp_ind -> #33.2;
  gdp_serv -> #51.3;
  inflation -> 94;
  indep_date -> "29 10 1923";
  government -> "republican parliamentary democracy";
  encompassed@(europe) -> 32;
  encompassed@(asia) -> 68;
  ethnicgroups@("Turkish") -> 80;
  ethnicgroups@("Kurdish") -> 20;
  religions@("Muslim") -> #99.8;
  borders@(cid(cia,"Greece")) -> 206;
  borders@(cid(cia,"Bulgaria")) -> 240;
  borders@(cid(cia,"Iran")) -> 499;
  borders@(cid(cia,"Armenia")) -> 268;
  borders@(cid(cia,"Georgia")) -> 252;
  borders@(cid(cia,"Azerbaijan")) -> 9;
  borders@(cid(cia,"Iraq")) -> 331;
  borders@(cid(cia,"Syria")) -> 822;
  adm_divs ->> {prov(cid(cia,"Turkey"),2),
    prov(cid(cia,"Turkey"),3),
    prov(cid(cia,"Turkey"),4),
    prov(cid(cia,"Turkey"),5),
    prov(cid(cia,"Turkey"),6),
    prov(cid(cia,"Turkey"),7),
    prov(cid(cia,"Turkey"),8),
    prov(cid(cia,"Turkey"),9),
    prov(cid(cia,"Turkey"),10),
    prov(cid(cia,"Turkey"),11),
    prov(cid(cia,"Turkey"),12),
    prov(cid(cia,"Turkey"),13),
    prov(cid(cia,"Turkey"),14),
    prov(cid(cia,"Turkey"),15),
    prov(cid(cia,"Turkey"),16),
    prov(cid(cia,"Turkey"),17),
    prov(cid(cia,"Turkey"),18),
    prov(cid(cia,"Turkey"),19),
    prov(cid(cia,"Turkey"),20),
    prov(cid(cia,"Turkey"),21),
    prov(cid(cia,"Turkey"),22),
    prov(cid(cia,"Turkey"),23),
    prov(cid(cia,"Turkey"),24),
    prov(cid(cia,"Turkey"),25),
    prov(cid(cia,"Turkey"),26),
    prov(cid(cia,"Turkey"),27),
    prov(cid(cia,"Turkey"),28),
    prov(cid(cia,"Turkey"),29),
    prov(cid(cia,"Turkey"),30),
    prov(cid(cia,"Turkey"),31),
    prov(cid(cia,"Turkey"),32),
    prov(cid(cia,"Turkey"),33),
    prov(cid(cia,"Turkey"),34),
    prov(cid(cia,"Turkey"),35),
    prov(cid(cia,"Turkey"),36),
    prov(cid(cia,"Turkey"),37),
    prov(cid(cia,"Turkey"),38),
    prov(cid(cia,"Turkey"),39),
    prov(cid(cia,"Turkey"),40),
    prov(cid(cia,"Turkey"),41),
    prov(cid(cia,"Turkey"),42),
    prov(cid(cia,"Turkey"),43),
    prov(cid(cia,"Turkey"),44),
    prov(cid(cia,"Turkey"),45),
    prov(cid(cia,"Turkey"),46),
    prov(cid(cia,"Turkey"),47),
    prov(cid(cia,"Turkey"),48),
    prov(cid(cia,"Turkey"),49),
    prov(cid(cia,"Turkey"),50),
    prov(cid(cia,"Turkey"),51),
    prov(cid(cia,"Turkey"),52),
    prov(cid(cia,"Turkey"),53),
    prov(cid(cia,"Turkey"),54),
    prov(cid(cia,"Turkey"),55),
    prov(cid(cia,"Turkey"),56),
    prov(cid(cia,"Turkey"),57),
    prov(cid(cia,"Turkey"),58),
    prov(cid(cia,"Turkey"),59),
    prov(cid(cia,"Turkey"),60),
    prov(cid(cia,"Turkey"),61),
    prov(cid(cia,"Turkey"),62),
    prov(cid(cia,"Turkey"),63),
    prov(cid(cia,"Turkey"),64),
    prov(cid(cia,"Turkey"),65),
    prov(cid(cia,"Turkey"),66),
    prov(cid(cia,"Turkey"),67),
    prov(cid(cia,"Turkey"),68),
    prov(cid(cia,"Turkey"),69),
    prov(cid(cia,"Turkey"),70),
    prov(cid(cia,"Turkey"),71),
    prov(cid(cia,"Turkey"),72),
    prov(cid(cia,"Turkey"),73),
    prov(cid(cia,"Turkey"),74)};
  main_cities ->> {cty("Turkey","Ankara"),
    cty("Turkey","Adana"),
    cty(cid(cia,"Turkey"),40),
    cty(cid(cia,"Turkey"),10),
    cty(cid(cia,"Turkey"),42),
    cty(cid(cia,"Turkey"),28),
    cty(cid(cia,"Turkey"),31),
    cty(cid(cia,"Turkey"),6),
    cty(cid(cia,"Turkey"),24),
    cty(cid(cia,"Turkey"),13),
    cty(cid(cia,"Turkey"),45),
    cty(cid(cia,"Turkey"),20),
    cty(cid(cia,"Turkey"),12),
    cty(cid(cia,"Turkey"),7),
    cty(cid(cia,"Turkey"),9),
    cty(cid(cia,"Turkey"),39),
    cty("Turkey","Istanbul"),
    cty("Turkey","Izmir"),
    cty(cid(cia,"Turkey"),21),
    cty(cid(cia,"Turkey"),11),
    cty(cid(cia,"Turkey"),32),
    cty(cid(cia,"Turkey"),18),
    cty(cid(cia,"Turkey"),8),
    cty(cid(cia,"Turkey"),17),
    cty(cid(cia,"Turkey"),29),
    cty(cid(cia,"Turkey"),41),
    cty(cid(cia,"Turkey"),16),
    cty(cid(cia,"Turkey"),15),
    cty(cid(cia,"Turkey"),22),
    cty(cid(cia,"Turkey"),34),
    cty(cid(cia,"Turkey"),43),
    cty(cid(cia,"Turkey"),27),
    cty(cid(cia,"Turkey"),44),
    cty(cid(cia,"Turkey"),14),
    cty(cid(cia,"Turkey"),19),
    cty(cid(cia,"Turkey"),23),
    cty(cid(cia,"Turkey"),25),
    cty(cid(cia,"Turkey"),26),
    cty(cid(cia,"Turkey"),30),
    cty(cid(cia,"Turkey"),33),
    cty(cid(cia,"Turkey"),35),
    cty(cid(cia,"Turkey"),36),
    cty(cid(cia,"Turkey"),37),
    cty(cid(cia,"Turkey"),38),
    cty(cid(cia,"Turkey"),46),
    cty(cid(cia,"Turkey"),"Afyon"),
    cty(cid(cia,"Turkey"),"Agri"),
    cty(cid(cia,"Turkey"),"Aksaray"),
    cty(cid(cia,"Turkey"),"Amasya"),
    cty(cid(cia,"Turkey"),"Artvin"),
    cty(cid(cia,"Turkey"),"Bayburt"),
    cty(cid(cia,"Turkey"),"Bilecik"),
    cty(cid(cia,"Turkey"),"Bingol"),
    cty(cid(cia,"Turkey"),"Bitlis"),
    cty(cid(cia,"Turkey"),"Bolu"),
    cty(cid(cia,"Turkey"),"Burdur"),
    cty(cid(cia,"Turkey"),"Canakkale"),
    cty(cid(cia,"Turkey"),"Cankiri"),
    cty(cid(cia,"Turkey"),"Corum"),
    cty(cid(cia,"Turkey"),"Erzincan"),
    cty(cid(cia,"Turkey"),"Giresun"),
    cty(cid(cia,"Turkey"),"Gumushane"),
    cty(cid(cia,"Turkey"),"Hakkari"),
    cty(cid(cia,"Turkey"),"Karaman"),
    cty(cid(cia,"Turkey"),"Kars"),
    cty(cid(cia,"Turkey"),"Kastamonu"),
    cty(cid(cia,"Turkey"),"Kirklareli"),
    cty(cid(cia,"Turkey"),"Kirsehir"),
    cty(cid(cia,"Turkey"),"Mardin"),
    cty(cid(cia,"Turkey"),"Mugla"),
    cty(cid(cia,"Turkey"),"Mus"),
    cty(cid(cia,"Turkey"),"Nevsehir"),
    cty(cid(cia,"Turkey"),"Nigde"),
    cty(cid(cia,"Turkey"),"Rize"),
    cty(cid(cia,"Turkey"),"Sakarya"),
    cty(cid(cia,"Turkey"),"Siirt"),
    cty(cid(cia,"Turkey"),"Sinop"),
    cty(cid(cia,"Turkey"),"Sirnak"),
    cty(cid(cia,"Turkey"),"Tekirdag"),
    cty(cid(cia,"Turkey"),"Tokat"),
    cty(cid(cia,"Turkey"),"Tunceli"),
    cty(cid(cia,"Turkey"),"Yozgat")}].

cid(cia,"Denmark") : country.
cid(cia,"Denmark") [name -> "Denmark";
  total_area -> 43070;
  population -> 5249632;
  capital -> cty("Denmark","Copenhagen");
  car_code -> "DK";
  population_growth -> #0.38;
  infant_mortality -> #4.8;
  gdp_total -> 112800;
  gdp_agri -> 3;
  gdp_ind -> #23.5;
  gdp_serv -> #73.5;
  inflation -> #2.4;
  government -> "constitutional monarchy";
  encompassed@(europe) -> 100;
  religions@("Evangelical Lutheran") -> 91;
  religions@("Protestant Roman Catholic") -> 2;
  borders@(cid(cia,"Germany")) -> 68;
  main_cities ->> {cty("Denmark","Copenhagen"),
    stadt("Aarhus","DK","DK"),
    stadt("Odense","DK","DK"),
    stadt("Aalborg","DK","DK"),
    stadt("Esbjerg","DK","DK"),
    stadt("Randers","DK","DK")}].

cid(cia,"Estonia") : country.
cid(cia,"Estonia") [name -> "Estonia";
  total_area -> 45100;
  population -> 1459428;
  capital -> cty(cid(cia,"Estonia"),"Tallinn");
  car_code -> "EW";
  population_growth -> #-1.13;
  infant_mortality -> #17.4;
  gdp_total -> 12300;
  gdp_agri -> 10;
  gdp_ind -> 37;
  gdp_serv -> 53;
  inflation -> 29;
  indep_date -> "06 09 1991";
  government -> "republic";
  encompassed@(europe) -> 100;
  ethnicgroups@("Ukrainian") -> #3.2;
  ethnicgroups@("Russian") -> #30.3;
  ethnicgroups@("Byelorussian") -> #1.8;
  ethnicgroups@("Finn") -> #1.1;
  ethnicgroups@("Estonian") -> #61.5;
  borders@(cid(cia,"Latvia")) -> 267;
  borders@(cid(cia,"Russia")) -> 290;
  main_cities ->> {cty(cid(cia,"Estonia"),"Tallinn")}].

cid(cia,"Faroe-Islands") : country.
cid(cia,"Faroe-Islands") [name -> "Faroe Islands";
  total_area -> 1400;
  population -> 43857;
  capital -> cty(cid(cia,"Faroe-Islands"),"Torshavn");
  population_growth -> #-1.8;
  infant_mortality -> #7.2;
  gdp_total -> 733;
  inflation -> #6.8;
  government -> "part of the Danish realm";
  encompassed@(europe) -> 100;
  ethnicgroups@("Scandinavian") -> #100;
  religions@("Evangelical Lutheran") -> #100;
  main_cities ->> {cty(cid(cia,"Faroe-Islands"),"Torshavn")}].

cid(cia,"Finland") : country.
cid(cia,"Finland") [name -> "Finland";
  total_area -> 337030;
  population -> 5105230;
  capital -> cty("Finland","Helsinki");
  car_code -> "SF";
  population_growth -> #0.1;
  infant_mortality -> #4.9;
  gdp_total -> 92400;
  gdp_agri -> #4.6;
  gdp_ind -> 28;
  gdp_serv -> #67.4;
  inflation -> 2;
  indep_date -> "06 12 1917";
  government -> "republic";
  encompassed@(europe) -> 100;
  religions@("Greek Orthodox") -> 1;
  religions@("Evangelical Lutheran") -> 89;
  languages@("Swedish") -> #6.3;
  languages@("Finnish") -> #93.5;
  languages@("Lapp- Russian-speaking") -> null;
  borders@(cid(cia,"Russia")) -> 1313;
  borders@(cid(cia,"Norway")) -> 729;
  borders@(cid(cia,"Sweden")) -> 586;
  adm_divs ->> {lteil("ALA","SF"),
    lteil("HAE","SF"),
    lteil("KUO","SF"),
    lteil("KYM","SF"),
    lteil("LAP","SF"),
    lteil("MIK","SF"),
    lteil("MFI","SF"),
    lteil("NKA","SF"),
    lteil("OUL","SF"),
    lteil("TUP","SF"),
    lteil("UUS","SF"),
    lteil("VAA","SF")};
  main_cities ->> {cty("Finland","Helsinki"),
    stadt("Tampere","SF","HAE"),
    stadt("Espoo","SF","UUS"),
    stadt("Lahti","SF","HAE"),
    stadt("Pori","SF","TUP"),
    stadt("Lappeenrenta","SF","KYM")}].

cid(cia,"Norway") : country.
cid(cia,"Norway") [name -> "Norway";
  total_area -> 324220;
  population -> 4383807;
  capital -> cty("Norway","Oslo");
  car_code -> "N";
  population_growth -> #0.48;
  infant_mortality -> #4.9;
  gdp_total -> 106200;
  gdp_agri -> #2.9;
  gdp_ind -> #34.7;
  gdp_serv -> #62.4;
  inflation -> #2.5;
  indep_date -> "26 10 1905";
  government -> "constitutional monarchy";
  encompassed@(europe) -> 100;
  religions@("Evangelical Lutheran") -> #87.8;
  religions@("Protestant Roman Catholic") -> #3.8;
  languages@("Norwegian") -> #100;
  borders@(cid(cia,"Russia")) -> 167;
  borders@(cid(cia,"Finland")) -> 729;
  borders@(cid(cia,"Sweden")) -> 1619;
  adm_divs ->> {lteil("OS","N"),
    lteil("AK","N"),
    lteil("OES","N"),
    lteil("HE","N"),
    lteil("OP","N"),
    lteil("BU","N"),
    lteil("VE","N"),
    lteil("TE","N"),
    lteil("AA","N"),
    lteil("VA","N"),
    lteil("RO","N"),
    lteil("HO","N"),
    lteil("SF","N"),
    lteil("MR","N"),
    lteil("ST","N"),
    lteil("NT","N"),
    lteil("NO","N"),
    lteil("TR","N"),
    lteil("FI","N")};
  main_cities ->> {cty("Norway","Oslo"),
    stadt("Hammerfest","N","FI"),
    stadt("Svolvaer","N","NO"),
    stadt("Narvik","N","NO")}].

cid(cia,"Sweden") : country.
cid(cia,"Sweden") [name -> "Sweden";
  total_area -> 449964;
  population -> 8900954;
  capital -> cty("Sweden","Stockholm");
  car_code -> "S";
  population_growth -> #0.56;
  infant_mortality -> #4.5;
  gdp_total -> 177300;
  gdp_agri -> 2;
  gdp_ind -> 27;
  gdp_serv -> 71;
  inflation -> #2.6;
  government -> "constitutional monarchy";
  encompassed@(europe) -> 100;
  ethnicgroups@("foreign-born first-generation") -> 12;
  religions@("Roman Catholic") -> #1.5;
  religions@("Evangelical Lutheran") -> 94;
  religions@("Pentecostal") -> 1;
  languages@("Swedish") -> #100;
  borders@(cid(cia,"Finland")) -> 586;
  borders@(cid(cia,"Norway")) -> 1619;
  adm_divs ->> {prov(cid(cia,"Sweden"),2),
    prov(cid(cia,"Sweden"),3),
    prov(cid(cia,"Sweden"),4),
    prov(cid(cia,"Sweden"),5),
    prov(cid(cia,"Sweden"),6),
    prov(cid(cia,"Sweden"),7),
    prov(cid(cia,"Sweden"),8),
    prov(cid(cia,"Sweden"),9),
    prov(cid(cia,"Sweden"),10),
    prov(cid(cia,"Sweden"),11),
    prov(cid(cia,"Sweden"),12),
    prov(cid(cia,"Sweden"),13),
    prov(cid(cia,"Sweden"),14),
    prov(cid(cia,"Sweden"),15),
    prov(cid(cia,"Sweden"),16),
    prov(cid(cia,"Sweden"),17),
    prov(cid(cia,"Sweden"),18),
    prov(cid(cia,"Sweden"),19),
    prov(cid(cia,"Sweden"),20),
    prov(cid(cia,"Sweden"),21),
    prov(cid(cia,"Sweden"),22),
    prov(cid(cia,"Sweden"),23),
    prov(cid(cia,"Sweden"),24),
    prov(cid(cia,"Sweden"),25)};
  main_cities ->> {cty("Sweden","Stockholm"),
    cty(cid(cia,"Sweden"),3),
    cty(cid(cia,"Sweden"),10),
    cty(cid(cia,"Sweden"),4),
    cty(cid(cia,"Sweden"),9),
    cty(cid(cia,"Sweden"),6),
    cty(cid(cia,"Sweden"),5),
    cty(cid(cia,"Sweden"),8),
    cty(cid(cia,"Sweden"),7),
    cty(cid(cia,"Sweden"),11),
    cty(cid(cia,"Sweden"),"Vanersborg"),
    cty(cid(cia,"Sweden"),"Karlskrona"),
    cty(cid(cia,"Sweden"),"Gavle"),
    cty(cid(cia,"Sweden"),"Visby"),
    cty(cid(cia,"Sweden"),"Halmstad"),
    cty(cid(cia,"Sweden"),"Ostersund"),
    cty(cid(cia,"Sweden"),"Kalmar"),
    cty(cid(cia,"Sweden"),"Falun"),
    cty(cid(cia,"Sweden"),"Kristianstad"),
    cty(cid(cia,"Sweden"),"Vaxjo"),
    cty(cid(cia,"Sweden"),"Lulea"),
    cty(cid(cia,"Sweden"),"Mariestad"),
    cty(cid(cia,"Sweden"),"Nykoping"),
    cty(cid(cia,"Sweden"),"Karlstad"),
    cty(cid(cia,"Sweden"),"Umea"),
    cty(cid(cia,"Sweden"),"Harnosand"),
    stadt("Jokkmokk","S","BD")}].

cid(cia,"Monaco") : country.
cid(cia,"Monaco") [name -> "Monaco";
  total_area -> #1.9;
  population -> 31719;
  capital -> cty(cid(cia,"Monaco"),"Monaco");
  car_code -> "MC";
  population_growth -> #0.59;
  infant_mortality -> #6.9;
  gdp_total -> 788;
  indep_date -> "01 01 1419";
  government -> "constitutional monarchy";
  encompassed@(europe) -> 100;
  ethnicgroups@("French") -> 47;
  ethnicgroups@("Italian") -> 16;
  ethnicgroups@("Monegasque") -> 16;
  religions@("Roman Catholic") -> 95;
  borders@(cid(cia,"France")) -> #4.4;
  main_cities ->> {cty(cid(cia,"Monaco"),"Monaco")}].

cid(cia,"Gibraltar") : country.
cid(cia,"Gibraltar") [name -> "Gibraltar";
  total_area -> #6.5;
  population -> 28765;
  capital -> cty("Gibraltar","Gibraltar");
  population_growth -> #0.54;
  infant_mortality -> #6.9;
  gdp_total -> 205;
  government -> "dependent territory of the UK";
  encompassed@(europe) -> 100;
  religions@("Muslim") -> 8;
  religions@("Jewish") -> 2;
  religions@("Roman Catholic") -> 74;
  religions@("Protestant") -> 11;
  borders@(cid(cia,"Spain")) -> #1.2;
  main_cities ->> {cty("Gibraltar","Gibraltar")}].

cid(cia,"Guernsey") : country.
cid(cia,"Guernsey") [name -> "Guernsey";
  total_area -> 194;
  population -> 62920;
  capital -> cty(cid(cia,"Guernsey"),"Saint-Peter-Port");
  population_growth -> #1.28;
  infant_mortality -> #9.2;
  inflation -> 7;
  government -> "British crown dependency";
  encompassed@(europe) -> 100;
  ethnicgroups@("UK Norman-French") -> #100;
  main_cities ->> {cty(cid(cia,"Guernsey"),"Saint-Peter-Port")}].

cid(cia,"Holy-See") : country.
cid(cia,"Holy-See") [name -> "Holy See";
  total_area -> #0.44;
  population -> 840;
  capital -> cty(cid(cia,"Holy-See"),"Vatican-City");
  car_code -> "V";
  indep_date -> "11 02 1929";
  government -> "monarchical sacerdotal state";
  encompassed@(europe) -> 100;
  religions@("Roman Catholic") -> #100;
  borders@(cid(cia,"Italy")) -> #3.2;
  main_cities ->> {cty(cid(cia,"Holy-See"),"Vatican-City")}].

cid(cia,"Iceland") : country.
cid(cia,"Iceland") [name -> "Iceland";
  total_area -> 103000;
  population -> 270292;
  capital -> cty("Iceland","Reykjavik");
  car_code -> "IS";
  population_growth -> #0.83;
  infant_mortality -> #4.3;
  gdp_total -> 5000;
  gdp_agri -> #9.6;
  gdp_ind -> #22.1;
  gdp_serv -> #68.3;
  inflation -> #2.5;
  indep_date -> "17 06 1944";
  government -> "republic";
  encompassed@(europe) -> 100;
  ethnicgroups@("Norwegians Celts") -> #100;
  religions@("Evangelical Lutheran") -> 96;
  religions@("Protestant Roman Catholic") -> 3;
  languages@("Icelandic") -> #100;
  main_cities ->> {cty("Iceland","Reykjavik"),
    stadt("Keflavik","IS","IS"),
    stadt("Hafnarfjoerdur","IS","IS"),
    stadt("Akureyri","IS","IS")}].

cid(cia,"Ireland") : country.
cid(cia,"Ireland") [name -> "Ireland";
  total_area -> 70280;
  population -> 3566833;
  capital -> cty("Ireland","Dublin");
  car_code -> "IRL";
  population_growth -> #-0.22;
  infant_mortality -> #6.4;
  gdp_total -> 54600;
  gdp_agri -> #6.8;
  gdp_ind -> #35.3;
  gdp_serv -> #57.9;
  inflation -> #2.8;
  indep_date -> "06 12 1921";
  government -> "republic";
  encompassed@(europe) -> 100;
  religions@("Roman Catholic") -> 93;
  religions@("Anglican") -> 3;
  main_cities ->> {cty("Ireland","Dublin")}].

cid(cia,"San-Marino") : country.
cid(cia,"San-Marino") [name -> "San Marino";
  total_area -> 60;
  population -> 24521;
  capital -> cty(cid(cia,"San-Marino"),"San-Marino");
  car_code -> "RSM";
  population_growth -> #0.82;
  infant_mortality -> #5.5;
  gdp_total -> 380;
  inflation -> #5.5;
  indep_date -> "01 01 0301";
  government -> "republic";
  encompassed@(europe) -> 100;
  religions@("Roman Catholic") -> #100;
  languages@("Italian") -> #100;
  borders@(cid(cia,"Italy")) -> 39;
  main_cities ->> {cty(cid(cia,"San-Marino"),"San-Marino")}].

cid(cia,"Jan-Mayen") : country.
cid(cia,"Jan-Mayen") [name -> "Jan Mayen";
  total_area -> 373;
  government -> "territory of Norway"].

cid(cia,"Jersey") : country.
cid(cia,"Jersey") [name -> "Jersey";
  total_area -> 117;
  population -> 87848;
  capital -> cty(cid(cia,"Jersey"),"Saint-Helier");
  population_growth -> #0.77;
  infant_mortality -> #2.7;
  government -> "British crown dependency";
  encompassed@(europe) -> 100;
  ethnicgroups@("UK Norman-French") -> #100;
  main_cities ->> {cty(cid(cia,"Jersey"),"Saint-Helier")}].

cid(cia,"Malta") : country.
cid(cia,"Malta") [name -> "Malta";
  total_area -> 320;
  population -> 375576;
  capital -> cty(cid(cia,"Malta"),"Valletta");
  car_code -> "M";
  population_growth -> #1.01;
  infant_mortality -> #6.9;
  gdp_total -> 4400;
  inflation -> 5;
  indep_date -> "21 09 1964";
  government -> "parliamentary democracy";
  encompassed@(europe) -> 100;
  religions@("Roman Catholic") -> 98;
  main_cities ->> {cty(cid(cia,"Malta"),"Valletta")}].

"Man" : string.
"Man" : literal.
"Man" : name.

cid(cia,"Man") : country.
cid(cia,"Man") [name -> "Man";
  total_area -> 588;
  population -> 73837;
  capital -> cty(cid(cia,"Man"),"Douglas");
  population_growth -> #0.94;
  infant_mortality -> #2.4;
  gdp_total -> 780;
  inflation -> 7;
  government -> "British crown dependency";
  encompassed@(europe) -> 100;
  main_cities ->> {cty(cid(cia,"Man"),"Douglas")}].

cid(cia,"Moldova") : country.
cid(cia,"Moldova") [name -> "Moldova";
  total_area -> 33700;
  population -> 4463847;
  capital -> cty(cid(cia,"Moldova"),"Chisinau");
  car_code -> "MD";
  population_growth -> #0.18;
  infant_mortality -> #47.6;
  gdp_total -> 10400;
  gdp_agri -> 33;
  gdp_ind -> 36;
  gdp_serv -> 31;
  inflation -> 24;
  indep_date -> "27 08 1991";
  government -> "republic";
  encompassed@(europe) -> 100;
  ethnicgroups@("Ukrainian") -> #13.8;
  ethnicgroups@("Russian") -> 13;
  ethnicgroups@("Jewish") -> #1.5;
  ethnicgroups@("Bulgarian") -> 2;
  ethnicgroups@("Gagauz") -> #3.5;
  ethnicgroups@("Moldavian/Romanian") -> #64.5;
  religions@("Jewish") -> #1.5;
  religions@("Eastern Orthodox") -> #98.5;
  religions@("Baptist") -> null;
  borders@(cid(cia,"Ukraine")) -> 939;
  borders@(cid(cia,"Romania")) -> 450;
  main_cities ->> {cty(cid(cia,"Moldova"),"Chisinau")}].

cid(cia,"Portugal") : country.
cid(cia,"Portugal") [name -> "Portugal";
  total_area -> 92080;
  population -> 9865114;
  capital -> cty("Portugal","Lisbon");
  car_code -> "P";
  population_growth -> #0.02;
  infant_mortality -> #7.6;
  gdp_total -> 116200;
  gdp_agri -> 6;
  gdp_ind -> #35.8;
  gdp_serv -> #58.2;
  inflation -> #4.6;
  indep_date -> "01 01 1140";
  government -> "republic";
  encompassed@(europe) -> 100;
  religions@("Roman Catholic") -> 97;
  religions@("Protestant") -> 1;
  languages@("Portuguese") -> #100;
  borders@(cid(cia,"Spain")) -> 1214;
  adm_divs ->> {prov(cid(cia,"Portugal"),2),
    prov(cid(cia,"Portugal"),3),
    prov(cid(cia,"Portugal"),4),
    prov(cid(cia,"Portugal"),5),
    prov(cid(cia,"Portugal"),6),
    prov(cid(cia,"Portugal"),7),
    prov(cid(cia,"Portugal"),8),
    prov(cid(cia,"Portugal"),9),
    prov(cid(cia,"Portugal"),10),
    prov(cid(cia,"Portugal"),11),
    prov(cid(cia,"Portugal"),12),
    prov(cid(cia,"Portugal"),13),
    prov(cid(cia,"Portugal"),14),
    prov(cid(cia,"Portugal"),15),
    prov(cid(cia,"Portugal"),16),
    prov(cid(cia,"Portugal"),17),
    prov(cid(cia,"Portugal"),18),
    prov(cid(cia,"Portugal"),19),
    prov(cid(cia,"Portugal"),21),
    prov(cid(cia,"Portugal"),22)};
  main_cities ->> {cty("Portugal","Lisbon"),
    cty(cid(cia,"Portugal"),7),
    cty(cid(cia,"Portugal"),6),
    cty(cid(cia,"Portugal"),5),
    cty(cid(cia,"Portugal"),3),
    cty(cid(cia,"Portugal"),4),
    cty(cid(cia,"Portugal"),8),
    cty(cid(cia,"Portugal"),9),
    cty(cid(cia,"Portugal"),10),
    cty(cid(cia,"Portugal"),11)}].

cid(cia,"Svalbard") : country.
cid(cia,"Svalbard") [name -> "Svalbard";
  total_area -> 62049;
  population -> 2715;
  capital -> cty(cid(cia,"Svalbard"),"Longyearbyen");
  government -> "territory of Norway administered by the Ministry of Industry";
  encompassed@(europe) -> 100;
  ethnicgroups@("Norwegian") -> 38;
  ethnicgroups@("Russian Ukrainian") -> 62;
  main_cities ->> {cty(cid(cia,"Svalbard"),"Longyearbyen")}].

cid(cia,"United-Kingdom") : country.
cid(cia,"United-Kingdom") [name -> "United Kingdom";
  total_area -> 244820;
  population -> 58489975;
  capital -> cty(cid(cia,"United-Kingdom"),2);
  car_code -> "GB";
  population_growth -> #0.22;
  infant_mortality -> #6.4;
  gdp_total -> 1138400;
  gdp_agri -> #1.7;
  gdp_ind -> #27.7;
  gdp_serv -> #70.6;
  inflation -> #3.1;
  indep_date -> "01 01 1801";
  government -> "constitutional monarchy";
  encompassed@(europe) -> 100;
  ethnicgroups@("English") -> #81.5;
  ethnicgroups@("West Indian") -> null;
  ethnicgroups@("Indian") -> null;
  ethnicgroups@("Pakistani") -> null;
  ethnicgroups@("Irish") -> #2.4;
  ethnicgroups@("Welsh") -> #1.9;
  ethnicgroups@("Scottish") -> #9.6;
  ethnicgroups@("Ulster") -> #1.8;
  borders@(cid(cia,"Ireland")) -> 360;
  adm_divs ->> {prov(cid(cia,"United-Kingdom"),2),
    prov(cid(cia,"United-Kingdom"),3),
    prov(cid(cia,"United-Kingdom"),4),
    prov(cid(cia,"United-Kingdom"),5),
    prov(cid(cia,"United-Kingdom"),6),
    prov(cid(cia,"United-Kingdom"),7),
    prov(cid(cia,"United-Kingdom"),8),
    prov(cid(cia,"United-Kingdom"),9),
    prov(cid(cia,"United-Kingdom"),10),
    prov(cid(cia,"United-Kingdom"),11),
    prov(cid(cia,"United-Kingdom"),12),
    prov(cid(cia,"United-Kingdom"),13),
    prov(cid(cia,"United-Kingdom"),14),
    prov(cid(cia,"United-Kingdom"),15),
    prov(cid(cia,"United-Kingdom"),16),
    prov(cid(cia,"United-Kingdom"),17),
    prov(cid(cia,"United-Kingdom"),18),
    prov(cid(cia,"United-Kingdom"),19),
    prov(cid(cia,"United-Kingdom"),20),
    prov(cid(cia,"United-Kingdom"),21),
    prov(cid(cia,"United-Kingdom"),22),
    prov(cid(cia,"United-Kingdom"),23),
    prov(cid(cia,"United-Kingdom"),24),
    prov(cid(cia,"United-Kingdom"),25),
    prov(cid(cia,"United-Kingdom"),26),
    prov(cid(cia,"United-Kingdom"),27),
    prov(cid(cia,"United-Kingdom"),28),
    prov(cid(cia,"United-Kingdom"),29),
    prov(cid(cia,"United-Kingdom"),30),
    prov(cid(cia,"United-Kingdom"),31),
    prov(cid(cia,"United-Kingdom"),32),
    prov(cid(cia,"United-Kingdom"),33),
    prov(cid(cia,"United-Kingdom"),34),
    prov(cid(cia,"United-Kingdom"),35),
    prov(cid(cia,"United-Kingdom"),36),
    prov(cid(cia,"United-Kingdom"),37),
    prov(cid(cia,"United-Kingdom"),38),
    prov(cid(cia,"United-Kingdom"),39),
    prov(cid(cia,"United-Kingdom"),40),
    prov(cid(cia,"United-Kingdom"),41),
    prov(cid(cia,"United-Kingdom"),42),
    prov(cid(cia,"United-Kingdom"),43),
    prov(cid(cia,"United-Kingdom"),44),
    prov(cid(cia,"United-Kingdom"),45),
    prov(cid(cia,"United-Kingdom"),46),
    prov(cid(cia,"United-Kingdom"),47),
    prov(cid(cia,"United-Kingdom"),50),
    prov(cid(cia,"United-Kingdom"),51),
    prov(cid(cia,"United-Kingdom"),52),
    prov(cid(cia,"United-Kingdom"),53),
    prov(cid(cia,"United-Kingdom"),54),
    prov(cid(cia,"United-Kingdom"),55),
    prov(cid(cia,"United-Kingdom"),56),
    prov(cid(cia,"United-Kingdom"),57),
    prov(cid(cia,"United-Kingdom"),58),
    prov(cid(cia,"United-Kingdom"),59),
    prov(cid(cia,"United-Kingdom"),62),
    prov(cid(cia,"United-Kingdom"),63),
    prov(cid(cia,"United-Kingdom"),64),
    prov(cid(cia,"United-Kingdom"),65),
    prov(cid(cia,"United-Kingdom"),66),
    prov(cid(cia,"United-Kingdom"),67),
    prov(cid(cia,"United-Kingdom"),68),
    prov(cid(cia,"United-Kingdom"),69),
    prov(cid(cia,"United-Kingdom"),70),
    prov(cid(cia,"United-Kingdom"),71),
    prov(cid(cia,"United-Kingdom"),72),
    prov(cid(cia,"United-Kingdom"),73),
    prov(cid(cia,"United-Kingdom"),74),
    prov(cid(cia,"United-Kingdom"),75),
    prov(cid(cia,"United-Kingdom"),76),
    prov(cid(cia,"United-Kingdom"),77),
    prov(cid(cia,"United-Kingdom"),78),
    prov(cid(cia,"United-Kingdom"),79),
    prov(cid(cia,"United-Kingdom"),80),
    prov(cid(cia,"United-Kingdom"),81),
    prov(cid(cia,"United-Kingdom"),82),
    prov(cid(cia,"United-Kingdom"),83),
    prov(cid(cia,"United-Kingdom"),85)};
  main_cities ->> {cty(cid(cia,"United-Kingdom"),2),
    cty(cid(cia,"United-Kingdom"),30),
    cty(cid(cia,"United-Kingdom"),9),
    cty(cid(cia,"United-Kingdom"),78),
    cty(cid(cia,"United-Kingdom"),77),
    cty(cid(cia,"United-Kingdom"),65),
    cty(cid(cia,"United-Kingdom"),104),
    cty(cid(cia,"United-Kingdom"),93),
    cty(cid(cia,"United-Kingdom"),72),
    cty(cid(cia,"United-Kingdom"),122),
    cty(cid(cia,"United-Kingdom"),116),
    cty(cid(cia,"United-Kingdom"),60),
    cty(cid(cia,"United-Kingdom"),8),
    cty(cid(cia,"United-Kingdom"),130),
    cty(cid(cia,"United-Kingdom"),80),
    cty(cid(cia,"United-Kingdom"),76),
    cty(cid(cia,"United-Kingdom"),84),
    cty(cid(cia,"United-Kingdom"),7),
    cty(cid(cia,"United-Kingdom"),87),
    cty(cid(cia,"United-Kingdom"),48),
    cty(cid(cia,"United-Kingdom"),25),
    cty(cid(cia,"United-Kingdom"),85),
    cty(cid(cia,"United-Kingdom"),35),
    cty(cid(cia,"United-Kingdom"),92),
    cty(cid(cia,"United-Kingdom"),103),
    cty(cid(cia,"United-Kingdom"),95),
    cty(cid(cia,"United-Kingdom"),3),
    cty(cid(cia,"United-Kingdom"),123),
    cty(cid(cia,"United-Kingdom"),12),
    cty(cid(cia,"United-Kingdom"),135),
    cty(cid(cia,"United-Kingdom"),134),
    cty(cid(cia,"United-Kingdom"),133),
    cty(cid(cia,"United-Kingdom"),136),
    cty(cid(cia,"United-Kingdom"),16),
    cty(cid(cia,"United-Kingdom"),46),
    cty(cid(cia,"United-Kingdom"),17),
    cty(cid(cia,"United-Kingdom"),4),
    cty(cid(cia,"United-Kingdom"),5),
    cty(cid(cia,"United-Kingdom"),6),
    cty(cid(cia,"United-Kingdom"),10),
    cty(cid(cia,"United-Kingdom"),11),
    cty(cid(cia,"United-Kingdom"),13),
    cty(cid(cia,"United-Kingdom"),14),
    cty(cid(cia,"United-Kingdom"),15),
    cty(cid(cia,"United-Kingdom"),18),
    cty(cid(cia,"United-Kingdom"),19),
    cty(cid(cia,"United-Kingdom"),20),
    cty(cid(cia,"United-Kingdom"),21),
    cty(cid(cia,"United-Kingdom"),22),
    cty(cid(cia,"United-Kingdom"),23),
    cty(cid(cia,"United-Kingdom"),24),
    cty(cid(cia,"United-Kingdom"),26),
    cty(cid(cia,"United-Kingdom"),27),
    cty(cid(cia,"United-Kingdom"),28),
    cty(cid(cia,"United-Kingdom"),29),
    cty(cid(cia,"United-Kingdom"),31),
    cty(cid(cia,"United-Kingdom"),32),
    cty(cid(cia,"United-Kingdom"),33),
    cty(cid(cia,"United-Kingdom"),34),
    cty(cid(cia,"United-Kingdom"),36),
    cty(cid(cia,"United-Kingdom"),37),
    cty(cid(cia,"United-Kingdom"),38),
    cty(cid(cia,"United-Kingdom"),39),
    cty(cid(cia,"United-Kingdom"),40),
    cty(cid(cia,"United-Kingdom"),41),
    cty(cid(cia,"United-Kingdom"),42),
    cty(cid(cia,"United-Kingdom"),43),
    cty(cid(cia,"United-Kingdom"),44),
    cty(cid(cia,"United-Kingdom"),47),
    cty(cid(cia,"United-Kingdom"),49),
    cty(cid(cia,"United-Kingdom"),50),
    cty(cid(cia,"United-Kingdom"),51),
    cty(cid(cia,"United-Kingdom"),52),
    cty(cid(cia,"United-Kingdom"),53),
    cty(cid(cia,"United-Kingdom"),54),
    cty(cid(cia,"United-Kingdom"),55),
    cty(cid(cia,"United-Kingdom"),56),
    cty(cid(cia,"United-Kingdom"),57),
    cty(cid(cia,"United-Kingdom"),58),
    cty(cid(cia,"United-Kingdom"),59),
    cty(cid(cia,"United-Kingdom"),61),
    cty(cid(cia,"United-Kingdom"),62),
    cty(cid(cia,"United-Kingdom"),63),
    cty(cid(cia,"United-Kingdom"),64),
    cty(cid(cia,"United-Kingdom"),66),
    cty(cid(cia,"United-Kingdom"),67),
    cty(cid(cia,"United-Kingdom"),68),
    cty(cid(cia,"United-Kingdom"),69),
    cty(cid(cia,"United-Kingdom"),70),
    cty(cid(cia,"United-Kingdom"),71),
    cty(cid(cia,"United-Kingdom"),73),
    cty(cid(cia,"United-Kingdom"),74),
    cty(cid(cia,"United-Kingdom"),75),
    cty(cid(cia,"United-Kingdom"),79),
    cty(cid(cia,"United-Kingdom"),81),
    cty(cid(cia,"United-Kingdom"),82),
    cty(cid(cia,"United-Kingdom"),83),
    cty(cid(cia,"United-Kingdom"),86),
    cty(cid(cia,"United-Kingdom"),88),
    cty(cid(cia,"United-Kingdom"),89),
    cty(cid(cia,"United-Kingdom"),90),
    cty(cid(cia,"United-Kingdom"),91),
    cty(cid(cia,"United-Kingdom"),94),
    cty(cid(cia,"United-Kingdom"),96),
    cty(cid(cia,"United-Kingdom"),97),
    cty(cid(cia,"United-Kingdom"),98),
    cty(cid(cia,"United-Kingdom"),99),
    cty(cid(cia,"United-Kingdom"),100),
    cty(cid(cia,"United-Kingdom"),101),
    cty(cid(cia,"United-Kingdom"),102),
    cty(cid(cia,"United-Kingdom"),105),
    cty(cid(cia,"United-Kingdom"),106),
    cty(cid(cia,"United-Kingdom"),107),
    cty(cid(cia,"United-Kingdom"),108),
    cty(cid(cia,"United-Kingdom"),109),
    cty(cid(cia,"United-Kingdom"),110),
    cty(cid(cia,"United-Kingdom"),111),
    cty(cid(cia,"United-Kingdom"),112),
    cty(cid(cia,"United-Kingdom"),113),
    cty(cid(cia,"United-Kingdom"),114),
    cty(cid(cia,"United-Kingdom"),115),
    cty(cid(cia,"United-Kingdom"),117),
    cty(cid(cia,"United-Kingdom"),118),
    cty(cid(cia,"United-Kingdom"),119),
    cty(cid(cia,"United-Kingdom"),120),
    cty(cid(cia,"United-Kingdom"),121),
    cty(cid(cia,"United-Kingdom"),124),
    cty(cid(cia,"United-Kingdom"),125),
    cty(cid(cia,"United-Kingdom"),126),
    cty(cid(cia,"United-Kingdom"),127),
    cty(cid(cia,"United-Kingdom"),128),
    cty(cid(cia,"United-Kingdom"),129),
    cty(cid(cia,"United-Kingdom"),131),
    cty(cid(cia,"United-Kingdom"),"Truro"),
    cty(cid(cia,"United-Kingdom"),"Matlock"),
    cty(cid(cia,"United-Kingdom"),"Dorchester"),
    cty(cid(cia,"United-Kingdom"),"Durham"),
    cty(cid(cia,"United-Kingdom"),"Lewes"),
    cty(cid(cia,"United-Kingdom"),"Glouchester"),
    cty(cid(cia,"United-Kingdom"),"Worcester"),
    cty(cid(cia,"United-Kingdom"),"Hertford"),
    cty(cid(cia,"United-Kingdom"),"Hull"),
    cty(cid(cia,"United-Kingdom"),"Leichester"),
    cty(cid(cia,"United-Kingdom"),"Lincoln"),
    cty(cid(cia,"United-Kingdom"),"Newcastle"),
    cty(cid(cia,"United-Kingdom"),"Northallerton"),
    cty(cid(cia,"United-Kingdom"),"Shrewsbury"),
    cty(cid(cia,"United-Kingdom"),"Taunton"),
    cty(cid(cia,"United-Kingdom"),"Kingston"),
    cty(cid(cia,"United-Kingdom"),"Trowbridge"),
    cty(cid(cia,"United-Kingdom"),"Newtown-St.-Boswells"),
    cty(cid(cia,"United-Kingdom"),"Stirling"),
    cty(cid(cia,"United-Kingdom"),"Dumfries"),
    cty(cid(cia,"United-Kingdom"),"Glenrothes"),
    cty(cid(cia,"United-Kingdom"),"Inverness"),
    cty(cid(cia,"United-Kingdom"),"Island-Areas"),
    cty(cid(cia,"United-Kingdom"),"Colwyn-Bay"),
    cty(cid(cia,"United-Kingdom"),"Llangefni"),
    cty(cid(cia,"United-Kingdom"),"Ebbw-Vale"),
    cty(cid(cia,"United-Kingdom"),"Bridgend"),
    cty(cid(cia,"United-Kingdom"),"Ystrad-Fawr"),
    cty(cid(cia,"United-Kingdom"),"Carmarthen"),
    cty(cid(cia,"United-Kingdom"),"Aberystwyth"),
    cty(cid(cia,"United-Kingdom"),"Ruthin"),
    cty(cid(cia,"United-Kingdom"),"Mold"),
    cty(cid(cia,"United-Kingdom"),"Caernarfon"),
    cty(cid(cia,"United-Kingdom"),"Merthyr-Tydfil"),
    cty(cid(cia,"United-Kingdom"),"Cwmbran"),
    cty(cid(cia,"United-Kingdom"),"Port-Talbot"),
    cty(cid(cia,"United-Kingdom"),"Haverfordwest"),
    cty(cid(cia,"United-Kingdom"),"Llandrindod-Wells"),
    cty(cid(cia,"United-Kingdom"),"Rhondda"),
    cty(cid(cia,"United-Kingdom"),"Pontypool"),
    cty(cid(cia,"United-Kingdom"),"Barry"),
    cty(cid(cia,"United-Kingdom"),"Wrexham")}].

cid(cia,"Afghanistan") : country.
cid(cia,"Afghanistan") [name -> "Afghanistan";
  total_area -> 647500;
  population -> 22664136;
  capital -> cty("Afghanistan","Kabul");
  car_code -> "AFG";
  population_growth -> #4.78;
  infant_mortality -> #149.7;
  gdp_total -> 12800;
  gdp_agri -> 65;
  gdp_ind -> 15;
  gdp_serv -> 20;
  indep_date -> "19 08 1919";
  government -> "transitional government";
  encompassed@(asia) -> 100;
  ethnicgroups@("Tajik") -> 25;
  ethnicgroups@("Pashtun") -> 38;
  ethnicgroups@("Uzbek") -> 6;
  ethnicgroups@("Hazara") -> 19;
  religions@("Sunni Muslim") -> 84;
  religions@("Shia Muslim") -> 15;
  languages@("Turkic") -> 11;
  languages@("Pashtu") -> 35;
  languages@("Afghan Persian") -> 50;
  borders@(cid(cia,"China")) -> 76;
  borders@(cid(cia,"Iran")) -> 936;
  borders@(cid(cia,"Pakistan")) -> 2430;
  borders@(cid(cia,"Tajikistan")) -> 1206;
  borders@(cid(cia,"Turkmenistan")) -> 744;
  borders@(cid(cia,"Uzbekistan")) -> 137;
  main_cities ->> {cty("Afghanistan","Kabul")}].

cid(cia,"China") : country.
cid(cia,"China") [name -> "China";
  total_area -> 9596960;
  population -> 1210004956;
  capital -> cty(cid(cia,"China"),3);
  car_code -> "TJ";
  population_growth -> #0.98;
  infant_mortality -> #39.6;
  gdp_total -> 3500000;
  gdp_agri -> 19;
  gdp_ind -> 48;
  gdp_serv -> 33;
  inflation -> #10.1;
  government -> "Communist state";
  encompassed@(asia) -> 100;
  ethnicgroups@("Han Chinese") -> #91.9;
  religions@("Muslim") -> 2;
  religions@("Christian") -> 1;
  religions@("Buddhism") -> null;
  religions@("Daoism") -> null;
  borders@(cid(cia,"Russia")) -> 3645;
  borders@(cid(cia,"Afghanistan")) -> 76;
  borders@(cid(cia,"Pakistan")) -> 523;
  borders@(cid(cia,"Tajikistan")) -> 414;
  borders@(cid(cia,"Burma")) -> 2185;
  borders@(cid(cia,"India")) -> 3380;
  borders@(cid(cia,"Bhutan")) -> 470;
  borders@(cid(cia,"Laos")) -> 423;
  borders@(cid(cia,"Vietnam")) -> 1281;
  borders@(cid(cia,"Hong-Kong")) -> 30;
  borders@(cid(cia,"Kazakstan")) -> 1533;
  borders@(cid(cia,"North-Korea")) -> 1416;
  borders@(cid(cia,"Kyrgyzstan")) -> 858;
  borders@(cid(cia,"Macau")) -> #0.34;
  borders@(cid(cia,"Mongolia")) -> 4673;
  borders@(cid(cia,"Nepal")) -> 1236;
  adm_divs ->> {prov(cid(cia,"China"),2),
    prov(cid(cia,"China"),3),
    prov(cid(cia,"China"),4),
    prov(cid(cia,"China"),5),
    prov(cid(cia,"China"),6),
    prov(cid(cia,"China"),7),
    prov(cid(cia,"China"),8),
    prov(cid(cia,"China"),9),
    prov(cid(cia,"China"),10),
    prov(cid(cia,"China"),11),
    prov(cid(cia,"China"),12),
    prov(cid(cia,"China"),13),
    prov(cid(cia,"China"),14),
    prov(cid(cia,"China"),15),
    prov(cid(cia,"China"),16),
    prov(cid(cia,"China"),17),
    prov(cid(cia,"China"),18),
    prov(cid(cia,"China"),19),
    prov(cid(cia,"China"),20),
    prov(cid(cia,"China"),21),
    prov(cid(cia,"China"),22),
    prov(cid(cia,"China"),23),
    prov(cid(cia,"China"),25),
    prov(cid(cia,"China"),26),
    prov(cid(cia,"China"),27),
    prov(cid(cia,"China"),28),
    prov(cid(cia,"China"),29),
    prov(cid(cia,"China"),31),
    prov(cid(cia,"China"),32),
    prov(cid(cia,"China"),33)};
  main_cities ->> {cty(cid(cia,"China"),3),
    cty(cid(cia,"China"),43),
    cty(cid(cia,"China"),42),
    cty(cid(cia,"China"),34),
    cty(cid(cia,"China"),246),
    cty(cid(cia,"China"),73),
    cty(cid(cia,"China"),76),
    cty(cid(cia,"China"),94),
    cty(cid(cia,"China"),120),
    cty(cid(cia,"China"),147),
    cty(cid(cia,"China"),159),
    cty(cid(cia,"China"),213),
    cty(cid(cia,"China"),257),
    cty(cid(cia,"China"),292),
    cty(cid(cia,"China"),295),
    cty(cid(cia,"China"),311),
    cty(cid(cia,"China"),45),
    cty(cid(cia,"China"),92),
    cty(cid(cia,"China"),187),
    cty(cid(cia,"China"),202),
    cty(cid(cia,"China"),207),
    cty(cid(cia,"China"),237),
    cty(cid(cia,"China"),269),
    cty(cid(cia,"China"),314),
    cty(cid(cia,"China"),23),
    cty(cid(cia,"China"),151),
    cty(cid(cia,"China"),180),
    cty(cid(cia,"China"),275),
    cty(cid(cia,"China"),318),
    cty(cid(cia,"China"),8),
    cty(cid(cia,"China"),56),
    cty(cid(cia,"China"),86),
    cty(cid(cia,"China"),105),
    cty(cid(cia,"China"),108),
    cty(cid(cia,"China"),117),
    cty(cid(cia,"China"),119),
    cty(cid(cia,"China"),121),
    cty(cid(cia,"China"),134),
    cty(cid(cia,"China"),158),
    cty(cid(cia,"China"),168),
    cty(cid(cia,"China"),188),
    cty(cid(cia,"China"),214),
    cty(cid(cia,"China"),228),
    cty(cid(cia,"China"),236),
    cty(cid(cia,"China"),280),
    cty(cid(cia,"China"),301),
    cty(cid(cia,"China"),321),
    cty(cid(cia,"China"),21),
    cty(cid(cia,"China"),97),
    cty(cid(cia,"China"),141),
    cty(cid(cia,"China"),221),
    cty(cid(cia,"China"),276),
    cty(cid(cia,"China"),309),
    cty(cid(cia,"China"),133),
    cty(cid(cia,"China"),332),
    cty(cid(cia,"China"),31),
    cty(cid(cia,"China"),24),
    cty(cid(cia,"China"),38),
    cty(cid(cia,"China"),61),
    cty(cid(cia,"China"),68),
    cty(cid(cia,"China"),95),
    cty(cid(cia,"China"),123),
    cty(cid(cia,"China"),150),
    cty(cid(cia,"China"),306),
    cty(cid(cia,"China"),313),
    cty(cid(cia,"China"),329),
    cty(cid(cia,"China"),10),
    cty(cid(cia,"China"),26),
    cty(cid(cia,"China"),48),
    cty(cid(cia,"China"),51),
    cty(cid(cia,"China"),52),
    cty(cid(cia,"China"),57),
    cty(cid(cia,"China"),63),
    cty(cid(cia,"China"),65),
    cty(cid(cia,"China"),88),
    cty(cid(cia,"China"),160),
    cty(cid(cia,"China"),167),
    cty(cid(cia,"China"),169),
    cty(cid(cia,"China"),181),
    cty(cid(cia,"China"),185),
    cty(cid(cia,"China"),211),
    cty(cid(cia,"China"),222),
    cty(cid(cia,"China"),258),
    cty(cid(cia,"China"),267),
    cty(cid(cia,"China"),277),
    cty(cid(cia,"China"),20),
    cty(cid(cia,"China"),36),
    cty(cid(cia,"China"),64),
    cty(cid(cia,"China"),70),
    cty(cid(cia,"China"),79),
    cty(cid(cia,"China"),81),
    cty(cid(cia,"China"),84),
    cty(cid(cia,"China"),152),
    cty(cid(cia,"China"),172),
    cty(cid(cia,"China"),176),
    cty(cid(cia,"China"),192),
    cty(cid(cia,"China"),217),
    cty(cid(cia,"China"),227),
    cty(cid(cia,"China"),253),
    cty(cid(cia,"China"),291),
    cty(cid(cia,"China"),298),
    cty(cid(cia,"China"),300),
    cty(cid(cia,"China"),7),
    cty(cid(cia,"China"),71),
    cty(cid(cia,"China"),82),
    cty(cid(cia,"China"),91),
    cty(cid(cia,"China"),129),
    cty(cid(cia,"China"),135),
    cty(cid(cia,"China"),153),
    cty(cid(cia,"China"),195),
    cty(cid(cia,"China"),196),
    cty(cid(cia,"China"),200),
    cty(cid(cia,"China"),226),
    cty(cid(cia,"China"),233),
    cty(cid(cia,"China"),265),
    cty(cid(cia,"China"),296),
    cty(cid(cia,"China"),304),
    cty(cid(cia,"China"),328),
    cty(cid(cia,"China"),333),
    cty(cid(cia,"China"),30),
    cty(cid(cia,"China"),67),
    cty(cid(cia,"China"),74),
    cty(cid(cia,"China"),83),
    cty(cid(cia,"China"),122),
    cty(cid(cia,"China"),124),
    cty(cid(cia,"China"),148),
    cty(cid(cia,"China"),201),
    cty(cid(cia,"China"),263),
    cty(cid(cia,"China"),284),
    cty(cid(cia,"China"),287),
    cty(cid(cia,"China"),290),
    cty(cid(cia,"China"),315),
    cty(cid(cia,"China"),319),
    cty(cid(cia,"China"),323),
    cty(cid(cia,"China"),13),
    cty(cid(cia,"China"),46),
    cty(cid(cia,"China"),47),
    cty(cid(cia,"China"),50),
    cty(cid(cia,"China"),60),
    cty(cid(cia,"China"),93),
    cty(cid(cia,"China"),103),
    cty(cid(cia,"China"),109),
    cty(cid(cia,"China"),118),
    cty(cid(cia,"China"),126),
    cty(cid(cia,"China"),155),
    cty(cid(cia,"China"),171),
    cty(cid(cia,"China"),182),
    cty(cid(cia,"China"),193),
    cty(cid(cia,"China"),206),
    cty(cid(cia,"China"),225),
    cty(cid(cia,"China"),234),
    cty(cid(cia,"China"),245),
    cty(cid(cia,"China"),283),
    cty(cid(cia,"China"),316),
    cty(cid(cia,"China"),317),
    cty(cid(cia,"China"),327),
    cty(cid(cia,"China"),337),
    cty(cid(cia,"China"),28),
    cty(cid(cia,"China"),32),
    cty(cid(cia,"China"),247),
    cty(cid(cia,"China"),77),
    cty(cid(cia,"China"),127),
    cty(cid(cia,"China"),131),
    cty(cid(cia,"China"),164),
    cty(cid(cia,"China"),223),
    cty(cid(cia,"China"),278),
    cty(cid(cia,"China"),33),
    cty(cid(cia,"China"),17),
    cty(cid(cia,"China"),69),
    cty(cid(cia,"China"),102),
    cty(cid(cia,"China"),113),
    cty(cid(cia,"China"),114),
    cty(cid(cia,"China"),156),
    cty(cid(cia,"China"),157),
    cty(cid(cia,"China"),161),
    cty(cid(cia,"China"),166),
    cty(cid(cia,"China"),175),
    cty(cid(cia,"China"),191),
    cty(cid(cia,"China"),210),
    cty(cid(cia,"China"),218),
    cty(cid(cia,"China"),261),
    cty(cid(cia,"China"),262),
    cty(cid(cia,"China"),6),
    cty(cid(cia,"China"),15),
    cty(cid(cia,"China"),25),
    cty(cid(cia,"China"),27),
    cty(cid(cia,"China"),49),
    cty(cid(cia,"China"),54),
    cty(cid(cia,"China"),58),
    cty(cid(cia,"China"),62),
    cty(cid(cia,"China"),66),
    cty(cid(cia,"China"),78),
    cty(cid(cia,"China"),98),
    cty(cid(cia,"China"),100),
    cty(cid(cia,"China"),145),
    cty(cid(cia,"China"),146),
    cty(cid(cia,"China"),163),
    cty(cid(cia,"China"),178),
    cty(cid(cia,"China"),189),
    cty(cid(cia,"China"),190),
    cty(cid(cia,"China"),335),
    cty(cid(cia,"China"),59),
    cty(cid(cia,"China"),281),
    cty(cid(cia,"China"),12),
    cty(cid(cia,"China"),104),
    cty(cid(cia,"China"),111),
    cty(cid(cia,"China"),132),
    cty(cid(cia,"China"),224),
    cty(cid(cia,"China"),259),
    cty(cid(cia,"China"),260),
    cty(cid(cia,"China"),310),
    cty(cid(cia,"China"),16),
    cty(cid(cia,"China"),14),
    cty(cid(cia,"China"),18),
    cty(cid(cia,"China"),72),
    cty(cid(cia,"China"),75),
    cty(cid(cia,"China"),89),
    cty(cid(cia,"China"),106),
    cty(cid(cia,"China"),112),
    cty(cid(cia,"China"),116),
    cty(cid(cia,"China"),128),
    cty(cid(cia,"China"),130),
    cty(cid(cia,"China"),137),
    cty(cid(cia,"China"),149),
    cty(cid(cia,"China"),177),
    cty(cid(cia,"China"),186),
    cty(cid(cia,"China"),197),
    cty(cid(cia,"China"),203),
    cty(cid(cia,"China"),243),
    cty(cid(cia,"China"),244),
    cty(cid(cia,"China"),249),
    cty(cid(cia,"China"),251),
    cty(cid(cia,"China"),264),
    cty(cid(cia,"China"),271),
    cty(cid(cia,"China"),286),
    cty(cid(cia,"China"),294),
    cty(cid(cia,"China"),299),
    cty(cid(cia,"China"),336),
    cty(cid(cia,"China"),19),
    cty(cid(cia,"China"),39),
    cty(cid(cia,"China"),99),
    cty(cid(cia,"China"),115),
    cty(cid(cia,"China"),194),
    cty(cid(cia,"China"),199),
    cty(cid(cia,"China"),268),
    cty(cid(cia,"China"),11),
    cty(cid(cia,"China"),9),
    cty(cid(cia,"China"),80),
    cty(cid(cia,"China"),87),
    cty(cid(cia,"China"),110),
    cty(cid(cia,"China"),139),
    cty(cid(cia,"China"),140),
    cty(cid(cia,"China"),143),
    cty(cid(cia,"China"),154),
    cty(cid(cia,"China"),179),
    cty(cid(cia,"China"),198),
    cty(cid(cia,"China"),204),
    cty(cid(cia,"China"),205),
    cty(cid(cia,"China"),209),
    cty(cid(cia,"China"),219),
    cty(cid(cia,"China"),240),
    cty(cid(cia,"China"),270),
    cty(cid(cia,"China"),22),
    cty(cid(cia,"China"),170),
    cty(cid(cia,"China"),215),
    cty(cid(cia,"China"),29),
    cty(cid(cia,"China"),40),
    cty(cid(cia,"China"),85),
    cty(cid(cia,"China"),165),
    cty(cid(cia,"China"),173),
    cty(cid(cia,"China"),212),
    cty(cid(cia,"China"),232),
    cty(cid(cia,"China"),241),
    cty(cid(cia,"China"),242),
    cty(cid(cia,"China"),256),
    cty(cid(cia,"China"),307),
    cty(cid(cia,"China"),322),
    cty(cid(cia,"China"),338),
    cty("China","Shanghai"),
    cty(cid(cia,"China"),5),
    cty(cid(cia,"China"),4),
    cty(cid(cia,"China"),53),
    cty(cid(cia,"China"),35),
    cty(cid(cia,"China"),90),
    cty(cid(cia,"China"),107),
    cty(cid(cia,"China"),231),
    cty(cid(cia,"China"),138),
    cty(cid(cia,"China"),144),
    cty(cid(cia,"China"),208),
    cty(cid(cia,"China"),238),
    cty(cid(cia,"China"),274),
    cty(cid(cia,"China"),302),
    cty(cid(cia,"China"),37),
    cty(cid(cia,"China"),125),
    cty(cid(cia,"China"),184),
    cty(cid(cia,"China"),216),
    cty(cid(cia,"China"),220),
    cty(cid(cia,"China"),230),
    cty(cid(cia,"China"),235),
    cty(cid(cia,"China"),239),
    cty(cid(cia,"China"),41),
    cty(cid(cia,"China"),55),
    cty(cid(cia,"China"),96),
    cty(cid(cia,"China"),174),
    cty(cid(cia,"China"),101),
    cty(cid(cia,"China"),142),
    cty(cid(cia,"China"),305),
    cty(cid(cia,"China"),308),
    cty(cid(cia,"China"),312),
    cty(cid(cia,"China"),324),
    cty(cid(cia,"China"),"Xi")}].

cid(cia,"Iran") : country.
cid(cia,"Iran") [name -> "Iran";
  total_area -> 1648000;
  population -> 66094264;
  capital -> cty("Iran","Tehran");
  car_code -> "IR";
  population_growth -> #2.21;
  infant_mortality -> #52.7;
  gdp_total -> 323500;
  gdp_agri -> 21;
  gdp_ind -> 37;
  gdp_serv -> 42;
  inflation -> 60;
  indep_date -> "01 04 1979";
  government -> "theocratic republic";
  encompassed@(asia) -> 100;
  ethnicgroups@("Arab") -> 3;
  ethnicgroups@("Persian") -> 51;
  ethnicgroups@("Baloch") -> 2;
  ethnicgroups@("Azerbaijani") -> 24;
  ethnicgroups@("Kurd") -> 7;
  ethnicgroups@("Lur") -> 2;
  ethnicgroups@("Turkmen") -> 2;
  ethnicgroups@("Gilaki Mazandarani") -> 8;
  religions@("Jewish") -> null;
  religions@("Sunni Muslim") -> 10;
  religions@("Shia Muslim") -> 89;
  religions@("Christian") -> null;
  religions@("Zoroastrian") -> null;
  religions@("Bahai") -> 1;
  languages@("Turkish") -> 1;
  languages@("Kurdish") -> 9;
  languages@("Baloch") -> 1;
  languages@("Arabic") -> 1;
  languages@("Luri") -> 2;
  languages@("Persian Persian") -> 58;
  languages@("Turkic Turkic") -> 26;
  borders@(cid(cia,"Turkey")) -> 499;
  borders@(cid(cia,"Afghanistan")) -> 936;
  borders@(cid(cia,"Pakistan")) -> 909;
  borders@(cid(cia,"Turkmenistan")) -> 992;
  borders@(cid(cia,"Armenia")) -> 35;
  borders@(cid(cia,"Iraq")) -> 1458;
  adm_divs ->> {prov(cid(cia,"Iran"),2),
    prov(cid(cia,"Iran"),3),
    prov(cid(cia,"Iran"),4),
    prov(cid(cia,"Iran"),5),
    prov(cid(cia,"Iran"),6),
    prov(cid(cia,"Iran"),7),
    prov(cid(cia,"Iran"),8),
    prov(cid(cia,"Iran"),9),
    prov(cid(cia,"Iran"),10),
    prov(cid(cia,"Iran"),11),
    prov(cid(cia,"Iran"),12),
    prov(cid(cia,"Iran"),13),
    prov(cid(cia,"Iran"),14),
    prov(cid(cia,"Iran"),15),
    prov(cid(cia,"Iran"),16),
    prov(cid(cia,"Iran"),17),
    prov(cid(cia,"Iran"),18),
    prov(cid(cia,"Iran"),19),
    prov(cid(cia,"Iran"),20),
    prov(cid(cia,"Iran"),21),
    prov(cid(cia,"Iran"),22),
    prov(cid(cia,"Iran"),23),
    prov(cid(cia,"Iran"),24),
    prov(cid(cia,"Iran"),25)};
  main_cities ->> {cty("Iran","Tehran"),
    cty(cid(cia,"Iran"),14),
    cty(cid(cia,"Iran"),5),
    cty(cid(cia,"Iran"),4),
    cty(cid(cia,"Iran"),6),
    cty(cid(cia,"Iran"),17),
    cty(cid(cia,"Iran"),13),
    cty(cid(cia,"Iran"),15),
    cty(cid(cia,"Iran"),47),
    cty(cid(cia,"Iran"),18),
    cty(cid(cia,"Iran"),3),
    cty(cid(cia,"Iran"),7),
    cty(cid(cia,"Iran"),24),
    cty(cid(cia,"Iran"),23),
    cty(cid(cia,"Iran"),16),
    cty(cid(cia,"Iran"),32),
    cty(cid(cia,"Iran"),11),
    cty(cid(cia,"Iran"),20),
    cty(cid(cia,"Iran"),22),
    cty(cid(cia,"Iran"),8),
    cty(cid(cia,"Iran"),9),
    cty(cid(cia,"Iran"),10),
    cty(cid(cia,"Iran"),12),
    cty(cid(cia,"Iran"),19),
    cty(cid(cia,"Iran"),21),
    cty(cid(cia,"Iran"),25),
    cty(cid(cia,"Iran"),29),
    cty(cid(cia,"Iran"),30),
    cty(cid(cia,"Iran"),31),
    cty(cid(cia,"Iran"),33),
    cty(cid(cia,"Iran"),34),
    cty(cid(cia,"Iran"),35),
    cty(cid(cia,"Iran"),36),
    cty(cid(cia,"Iran"),37),
    cty(cid(cia,"Iran"),38),
    cty(cid(cia,"Iran"),39),
    cty(cid(cia,"Iran"),40),
    cty(cid(cia,"Iran"),41),
    cty(cid(cia,"Iran"),42),
    cty(cid(cia,"Iran"),43),
    cty(cid(cia,"Iran"),44),
    cty(cid(cia,"Iran"),45),
    cty(cid(cia,"Iran"),46),
    cty(cid(cia,"Iran"),48),
    cty(cid(cia,"Iran"),49),
    cty(cid(cia,"Iran"),50),
    cty(cid(cia,"Iran"),51),
    cty(cid(cia,"Iran"),52),
    cty(cid(cia,"Iran"),"Yasuj"),
    cty(cid(cia,"Iran"),"Bushehr"),
    cty(cid(cia,"Iran"),"Shahr-e-Kord"),
    cty(cid(cia,"Iran"),"Semnan")}].

cid(cia,"Pakistan") : country.
cid(cia,"Pakistan") [name -> "Pakistan";
  total_area -> 803940;
  population -> 129275660;
  capital -> cty(cid(cia,"Pakistan"),15);
  car_code -> "PK";
  population_growth -> #2.24;
  infant_mortality -> #96.8;
  gdp_total -> 274200;
  gdp_agri -> 24;
  gdp_ind -> 27;
  gdp_serv -> 49;
  inflation -> 13;
  indep_date -> "14 08 1947";
  government -> "republic";
  encompassed@(asia) -> 100;
  religions@("Muslim") -> 97;
  languages@("English") -> null;
  languages@("Pashtu") -> 8;
  languages@("Urdu") -> 8;
  languages@("Punjabi") -> 48;
  languages@("Sindhi") -> 12;
  languages@("Burushaski") -> null;
  languages@("Balochi") -> 3;
  languages@("Hindko") -> 2;
  languages@("Brahui") -> 1;
  languages@("Siraiki") -> 10;
  borders@(cid(cia,"Afghanistan")) -> 2430;
  borders@(cid(cia,"China")) -> 523;
  borders@(cid(cia,"Iran")) -> 909;
  borders@(cid(cia,"India")) -> 2912;
  main_cities ->> {cty(cid(cia,"Pakistan"),15),
    cty(cid(cia,"Pakistan"),9),
    cty(cid(cia,"Pakistan"),13),
    cty(cid(cia,"Pakistan"),5),
    cty("Pakistan","Lahore"),
    cty("Pakistan","Karachi"),
    cty(cid(cia,"Pakistan"),4),
    cty(cid(cia,"Pakistan"),6),
    cty(cid(cia,"Pakistan"),7),
    cty(cid(cia,"Pakistan"),8),
    cty(cid(cia,"Pakistan"),11),
    cty(cid(cia,"Pakistan"),12),
    cty(cid(cia,"Pakistan"),14),
    cty(cid(cia,"Pakistan"),16),
    cty(cid(cia,"Pakistan"),17),
    cty(cid(cia,"Pakistan"),18),
    cty(cid(cia,"Pakistan"),19),
    cty(cid(cia,"Pakistan"),20),
    cty(cid(cia,"Pakistan"),21),
    cty(cid(cia,"Pakistan"),22),
    cty(cid(cia,"Pakistan"),23),
    cty(cid(cia,"Pakistan"),24),
    cty(cid(cia,"Pakistan"),25),
    cty(cid(cia,"Pakistan"),26),
    cty(cid(cia,"Pakistan"),27),
    cty(cid(cia,"Pakistan"),28),
    cty(cid(cia,"Pakistan"),29),
    cty(cid(cia,"Pakistan"),30),
    cty(cid(cia,"Pakistan"),31),
    cty(cid(cia,"Pakistan"),32)}].

cid(cia,"Tajikistan") : country.
cid(cia,"Tajikistan") [name -> "Tajikistan";
  total_area -> 143100;
  population -> 5916373;
  capital -> cty(cid(cia,"Tajikistan"),2);
  car_code -> "TAD";
  population_growth -> #1.54;
  infant_mortality -> #113.1;
  gdp_total -> 6400;
  inflation -> 28;
  indep_date -> "09 09 1991";
  government -> "republic";
  encompassed@(asia) -> 100;
  ethnicgroups@("Russian") -> #3.5;
  ethnicgroups@("Tajik") -> #64.9;
  ethnicgroups@("Uzbek") -> 25;
  religions@("Sunni Muslim") -> 80;
  religions@("Shia Muslim") -> 5;
  borders@(cid(cia,"Afghanistan")) -> 1206;
  borders@(cid(cia,"China")) -> 414;
  borders@(cid(cia,"Uzbekistan")) -> 1161;
  borders@(cid(cia,"Kyrgyzstan")) -> 870;
  adm_divs ->> {prov(cid(cia,"Tajikistan"),2),
    prov(cid(cia,"Tajikistan"),3),
    prov(cid(cia,"Tajikistan"),4),
    prov(cid(cia,"Tajikistan"),6),
    prov(cid(cia,"Tajikistan"),9)};
  main_cities ->> {cty(cid(cia,"Tajikistan"),2),
    cty(cid(cia,"Tajikistan"),4),
    cty(cid(cia,"Tajikistan"),5),
    cty(cid(cia,"Tajikistan"),3),
    cty(cid(cia,"Tajikistan"),"Khorugh")}].

cid(cia,"Turkmenistan") : country.
cid(cia,"Turkmenistan") [name -> "Turkmenistan";
  total_area -> 488100;
  population -> 4149283;
  capital -> cty(cid(cia,"Turkmenistan"),2);
  car_code -> "TM";
  population_growth -> #1.82;
  infant_mortality -> #81.6;
  gdp_total -> 11500;
  gdp_agri -> #32.5;
  gdp_ind -> #33.4;
  gdp_serv -> #34.1;
  inflation -> 25;
  indep_date -> "27 10 1991";
  government -> "republic";
  encompassed@(asia) -> 100;
  ethnicgroups@("Russian") -> #9.8;
  ethnicgroups@("Uzbek") -> 9;
  ethnicgroups@("Turkmen") -> #73.3;
  ethnicgroups@("Kazak") -> 2;
  religions@("Muslim") -> 87;
  religions@("Eastern Orthodox") -> 11;
  languages@("Russian") -> 12;
  languages@("Uzbek") -> 9;
  languages@("Turkmen") -> 72;
  borders@(cid(cia,"Afghanistan")) -> 744;
  borders@(cid(cia,"Iran")) -> 992;
  borders@(cid(cia,"Uzbekistan")) -> 1621;
  borders@(cid(cia,"Kazakstan")) -> 379;
  adm_divs ->> {prov(cid(cia,"Turkmenistan"),2),
    prov(cid(cia,"Turkmenistan"),3),
    prov(cid(cia,"Turkmenistan"),4),
    prov(cid(cia,"Turkmenistan"),5),
    prov(cid(cia,"Turkmenistan"),6)};
  main_cities ->> {cty(cid(cia,"Turkmenistan"),2),
    cty(cid(cia,"Turkmenistan"),6),
    cty(cid(cia,"Turkmenistan"),5),
    cty(cid(cia,"Turkmenistan"),3),
    cty(cid(cia,"Turkmenistan"),4)}].

cid(cia,"Uzbekistan") : country.
cid(cia,"Uzbekistan") [name -> "Uzbekistan";
  total_area -> 447400;
  population -> 23418381;
  capital -> cty("Uzbekistan","Tashkent");
  car_code -> "UZB";
  population_growth -> #1.87;
  infant_mortality -> #79.6;
  gdp_total -> 54700;
  inflation -> #7.7;
  indep_date -> "31 08 1991";
  government -> "republic";
  encompassed@(asia) -> 100;
  ethnicgroups@("Russian") -> #8.3;
  ethnicgroups@("Tatar") -> #2.4;
  ethnicgroups@("Tajik") -> #4.7;
  ethnicgroups@("Uzbek") -> #71.4;
  ethnicgroups@("Kazak") -> #4.1;
  ethnicgroups@("Karakalpak") -> #2.1;
  religions@("Muslim") -> 88;
  religions@("Eastern Orthodox") -> 9;
  languages@("Russian") -> #14.2;
  languages@("Tajik") -> #4.4;
  languages@("Uzbek") -> #74.3;
  borders@(cid(cia,"Afghanistan")) -> 137;
  borders@(cid(cia,"Tajikistan")) -> 1161;
  borders@(cid(cia,"Turkmenistan")) -> 1621;
  borders@(cid(cia,"Kazakstan")) -> 2203;
  borders@(cid(cia,"Kyrgyzstan")) -> 1099;
  adm_divs ->> {prov(cid(cia,"Uzbekistan"),2),
    prov(cid(cia,"Uzbekistan"),3),
    prov(cid(cia,"Uzbekistan"),4),
    prov(cid(cia,"Uzbekistan"),5),
    prov(cid(cia,"Uzbekistan"),6),
    prov(cid(cia,"Uzbekistan"),7),
    prov(cid(cia,"Uzbekistan"),8),
    prov(cid(cia,"Uzbekistan"),9),
    prov(cid(cia,"Uzbekistan"),10),
    prov(cid(cia,"Uzbekistan"),11),
    prov(cid(cia,"Uzbekistan"),12),
    prov(cid(cia,"Uzbekistan"),13),
    prov(cid(cia,"Uzbekistan"),15)};
  main_cities ->> {cty("Uzbekistan","Tashkent"),
    cty(cid(cia,"Uzbekistan"),5),
    cty(cid(cia,"Uzbekistan"),6),
    cty(cid(cia,"Uzbekistan"),7),
    cty(cid(cia,"Uzbekistan"),16),
    cty(cid(cia,"Uzbekistan"),13),
    cty(cid(cia,"Uzbekistan"),4),
    cty(cid(cia,"Uzbekistan"),17),
    cty(cid(cia,"Uzbekistan"),10),
    cty(cid(cia,"Uzbekistan"),3),
    cty(cid(cia,"Uzbekistan"),9),
    cty(cid(cia,"Uzbekistan"),8),
    cty(cid(cia,"Uzbekistan"),11),
    cty(cid(cia,"Uzbekistan"),12),
    cty(cid(cia,"Uzbekistan"),14),
    cty(cid(cia,"Uzbekistan"),15),
    cty(cid(cia,"Uzbekistan"),"Guliston"),
    cty(cid(cia,"Uzbekistan"),"Termiz")}].

cid(cia,"Armenia") : country.
cid(cia,"Armenia") [name -> "Armenia";
  total_area -> 29800;
  population -> 3463574;
  capital -> cty(cid(cia,"Armenia"),"Yerevan");
  car_code -> "ARM";
  population_growth -> #0.02;
  infant_mortality -> #38.9;
  gdp_total -> 9100;
  gdp_agri -> 57;
  gdp_ind -> 36;
  gdp_serv -> 7;
  inflation -> #32.2;
  indep_date -> "28 05 1918";
  government -> "republic";
  encompassed@(asia) -> 100;
  ethnicgroups@("Russian") -> 2;
  ethnicgroups@("Armenian") -> 93;
  ethnicgroups@("Azeri") -> 3;
  religions@("Armenian Orthodox") -> 94;
  languages@("Russian") -> 2;
  languages@("Armenian") -> 96;
  borders@(cid(cia,"Turkey")) -> 268;
  borders@(cid(cia,"Iran")) -> 35;
  borders@(cid(cia,"Georgia")) -> 164;
  main_cities ->> {cty(cid(cia,"Armenia"),"Yerevan")}].

cid(cia,"Georgia") : country.
cid(cia,"Georgia") [name -> "Georgia";
  total_area -> 69700;
  population -> 5219810;
  capital -> cty("Georgia","Tbilisi");
  car_code -> "GE";
  population_growth -> #-1.02;
  infant_mortality -> #22.5;
  gdp_total -> 6200;
  gdp_agri -> #70.4;
  gdp_ind -> #10.2;
  gdp_serv -> #19.4;
  inflation -> #2.2;
  indep_date -> "09 04 1991";
  government -> "republic";
  encompassed@(asia) -> 100;
  ethnicgroups@("Russian") -> #6.3;
  ethnicgroups@("Armenian") -> #8.1;
  ethnicgroups@("Azeri") -> #5.7;
  ethnicgroups@("Georgian") -> #70.1;
  ethnicgroups@("Ossetian") -> 3;
  ethnicgroups@("Abkhaz") -> #1.8;
  religions@("Muslim") -> 11;
  religions@("Armenian Apostolic") -> 8;
  religions@("Christian Orthodox") -> 75;
  languages@("Russian") -> 9;
  languages@("Armenian") -> 7;
  languages@("Azeri") -> 6;
  languages@("Georgian") -> 71;
  borders@(cid(cia,"Russia")) -> 723;
  borders@(cid(cia,"Turkey")) -> 252;
  borders@(cid(cia,"Armenia")) -> 164;
  borders@(cid(cia,"Azerbaijan")) -> 322;
  main_cities ->> {cty("Georgia","Tbilisi")}].

cid(cia,"Ashmore-and-Cartier-Islands") : country.
cid(cia,"Ashmore-and-Cartier-Islands") [name -> "Ashmore and Cartier Islands";
  total_area -> 5;
  government -> "territory of Australia administered by the Australian Ministry for the Environment"].

cid(cia,"Azerbaijan") : country.
cid(cia,"Azerbaijan") [name -> "Azerbaijan";
  total_area -> 86600;
  population -> 7676953;
  capital -> cty(cid(cia,"Azerbaijan"),"Baku");
  car_code -> "AZ";
  population_growth -> #0.78;
  infant_mortality -> #74.5;
  gdp_total -> 11500;
  inflation -> 85;
  indep_date -> "30 08 1991";
  government -> "republic";
  encompassed@(asia) -> 100;
  ethnicgroups@("Russian") -> #2.5;
  ethnicgroups@("Armenian") -> #2.3;
  ethnicgroups@("Azeri") -> 90;
  ethnicgroups@("Dagestani Peoples") -> #3.2;
  religions@("Muslim") -> #93.4;
  religions@("Armenian Orthodox") -> #2.3;
  religions@("Russian Orthodox") -> #2.5;
  languages@("Russian") -> 3;
  languages@("Armenian") -> 2;
  languages@("Azeri") -> 89;
  borders@(cid(cia,"Russia")) -> 284;
  borders@(cid(cia,"Turkey")) -> 9;
  borders@(cid(cia,"Iran")) -> 611;
  borders@(cid(cia,"Armenia")) -> 787;
  borders@(cid(cia,"Georgia")) -> 322;
  main_cities ->> {cty(cid(cia,"Azerbaijan"),"Baku")}].

cid(cia,"Bahrain") : country.
cid(cia,"Bahrain") [name -> "Bahrain";
  total_area -> 620;
  population -> 590042;
  capital -> cty(cid(cia,"Bahrain"),"Manama");
  car_code -> "BRN";
  population_growth -> #2.27;
  infant_mortality -> #17.1;
  gdp_total -> 7300;
  inflation -> 3;
  indep_date -> "15 08 1971";
  government -> "traditional monarchy";
  encompassed@(asia) -> 100;
  ethnicgroups@("Arab") -> 10;
  ethnicgroups@("Asian") -> 13;
  ethnicgroups@("Bahraini") -> 63;
  ethnicgroups@("Iranian") -> 8;
  religions@("Sunni Muslim") -> 25;
  religions@("Shia Muslim") -> 75;
  main_cities ->> {cty(cid(cia,"Bahrain"),"Manama")}].

cid(cia,"Bangladesh") : country.
cid(cia,"Bangladesh") [name -> "Bangladesh";
  total_area -> 144000;
  population -> 123062800;
  capital -> cty(cid(cia,"Bangladesh"),2,0);
  car_code -> "BD";
  population_growth -> #1.85;
  infant_mortality -> #102.3;
  gdp_total -> 144500;
  inflation -> #4.5;
  indep_date -> "16 12 1971";
  government -> "republic";
  encompassed@(asia) -> 100;
  ethnicgroups@("Bengali") -> 98;
  religions@("Muslim") -> 83;
  religions@("Christian") -> null;
  religions@("Buddhist") -> null;
  religions@("Hindu") -> 16;
  borders@(cid(cia,"Burma")) -> 193;
  borders@(cid(cia,"India")) -> 4053;
  main_cities ->> {cty(cid(cia,"Bangladesh"),2,0),
    cty(cid(cia,"Bangladesh"),4,0),
    cty(cid(cia,"Bangladesh"),5,0),
    cty(cid(cia,"Bangladesh"),6,0),
    cty(cid(cia,"Bangladesh"),7,0),
    cty(cid(cia,"Bangladesh"),8,0),
    cty(cid(cia,"Bangladesh"),9,0),
    cty(cid(cia,"Bangladesh"),10,0),
    cty(cid(cia,"Bangladesh"),11,0),
    cty(cid(cia,"Bangladesh"),12,0),
    cty(cid(cia,"Bangladesh"),13,0),
    cty(cid(cia,"Bangladesh"),14,0),
    cty(cid(cia,"Bangladesh"),2,2),
    cty(cid(cia,"Bangladesh"),3,2),
    cty(cid(cia,"Bangladesh"),4,2),
    cty(cid(cia,"Bangladesh"),5,2),
    cty(cid(cia,"Bangladesh"),6,2),
    cty(cid(cia,"Bangladesh"),7,2),
    cty(cid(cia,"Bangladesh"),8,2),
    cty(cid(cia,"Bangladesh"),9,2),
    cty(cid(cia,"Bangladesh"),10,2),
    cty(cid(cia,"Bangladesh"),11,2),
    cty(cid(cia,"Bangladesh"),12,2),
    cty(cid(cia,"Bangladesh"),13,2),
    cty("Bangladesh","Chittagong")}].

cid(cia,"Burma") : country.
cid(cia,"Burma") [name -> "Burma";
  total_area -> 678500;
  population -> 45975625;
  capital -> cty("Burma","Rangoon");
  car_code -> "MYA";
  population_growth -> #1.84;
  infant_mortality -> #80.7;
  gdp_total -> 47000;
  gdp_agri -> 60;
  gdp_ind -> 10;
  gdp_serv -> 30;
  inflation -> 38;
  indep_date -> "04 01 1948";
  government -> "military regime";
  encompassed@(asia) -> 100;
  ethnicgroups@("Indian") -> 2;
  ethnicgroups@("Chinese") -> 3;
  ethnicgroups@("Burman") -> 68;
  ethnicgroups@("Shan") -> 9;
  ethnicgroups@("Karen") -> 7;
  ethnicgroups@("Rakhine") -> 4;
  ethnicgroups@("Mon") -> 2;
  religions@("Muslim") -> 4;
  religions@("Christian") -> 4;
  religions@("Buddhist") -> 89;
  languages@("Burmese") -> #100;
  borders@(cid(cia,"China")) -> 2185;
  borders@(cid(cia,"Bangladesh")) -> 193;
  borders@(cid(cia,"India")) -> 1463;
  borders@(cid(cia,"Laos")) -> 235;
  borders@(cid(cia,"Thailand")) -> 1800;
  adm_divs ->> {prov(cid(cia,"Burma"),2),
    prov(cid(cia,"Burma"),3),
    prov(cid(cia,"Burma"),4),
    prov(cid(cia,"Burma"),5),
    prov(cid(cia,"Burma"),6),
    prov(cid(cia,"Burma"),7),
    prov(cid(cia,"Burma"),8),
    prov(cid(cia,"Burma"),9),
    prov(cid(cia,"Burma"),10),
    prov(cid(cia,"Burma"),11),
    prov(cid(cia,"Burma"),12),
    prov(cid(cia,"Burma"),13),
    prov(cid(cia,"Burma"),14),
    prov(cid(cia,"Burma"),15)};
  main_cities ->> {cty("Burma","Rangoon"),
    cty(cid(cia,"Burma"),6),
    cty("Burma","Mandalay"),
    cty(cid(cia,"Burma"),4),
    cty(cid(cia,"Burma"),8),
    cty(cid(cia,"Burma"),7),
    cty(cid(cia,"Burma"),5),
    cty(cid(cia,"Burma"),9),
    cty(cid(cia,"Burma"),"Magway"),
    cty(cid(cia,"Burma"),"Sagaing"),
    cty(cid(cia,"Burma"),"Tavoy"),
    cty(cid(cia,"Burma"),"Hakha"),
    cty(cid(cia,"Burma"),"Myitkyina"),
    cty(cid(cia,"Burma"),"Hpa-an"),
    cty(cid(cia,"Burma"),"Loikaw")}].

cid(cia,"India") : country.
cid(cia,"India") [name -> "India";
  total_area -> 3287590;
  population -> 952107694;
  capital -> cty("India","New Delhi");
  car_code -> "IND";
  population_growth -> #1.64;
  infant_mortality -> #71.1;
  gdp_total -> 1408700;
  inflation -> 9;
  indep_date -> "15 08 1947";
  government -> "federal republic";
  encompassed@(asia) -> 100;
  ethnicgroups@("Dravidian") -> 25;
  ethnicgroups@("Indo-Aryan") -> 72;
  ethnicgroups@("Mongoloid") -> 3;
  religions@("Muslim") -> 14;
  religions@("Christian") -> #2.4;
  religions@("Buddhist") -> #0.7;
  religions@("Hindu") -> 80;
  religions@("Sikh") -> 2;
  religions@("Jains") -> #0.5;
  languages@("Hindi") -> 30;
  borders@(cid(cia,"China")) -> 3380;
  borders@(cid(cia,"Pakistan")) -> 2912;
  borders@(cid(cia,"Bangladesh")) -> 4053;
  borders@(cid(cia,"Burma")) -> 1463;
  borders@(cid(cia,"Bhutan")) -> 605;
  borders@(cid(cia,"Nepal")) -> 1690;
  adm_divs ->> {prov(cid(cia,"India"),2),
    prov(cid(cia,"India"),3),
    prov(cid(cia,"India"),4),
    prov(cid(cia,"India"),5),
    prov(cid(cia,"India"),6),
    prov(cid(cia,"India"),7),
    prov(cid(cia,"India"),8),
    prov(cid(cia,"India"),9),
    prov(cid(cia,"India"),10),
    prov(cid(cia,"India"),11),
    prov(cid(cia,"India"),12),
    prov(cid(cia,"India"),13),
    prov(cid(cia,"India"),14),
    prov(cid(cia,"India"),15),
    prov(cid(cia,"India"),16),
    prov(cid(cia,"India"),17),
    prov(cid(cia,"India"),18),
    prov(cid(cia,"India"),19),
    prov(cid(cia,"India"),20),
    prov(cid(cia,"India"),21),
    prov(cid(cia,"India"),22),
    prov(cid(cia,"India"),23),
    prov(cid(cia,"India"),24),
    prov(cid(cia,"India"),25),
    prov(cid(cia,"India"),26),
    prov(cid(cia,"India"),28),
    prov(cid(cia,"India"),29),
    prov(cid(cia,"India"),30),
    prov(cid(cia,"India"),31),
    prov(cid(cia,"India"),32),
    prov(cid(cia,"India"),33),
    prov(cid(cia,"India"),34)};
  main_cities ->> {cty("India","New Delhi"),
    cty(cid(cia,"India"),7),
    cty(cid(cia,"India"),23),
    cty(cid(cia,"India"),50),
    cty("India","Bangalore"),
    cty(cid(cia,"India"),16),
    cty(cid(cia,"India"),64),
    cty(cid(cia,"India"),14),
    cty(cid(cia,"India"),11),
    cty("India","Calcutta"),
    cty(cid(cia,"India"),2),
    cty("India","Madras"),
    cty(cid(cia,"India"),8),
    cty(cid(cia,"India"),9),
    cty("India","Nagpur"),
    cty(cid(cia,"India"),12),
    cty(cid(cia,"India"),13),
    cty(cid(cia,"India"),15),
    cty(cid(cia,"India"),17),
    cty(cid(cia,"India"),18),
    cty(cid(cia,"India"),19),
    cty(cid(cia,"India"),20),
    cty(cid(cia,"India"),21),
    cty(cid(cia,"India"),22),
    cty(cid(cia,"India"),24),
    cty(cid(cia,"India"),25),
    cty(cid(cia,"India"),26),
    cty(cid(cia,"India"),27),
    cty(cid(cia,"India"),28),
    cty(cid(cia,"India"),29),
    cty(cid(cia,"India"),30),
    cty(cid(cia,"India"),31),
    cty(cid(cia,"India"),32),
    cty(cid(cia,"India"),33),
    cty(cid(cia,"India"),34),
    cty(cid(cia,"India"),35),
    cty(cid(cia,"India"),36),
    cty(cid(cia,"India"),37),
    cty(cid(cia,"India"),38),
    cty(cid(cia,"India"),39),
    cty(cid(cia,"India"),40),
    cty(cid(cia,"India"),41),
    cty(cid(cia,"India"),42),
    cty(cid(cia,"India"),43),
    cty(cid(cia,"India"),44),
    cty(cid(cia,"India"),45),
    cty(cid(cia,"India"),46),
    cty(cid(cia,"India"),47),
    cty(cid(cia,"India"),48),
    cty(cid(cia,"India"),49),
    cty(cid(cia,"India"),51),
    cty(cid(cia,"India"),52),
    cty(cid(cia,"India"),53),
    cty(cid(cia,"India"),54),
    cty(cid(cia,"India"),55),
    cty(cid(cia,"India"),56),
    cty(cid(cia,"India"),57),
    cty(cid(cia,"India"),58),
    cty(cid(cia,"India"),59),
    cty(cid(cia,"India"),60),
    cty(cid(cia,"India"),61),
    cty(cid(cia,"India"),62),
    cty(cid(cia,"India"),63),
    cty(cid(cia,"India"),65),
    cty(cid(cia,"India"),66),
    cty(cid(cia,"India"),67),
    cty(cid(cia,"India"),68),
    cty(cid(cia,"India"),69),
    cty(cid(cia,"India"),70),
    cty(cid(cia,"India"),71),
    cty(cid(cia,"India"),72),
    cty(cid(cia,"India"),73),
    cty(cid(cia,"India"),74),
    cty(cid(cia,"India"),75),
    cty(cid(cia,"India"),76),
    cty(cid(cia,"India"),77),
    cty(cid(cia,"India"),78),
    cty(cid(cia,"India"),79),
    cty(cid(cia,"India"),80),
    cty(cid(cia,"India"),81),
    cty(cid(cia,"India"),"Itanagar"),
    cty(cid(cia,"India"),"Dispur"),
    cty(cid(cia,"India"),"Panaji"),
    cty(cid(cia,"India"),"Gandhinagar"),
    cty(cid(cia,"India"),"Simla"),
    cty("India","Bombay"),
    cty(cid(cia,"India"),"Imphal"),
    cty(cid(cia,"India"),"Shillong"),
    cty(cid(cia,"India"),"Aijal"),
    cty(cid(cia,"India"),"Kohima"),
    cty(cid(cia,"India"),"Gangtok"),
    cty(cid(cia,"India"),"Agartala"),
    cty(cid(cia,"India"),"Port-Blair"),
    cty(cid(cia,"India"),"Silvassa"),
    cty(cid(cia,"India"),"Daman"),
    cty(cid(cia,"India"),"Kavaratti"),
    cty(cid(cia,"India"),"Pondicherry"),
    stadt("Jammu","IND","JAK")}].

cid(cia,"Bhutan") : country.
cid(cia,"Bhutan") [name -> "Bhutan";
  total_area -> 47000;
  population -> 1822625;
  capital -> cty(cid(cia,"Bhutan"),"Thimphu");
  car_code -> "BHT";
  population_growth -> #2.32;
  infant_mortality -> #116.3;
  gdp_total -> 1300;
  inflation -> #8.6;
  indep_date -> "08 08 1949";
  government -> "monarchy";
  encompassed@(asia) -> 100;
  ethnicgroups@("Bhote") -> 50;
  ethnicgroups@("Nepalese") -> 35;
  religions@("Lamaistic Buddhism") -> 75;
  religions@("Indian- Nepalese-influenced Hinduism") -> 25;
  borders@(cid(cia,"China")) -> 470;
  borders@(cid(cia,"India")) -> 605;
  main_cities ->> {cty(cid(cia,"Bhutan"),"Thimphu")}].

cid(cia,"British-Indian-Ocean-Territory") : country.
cid(cia,"British-Indian-Ocean-Territory") [name -> "British Indian Ocean Territory";
  total_area -> 60;
  government -> "dependent territory of the UK"].

cid(cia,"Brunei") : country.
cid(cia,"Brunei") [name -> "Brunei";
  total_area -> 5770;
  population -> 299939;
  capital -> cty(cid(cia,"Brunei"),"Bandar-Seri-Begawan");
  car_code -> "BRU";
  population_growth -> #2.56;
  infant_mortality -> #24.2;
  gdp_total -> 4600;
  gdp_agri -> 3;
  gdp_ind -> 42;
  gdp_serv -> 55;
  inflation -> #2.4;
  indep_date -> "01 01 1984";
  government -> "constitutional sultanate";
  encompassed@(asia) -> 100;
  ethnicgroups@("Chinese") -> 20;
  ethnicgroups@("Malay") -> 64;
  religions@("Muslim") -> 63;
  religions@("Christian") -> 8;
  religions@("Buddhism") -> 14;
  borders@(cid(cia,"Malaysia")) -> 381;
  main_cities ->> {cty(cid(cia,"Brunei"),"Bandar-Seri-Begawan")}].

cid(cia,"Malaysia") : country.
cid(cia,"Malaysia") [name -> "Malaysia";
  total_area -> 329750;
  population -> 19962893;
  capital -> cty("Malaysia","Kuala Lumpur");
  car_code -> "MAL";
  population_growth -> #2.07;
  infant_mortal