test2 :-
     nl, writenl('Test 2'),
     abdemo([holds_at(f2,T)], [[],[]], R).

test4 :-
     nl, writenl('Test 4'),
     abdemo([holds_at(f4,T)], [[],[]], R).

test6 :-
     nl, writenl('Test 6'),
     abdemo([holds_at(f6,T)], [[],[]], R).

test8 :-
     nl, writenl('Test 8'),
     abdemo([holds_at(f8,T)], [[],[]], R).

test10 :-
     nl, writenl('Test 10'),
     abdemo([holds_at(f10,T)], [[],[]], R).

test12 :-
     nl, writenl('Test 12'),
     abdemo([holds_at(f12,T)], [[],[]], R).

test14 :-
     nl, writenl('Test 14'),
     abdemo([holds_at(f14,T)], [[],[]], R).

test16 :-
     nl, writenl('Test 16'),
     abdemo([holds_at(f16,T)], [[],[]], R).






axiom(initiates(a1,f1,T),[]).

axiom(initiates(a2,f2,T),[holds_at(f1,T)]).

axiom(initiates(a3,f3,T),[holds_at(f2,T)]).

axiom(initiates(a4,f4,T),[holds_at(f3,T)]).

axiom(initiates(a5,f5,T),[holds_at(f4,T)]).

axiom(initiates(a6,f6,T),[holds_at(f5,T)]).

axiom(initiates(a7,f7,T),[holds_at(f6,T)]).

axiom(initiates(a8,f8,T),[holds_at(f7,T)]).

axiom(initiates(a9,f9,T),[holds_at(f8,T)]).

axiom(initiates(a10,f10,T),[holds_at(f9,T)]).

axiom(initiates(a11,f11,T),[holds_at(f10,T)]).

axiom(initiates(a12,f12,T),[holds_at(f11,T)]).

axiom(initiates(a13,f13,T),[holds_at(f12,T)]).

axiom(initiates(a14,f14,T),[holds_at(f13,T)]).

axiom(initiates(a15,f15,T),[holds_at(f14,T)]).

axiom(initiates(a16,f16,T),[holds_at(f15,T)]).





/* Abduction policy */

abducible(dummy).

executable(a1).

executable(a2).

executable(a3).

executable(a4).

executable(a5).

executable(a6).

executable(a7).

executable(a8).

executable(a9).

executable(a10).

executable(a11).

executable(a12).

executable(a13).

executable(a14).

executable(a15).

executable(a16).