/*
 * Genesis 3
 *
 * Copyright (C) 2012-2013 James Hogan <james@albanarts.com>
 *
 * This program is free software; you can redistribute it and/or modify it under
 * the terms of the GNU General Public License as published by the Free Software
 * Foundation; either version 2 of the License, or (at your option) any later
 * version.
 *
 * This program is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
 * FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details
 * (in the file called COPYING).
 *
 *
 * Chron facts defining events, periods, genealogies, and chronological
 * constraints for Genesis 3 (in the context of the whole Bible).
 *
 */

% The fall of satan
fallen(satan, bible([genesis, 3, 1])).

% The fall of man
fallen(mankind, bible([genesis, 3, 6])).
events_ordered([fall(satan), fall(mankind)], bible([genesis, 3, 6])).
event_during(fall(mankind), lifetime(eve), bible([genesis, 3, 6])).
event_during(fall(mankind), lifetime(adam), bible([genesis, 3, 6])).

% Surpent's curse
event(curse(serpent)).
events_ordered([fall(mankind), curse(serpent)], bible([genesis, 3, 14])).

% Woman's curse
event(curse(woman)).
events_ordered([fall(mankind), curse(woman)], bible([genesis, 3, 16])).

% Man's curse
event(curse(man)).
events_ordered([fall(mankind), curse(man)], bible([genesis, 3, 17])).

% Eve was the mother of all living, but they were all fallen
events_ordered([closing_of_eden, conception(Person)],
		[flags([wide]), bible([genesis, 3, 20])]) :-
	born_person(Person).
% Use raw_ to avoid infinite recursion through person(Person).
raw_parent_descendent(eve, Person,
		[flags([wide]), bible([genesis, 3, 20])]) :-
	born_person(Person).

% Closing of the Garden of Eden
event(closing_of_eden).
events_coincide([curse(serpent), curse(woman), curse(man)], bible([genesis, 3])).
events_ordered([curse(man), closing_of_eden], bible([genesis, 3, 24])).
