-- Blue tables
create table crime(type varchar(32), sector int);
create table witness(name varchar(32), sector int);
create table person(name varchar(32), hair varchar(32), clothes varchar(32));
create table number_blue(id varchar, blue int);

-- Green tables
create trio table sawperson(witness varchar(32), hair varchar(32), clothes varchar(32), uncertain(hair, clothes)); 
create trio table number_green(id varchar, green int, uncertain(green));

-- Orange tables
create trio table drives(person varchar(32), car varchar(32), uncertain(person, car)) with confidences;
create trio table sawcar(witness varchar(32), car varchar(32), uncertain(car)) with confidences;
create trio table number_orange(id varchar, orange int, uncertain(orange)) with confidences;


insert into CRIME values ('Kidnapping', 1); 
insert into CRIME values ('Car theft', 2); 
insert into CRIME values ('Robbery', 2); 

insert into WITNESS values ('Mary', 2);
insert into WITNESS values ('Susan', 1);
insert into WITNESS values ('Jane', 1);

insert into PERSON values ('Jim', 'black', 'red');
insert into PERSON values ('Hank', 'brown', 'green');
insert into PERSON values ('Bob', 'gray', 'blue');

insert into SAWPERSON values ('Mary', 'black', ['red' | 'green']);
insert into SAWPERSON values ('Jane', 'gray', 'blue');
insert into SAWPERSON values ('Jane', 'brown', 'green') ?;
insert into SAWPERSON values [('Susan', 'gray', 'red') |('Susan', 'brown', 'red') |('Susan', 'brown', 'green')];

insert into DRIVES values [('Jim', 'Honda'):1];
insert into DRIVES values (['Hank':0.6 | 'Jim':0.3], 'Toyota':1);
insert into DRIVES values ('Bob':1, ['Toyota':0.5 | 'Mazda':0.3]);

insert into SAWCAR values [('Susan', 'Honda') :1];
insert into SAWCAR values ('Mary':1, 'Toyota':0.7);
insert into SAWCAR values [ ('Jane', 'Toyota' ) :0.5 | ('Jane', 'Honda') :0.4];

insert into number_blue values('a', 1);
insert into number_blue values('b', 2);
insert into number_blue values('b', 3);
insert into number_blue values('c', 4);
insert into number_blue values('c', 5);
insert into number_blue values('c', 6);
insert into number_blue values('a', 7);
insert into number_blue values('a', 8);
insert into number_blue values('b', 9);
insert into number_blue values('c', 10);

insert into number_green values('a', 1);
insert into number_green values('a', [2|3])?;
insert into number_green values('b', 3);
insert into number_green values('b', [4|5|6]);
insert into number_green values('c', 5);
insert into number_green values('c', 6)?;
insert into number_green values('a', [7|8]);
insert into number_green values('a', 8);
insert into number_green values('b', [8|9])?;
insert into number_green values('c', 10)?;

insert into number_orange values('a':1, 1:1);
insert into number_orange values('a':1, [2:0.4|3:0.5]);
insert into number_orange values('b':1, 3:0.6);
insert into number_orange values('b':1, [4:0.2|5:0.4|6:0.2]);
insert into number_orange values('c':1, 5:0.8);
insert into number_orange values('c':1, 6:0.2);
insert into number_orange values('a':1, [7:0.7|8:0.1]);
insert into number_orange values('a':1, 8:1);
insert into number_orange values('b':1, [8:0.2|9:0.8]);
insert into number_orange values('c':1, 10:0.2);


