%case data goes here! do that data entry, dude!

 /* Data representation
  *
  * 	Timeline
  * A branchable timeline is an instance of a linked list that can have an arbitrary number of links on each node, both has head and tail. As far as I know it's better not to express it as a tree, since then you end up storing the end twice and usually the crime itself is pretty sure (eg. dead body).
  *
  *	Objects (in OO sense):
  * all objects have one name/id, and a list of aliases (maybe empty). Also, a
  * list of relations (either to annother object's name or alias). Objects are:
  * - proper objects (so literally objects, no CS-speak). No extra properties etc.
  * - actors: objects that have a role, listed with (some of) their respective
  *   actions:
  *     - the accused [or criminal, I'd rather not make the distinction here!]
  *		killing, lying, possesing, etc.
  *	- victim
  *		dying, getting_hurt, etc.
  *	- witness
  *	 	lying, fact-reporting, opinion-speaking
  *	- none (anyone else)
  * - relation: any id to any other id. this relationship is an equivalence
  * relation, eg. it's symmetric. But for clarity facts are written with the
  * earlier event first, if there's any difference at all. For objects order
  * doesn't matter in the relationship.
  *
  * 	Trust:
  * The so called "certainty" attribute is actually better called "trust" (more
  * general), so that it applies to anything.
  *
  * This specific model is loosely inspired by GPG's ownertrust.
 
  * idea: 2 weights as much as 1, only in the reasoning it won't be considered
  * that it might be false.
  */

 % now in practice. do case...
 % Let python filter do that..?

event-time(melding1, [28, oktober, om, '21.30']).
event-whowhatwhere(melding1, ellieb, pistoolscot, alkmaar(elandstraat(12)), witness).
alias(melding1, 'De eerste melding').
trust(melding1, 3).
relation(melding1, evidence, moord1).
relation(melding1, similar, melding2).
%eg: relation(melding1, opposes, something).  ?


event(melding1, [28, oktober, om, '21.40']).
whowhatwhere(ellieb, pistoolschot alkmaar(elandstraat(12)), witness).
alias(melding1, 'De eerste melding').
trust(melding1, 3).

%etc:..... lots todo in this file!