/* Reasoning about time. Kennissystemen 2007
 * 0440949 Andreas van Cranenburgh
 * 0518808 Joris de Groot
 *
 * Data representation
 *
 * witness(Reporter, Time, [EventIds])
 *
 * event(EventId, Place, [Participants], Time).
 * Time might be relative to eg. when the emergency phonecall was made,
 * like this:
 * 	after(<eventid>) ; before(<eventid>) ; during(<eventid>)
 * Absolute times like <Hr:Min>
 */

:- dynamic(witness/3).
:- dynamic(event/4).

%witness(Reporter, Time, EventIds)
witness(ellieb, '28 oktober 21:30', [pistoolschot]).
witness(jolienh, '28 oktober 22:00', [ruzie, neergeschoten]).
witness(ellieb, '28 oktober 22:15', [pistoolschot, wegrijden, politiebellen]).
witness(charlesc, '28 oktober 22:15', [honduitlaten, wegrijden]).
witness(trudyf, '28 oktober 23:15', [grijzemercedes, jolienophalen]).
witness(barrys, '29 oktober 00:45', [pistoolschot, wegvluchten, arrestatie]).

%event(EventId, Place, [Participants], Time).
%time might be relative to eg. when the emergency phonecall was made
event(jolienophalen, alkmaar(elandstraat(10)), [henkv], 21:00).
event(honduitlaten, alkmaar(elandstraat(_)), [charlesc], 21:15).
event(pistoolschot, alkmaar(elandstraat(10)), _, 21:30).
event(wegrijden, alkmaar(elandstraat(_)), [grijzemercedes, manindonkerekleding], 21:35).
event(grijzemercedes, alkmaar(elandstraat(_)), [kenteken_vvrt61, henkv], 23:15).
event(arrestatie, alkmaar(parkeerplaats(_)), [barrys, politie], 24:30).

event(oudereman, alkmaar(elandstraat(_)), [charlesc], during(honduitlaten)).
event(ruzie, alkmaar(elandstraat(10)), [barrys, henkv], after(jolienophalen)).
event(pistoolschot, alkmaar(elandstraat(10)), [barrys, henkv], during(ruzie)).
event(neergeschoten, alkmaar(elandstraat(10)), [henkv], after(pistoolschot)).
event(neergeschoten, alkmaar(elandstraat(10)), [henkv], before(wegrijden)).
event(wegrijden, alkmaar(elandstraat(_)), [maninblauwtrainingspak], after(pistoolschot)).
event(politiebellen, alkmaar(elandstraat(12)), [ellieb], after(wegrijden)).
event(wegvluchten, alkmaar(parkeerplaats(_)), [barrys], during(wegrijden)).
event(wegvluchten, alkmaar(parkeerplaats(_)), [barrys], before(arrestatie)).

%EOF