EXAMPLE EPISODE: strat_e

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [lift,chain,loop]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [lift,chain,loop]
FINAL HYPOTHESIS FOR EPISODE: strat_e, BOUND: 3

strat_e(psgraph,A,B) :- strat_e_1(psgraph,A,C), strat_e_1(psgraph,C,B).
strat_e_1(psgraph,A,B) :- assm_type(wpred,A), assumption(tactic,A,B).
strat_e_1(psgraph,A,B) :- impI_type(wpred,A), rule_impI(tactic,A,B).

TEST ACCURACY strat_e: 0.432 secondsEXAMPLE EPISODE: strat_a

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [lift,chain,loop]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 2
TRY METARULE SET: [lift,chain,loop]
TRY CLAUSE BOUND: 4
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 2
TRY METARULE SET: [lift,chain,loop]
FINAL HYPOTHESIS FOR EPISODE: strat_a, BOUND: 4

strat_a(psgraph,A,B) :- strat_a_1(psgraph,A,C), strat_a_1(psgraph,C,B).
strat_a_1(psgraph,A,B) :- assm_type(wpred,A), assumption(tactic,A,B).
strat_a_1(psgraph,A,B) :- strat_a_2(psgraph,A,C), strat_a_2(psgraph,C,B).
strat_a_2(psgraph,A,B) :- impI_type(wpred,A), rule_impI(tactic,A,B).

TEST ACCURACY strat_a: 0.528 secondsEXAMPLE EPISODE: strat_e

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [lift,chain,loop]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [lift,chain,loop]
FINAL HYPOTHESIS FOR EPISODE: strat_e, BOUND: 3

strat_e(psgraph,A,B) :- strat_e_1(psgraph,A,C), strat_e_1(psgraph,C,B).
strat_e_1(psgraph,A,B) :- assm_type(wpred,A), assumption(tactic,A,B).
strat_e_1(psgraph,A,B) :- impI_type(wpred,A), rule_impI(tactic,A,B).

TEST ACCURACY strat_e: 0.46 secondsEXAMPLE EPISODE: strat_a

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [lift,chain,loop]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 2
TRY METARULE SET: [lift,chain,loop]
TRY CLAUSE BOUND: 4
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 2
TRY METARULE SET: [lift,chain,loop]
FINAL HYPOTHESIS FOR EPISODE: strat_a, BOUND: 4

strat_a(psgraph,A,B) :- strat_a_1(psgraph,A,C), strat_a_1(psgraph,C,B).
strat_a_1(psgraph,A,B) :- assm_type(wpred,A), assumption(tactic,A,B).
strat_a_1(psgraph,A,B) :- strat_a_2(psgraph,A,C), strat_a_2(psgraph,C,B).
strat_a_2(psgraph,A,B) :- impI_type(wpred,A), rule_impI(tactic,A,B).

TEST ACCURACY strat_a: 0.5 secondsEXAMPLE EPISODE: strat_e

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [lift,chain,loop]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [lift,chain,loop]
FINAL HYPOTHESIS FOR EPISODE: strat_e, BOUND: 3

strat_e(psgraph,A,B) :- strat_e_1(psgraph,A,C), strat_e_1(psgraph,C,B).
strat_e_1(psgraph,A,B) :- assm_type(wpred,A), assumption(tactic,A,B).
strat_e_1(psgraph,A,B) :- impI_type(wpred,A), rule_impI(tactic,A,B).

TEST ACCURACY strat_e: 0.44 secondsEXAMPLE EPISODE: strat_a

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [lift,chain,loop]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 2
TRY METARULE SET: [lift,chain,loop]
TRY CLAUSE BOUND: 4
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 2
TRY METARULE SET: [lift,chain,loop]
FINAL HYPOTHESIS FOR EPISODE: strat_a, BOUND: 4

strat_a(psgraph,A,B) :- strat_a_1(psgraph,A,C), strat_a_1(psgraph,C,B).
strat_a_1(psgraph,A,B) :- assm_type(wpred,A), assumption(tactic,A,B).
strat_a_1(psgraph,A,B) :- strat_a_2(psgraph,A,C), strat_a_2(psgraph,C,B).
strat_a_2(psgraph,A,B) :- impI_type(wpred,A), rule_impI(tactic,A,B).

TEST ACCURACY strat_a: 0.516 secondsEXAMPLE EPISODE: strat_e

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [lift,chain,loop]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [lift,chain,loop]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [lift,chain,loop]
FINAL HYPOTHESIS FOR EPISODE: strat_e, BOUND: 3

strat_e(psgraph,A,B) :- strat_e_1(psgraph,A,C), strat_e_1(psgraph,C,B).
strat_e_1(psgraph,A,B) :- assm_type(wpred,A), assumption(tactic,A,B).
strat_e_1(psgraph,A,B) :- impI_type(wpred,A), rule_impI(tactic,A,B).

TEST ACCURACY strat_e: 0.464 seconds