Start create default model: file:../poker/pair50.owl
End create default model: file:../poker/pair50.owl
Start create ont model: file:../poker/pair50.owl
End create ont model: file:../poker/pair50.owl
[Fri Jun 06 15:58:38 CEST 2008]: Abstraction builder used: class it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement with k = 1
[Fri Jun 06 15:58:38 CEST 2008]: Starting msc calculation at: Fri Jun 06 15:58:38 CEST 2008
[Fri Jun 06 15:58:38 CEST 2008]: Calculating msc no.1
[Fri Jun 06 15:58:38 CEST 2008]: Calculating msc no.2
[Fri Jun 06 15:58:38 CEST 2008]: Calculating msc no.3
[Fri Jun 06 15:58:38 CEST 2008]: Calculating msc no.4
[Fri Jun 06 15:58:38 CEST 2008]: Calculating msc no.5
[Fri Jun 06 15:58:38 CEST 2008]: Calculating msc no.6
[Fri Jun 06 15:58:38 CEST 2008]: Calculating msc no.7
[Fri Jun 06 15:58:38 CEST 2008]: Calculating msc no.8
[Fri Jun 06 15:58:38 CEST 2008]: Calculating msc no.9
[Fri Jun 06 15:58:38 CEST 2008]: Calculating msc no.10
[Fri Jun 06 15:58:38 CEST 2008]: Calculating msc no.11
[Fri Jun 06 15:58:38 CEST 2008]: Calculating msc no.12
[Fri Jun 06 15:58:38 CEST 2008]: Calculating msc no.13
[Fri Jun 06 15:58:38 CEST 2008]: Calculating msc no.14
[Fri Jun 06 15:58:38 CEST 2008]: Calculating msc no.15
[Fri Jun 06 15:58:38 CEST 2008]: Calculating msc no.16
[Fri Jun 06 15:58:38 CEST 2008]: Calculating msc no.17
[Fri Jun 06 15:58:38 CEST 2008]: Calculating msc no.18
[Fri Jun 06 15:58:38 CEST 2008]: Calculating msc no.19
[Fri Jun 06 15:58:39 CEST 2008]: Calculating msc no.20
[Fri Jun 06 15:58:39 CEST 2008]: Finished positives at: Fri Jun 06 15:58:39 CEST 2008 after 919 millisecs
[Fri Jun 06 15:58:39 CEST 2008]: Calculating msc no.1
[Fri Jun 06 15:58:39 CEST 2008]: *************************
[Fri Jun 06 15:58:39 CEST 2008]: Reformulating the problem
[Fri Jun 06 15:58:39 CEST 2008]: Abstraction builder used: class it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement with k = 2
[Fri Jun 06 15:58:39 CEST 2008]: Starting msc calculation at: Fri Jun 06 15:58:39 CEST 2008
[Fri Jun 06 15:58:39 CEST 2008]: Calculating msc no.1
[Fri Jun 06 15:58:39 CEST 2008]: Calculating msc no.2
[Fri Jun 06 15:58:39 CEST 2008]: Calculating msc no.3
[Fri Jun 06 15:58:39 CEST 2008]: Calculating msc no.4
[Fri Jun 06 15:58:39 CEST 2008]: Calculating msc no.5
[Fri Jun 06 15:58:40 CEST 2008]: Calculating msc no.6
[Fri Jun 06 15:58:40 CEST 2008]: Calculating msc no.7
[Fri Jun 06 15:58:40 CEST 2008]: Calculating msc no.8
[Fri Jun 06 15:58:40 CEST 2008]: Calculating msc no.9
[Fri Jun 06 15:58:40 CEST 2008]: Calculating msc no.10
[Fri Jun 06 15:58:40 CEST 2008]: Calculating msc no.11
[Fri Jun 06 15:58:40 CEST 2008]: Calculating msc no.12
[Fri Jun 06 15:58:40 CEST 2008]: Calculating msc no.13
[Fri Jun 06 15:58:40 CEST 2008]: Calculating msc no.14
[Fri Jun 06 15:58:40 CEST 2008]: Calculating msc no.15
[Fri Jun 06 15:58:40 CEST 2008]: Calculating msc no.16
[Fri Jun 06 15:58:41 CEST 2008]: Calculating msc no.17
[Fri Jun 06 15:58:41 CEST 2008]: Calculating msc no.18
[Fri Jun 06 15:58:41 CEST 2008]: Calculating msc no.19
[Fri Jun 06 15:58:41 CEST 2008]: Calculating msc no.20
[Fri Jun 06 15:58:41 CEST 2008]: Finished positives at: Fri Jun 06 15:58:41 CEST 2008 after 2344 millisecs
[Fri Jun 06 15:58:41 CEST 2008]: Calculating msc no.1
[Fri Jun 06 15:58:41 CEST 2008]: Calculating msc no.2
[Fri Jun 06 15:58:41 CEST 2008]: Calculating msc no.3
[Fri Jun 06 15:58:41 CEST 2008]: Calculating msc no.4
[Fri Jun 06 15:58:41 CEST 2008]: Calculating msc no.5
[Fri Jun 06 15:58:42 CEST 2008]: Calculating msc no.6
[Fri Jun 06 15:58:42 CEST 2008]: Calculating msc no.7
[Fri Jun 06 15:58:42 CEST 2008]: Calculating msc no.8
[Fri Jun 06 15:58:42 CEST 2008]: Calculating msc no.9
[Fri Jun 06 15:58:42 CEST 2008]: Calculating msc no.10
[Fri Jun 06 15:58:42 CEST 2008]: Calculating msc no.11
[Fri Jun 06 15:58:42 CEST 2008]: Calculating msc no.12
[Fri Jun 06 15:58:42 CEST 2008]: Calculating msc no.13
[Fri Jun 06 15:58:43 CEST 2008]: Calculating msc no.14
[Fri Jun 06 15:58:43 CEST 2008]: Calculating msc no.15
[Fri Jun 06 15:58:43 CEST 2008]: Calculating msc no.16
[Fri Jun 06 15:58:43 CEST 2008]: Calculating msc no.17
[Fri Jun 06 15:58:43 CEST 2008]: Calculating msc no.18
[Fri Jun 06 15:58:43 CEST 2008]: Calculating msc no.19
[Fri Jun 06 15:58:43 CEST 2008]: Calculating msc no.20
[Fri Jun 06 15:58:44 CEST 2008]: Calculating msc no.21
[Fri Jun 06 15:58:44 CEST 2008]: Calculating msc no.22
[Fri Jun 06 15:58:44 CEST 2008]: Calculating msc no.23
[Fri Jun 06 15:58:44 CEST 2008]: Calculating msc no.24
[Fri Jun 06 15:58:44 CEST 2008]: Calculating msc no.25
[Fri Jun 06 15:58:44 CEST 2008]: Calculating msc no.26
[Fri Jun 06 15:58:45 CEST 2008]: Calculating msc no.27
[Fri Jun 06 15:58:45 CEST 2008]: Calculating msc no.28
[Fri Jun 06 15:58:45 CEST 2008]: Calculating msc no.29
[Fri Jun 06 15:58:45 CEST 2008]: Checking intersection between postives and negatives
[Fri Jun 06 15:58:45 CEST 2008]: Finished msc calculation at: Fri Jun 06 15:58:45 CEST 2008 after 6276 millisecs
[Fri Jun 06 15:58:45 CEST 2008]: Learning Problem
[Fri Jun 06 15:58:45 CEST 2008]: positive size: 17
[Fri Jun 06 15:58:45 CEST 2008]: negative size: 25
[Fri Jun 06 15:58:45 CEST 2008]: Start generalization at: Fri Jun 06 15:58:45 CEST 2008
[Fri Jun 06 15:58:45 CEST 2008]: Before delta covered positives size: 3
[Fri Jun 06 15:58:45 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:58:45 CEST 2008]: Picked Generalization: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:58:45 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:58:45 CEST 2008]: Hypothesis: (and deck (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:45 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:45 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) )
[Fri Jun 06 15:58:45 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:46 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:46 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some sameRank card ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:46 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:46 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some nextRank *TOP* ) (some nextRank card ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:46 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:46 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:47 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:47 CEST 2008]: Generalization: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:47 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:58:47 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.TopDownGreedyDelta
[Fri Jun 06 15:58:49 CEST 2008]: Found a possible refinement: 1.0
[Fri Jun 06 15:58:49 CEST 2008]: Lenght: 1
[Fri Jun 06 15:58:49 CEST 2008]: Generalization: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:58:49 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:58:49 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.TopDownGreedyDelta
[Fri Jun 06 15:58:49 CEST 2008]: Found a possible refinement: 1.0
[Fri Jun 06 15:58:49 CEST 2008]: Lenght: 1
[Fri Jun 06 15:58:49 CEST 2008]: Generalization: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:58:49 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:58:49 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.DropConjunctDelta
[Fri Jun 06 15:58:49 CEST 2008]: Generalization obtained: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:58:49 CEST 2008]: It covers 0 negatives
[Fri Jun 06 15:58:49 CEST 2008]: It covers 0 positives
[Fri Jun 06 15:58:49 CEST 2008]: Generalization: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:58:49 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:58:49 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:58:49 CEST 2008]: Hypothesis: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:58:49 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:49 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:50 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:50 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some sameRank card ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:50 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:50 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some nextRank *TOP* ) (some nextRank card ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:50 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:50 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:50 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:51 CEST 2008]: Generalization: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:58:51 CEST 2008]: Residual positives size: 9
[Fri Jun 06 15:58:51 CEST 2008]: Before delta covered positives size: 2
[Fri Jun 06 15:58:51 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:58:51 CEST 2008]: Picked Generalization: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:58:51 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:58:51 CEST 2008]: Hypothesis: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:51 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:51 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some sameRank card ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:51 CEST 2008]: Generalization: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (some sameRank *TOP* ) ) (some hasCard (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:58:51 CEST 2008]: Residual positives size: 0
[Fri Jun 06 15:58:51 CEST 2008]: Finished at: Fri Jun 06 15:58:51 CEST 2008 after 6276 millisecs
Learnt concept: 

(or
	(some hasCard
		(and
			(some sameRank
				*TOP*
			)
			(some sameSuit
				*TOP*
			)
		)
	)
	(and
		deck
		(some hasCard
			(and
				card
				(some hasRank
					*TOP*
				)
				(some hasSuit
					*TOP*
				)
			)
		)
		(some hasCard
			(some sameRank
				*TOP*
			)
		)
		(some hasCard
			(some sameSuit
				*TOP*
			)
		)
	)
)

Learnt concept size: 2
Disjunct no.: 1 covers 9 examples
Disjunct no.: 2 covers 20 examples
[Fri Jun 06 15:58:52 CEST 2008]: Abstraction builder used: class it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement with k = 2
[Fri Jun 06 15:58:52 CEST 2008]: Starting msc calculation at: Fri Jun 06 15:58:52 CEST 2008
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.1
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.2
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.3
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.4
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.5
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.6
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.7
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.8
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.9
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.10
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.11
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.12
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.13
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.14
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.15
[Fri Jun 06 15:58:52 CEST 2008]: Finished positives at: Fri Jun 06 15:58:52 CEST 2008 after 2 millisecs
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.1
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.2
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.3
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.4
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.5
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.6
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.7
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.8
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.9
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.10
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.11
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.12
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.13
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.14
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.15
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.16
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.17
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.18
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.19
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.20
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.21
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.22
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.23
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.24
[Fri Jun 06 15:58:52 CEST 2008]: Calculating msc no.25
[Fri Jun 06 15:58:52 CEST 2008]: Checking intersection between postives and negatives
[Fri Jun 06 15:58:52 CEST 2008]: Finished msc calculation at: Fri Jun 06 15:58:52 CEST 2008 after 606 millisecs
[Fri Jun 06 15:58:52 CEST 2008]: Learning Problem
[Fri Jun 06 15:58:52 CEST 2008]: positive size: 13
[Fri Jun 06 15:58:52 CEST 2008]: negative size: 21
[Fri Jun 06 15:58:52 CEST 2008]: Start generalization at: Fri Jun 06 15:58:52 CEST 2008
[Fri Jun 06 15:58:52 CEST 2008]: Before delta covered positives size: 2
[Fri Jun 06 15:58:52 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:58:52 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.DropConjunctDelta
[Fri Jun 06 15:58:52 CEST 2008]: Ranking Conjuncts....
[Fri Jun 06 15:58:52 CEST 2008]: Absent conjunct need to rank it
[Fri Jun 06 15:58:53 CEST 2008]: Absent conjunct need to rank it
[Fri Jun 06 15:58:53 CEST 2008]: Absent conjunct need to rank it
[Fri Jun 06 15:58:54 CEST 2008]: Projecting...
[Fri Jun 06 15:58:55 CEST 2008]: ... Pojection finished
[Fri Jun 06 15:58:55 CEST 2008]: ...Finished Ranking Conjuncts
[Fri Jun 06 15:58:55 CEST 2008]: Covering: 0 negatives 
[Fri Jun 06 15:58:55 CEST 2008]: Covering: 2 positives 
[Fri Jun 06 15:58:55 CEST 2008]: Found a possible refinement
[Fri Jun 06 15:58:55 CEST 2008]: Previous heuristic value = 0.0 now it is = 1.0
[Fri Jun 06 15:58:55 CEST 2008]: Covering: 21 negatives 
[Fri Jun 06 15:58:55 CEST 2008]: Covering: 13 positives 
[Fri Jun 06 15:58:55 CEST 2008]: Covering: 0 negatives 
[Fri Jun 06 15:58:55 CEST 2008]: Covering: 2 positives 
[Fri Jun 06 15:58:55 CEST 2008]: Generalization obtained: (and (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) deck )
[Fri Jun 06 15:58:55 CEST 2008]: It covers 0 negatives
[Fri Jun 06 15:58:55 CEST 2008]: It covers 2 positives
[Fri Jun 06 15:58:55 CEST 2008]: Generalization: (and (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) deck )
[Fri Jun 06 15:58:55 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:58:55 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:58:55 CEST 2008]: Hypothesis: (and (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) deck )
[Fri Jun 06 15:58:55 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:56 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:56 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:56 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:56 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some sameRank card ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:56 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some nextRank *TOP* ) (some nextRank card ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:56 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:56 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:56 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:57 CEST 2008]: Generalization: (and (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) ) deck )
[Fri Jun 06 15:58:57 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:58:57 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:58:57 CEST 2008]: Hypothesis: (and (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) ) deck )
[Fri Jun 06 15:58:57 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:57 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:57 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:57 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some sameRank card ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:57 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some nextRank *TOP* ) (some nextRank card ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:57 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:57 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:58 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:58 CEST 2008]: Generalization: (and (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) ) deck )
[Fri Jun 06 15:58:58 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:58:58 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.TopDownGreedyDelta
[Fri Jun 06 15:58:58 CEST 2008]: Found a possible refinement: 1.0
[Fri Jun 06 15:58:58 CEST 2008]: Lenght: 1
[Fri Jun 06 15:58:58 CEST 2008]: Generalization: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:58:58 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:58:58 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.TopDownGreedyDelta
[Fri Jun 06 15:58:59 CEST 2008]: Found a possible refinement: 1.0
[Fri Jun 06 15:58:59 CEST 2008]: Lenght: 1
[Fri Jun 06 15:58:59 CEST 2008]: Generalization: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:58:59 CEST 2008]: Residual positives size: 8
[Fri Jun 06 15:58:59 CEST 2008]: Before delta covered positives size: 2
[Fri Jun 06 15:58:59 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:58:59 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:58:59 CEST 2008]: Hypothesis: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:59 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:59 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some sameRank card ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:58:59 CEST 2008]: Generalization: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (some sameRank *TOP* ) ) (some hasCard (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:58:59 CEST 2008]: Residual positives size: 0
[Fri Jun 06 15:58:59 CEST 2008]: Finished at: Fri Jun 06 15:58:59 CEST 2008 after 7137 millisecs
True positive size: 5 out of 5
True negatives size: 4 out of 4
[Fri Jun 06 15:59:00 CEST 2008]: Abstraction builder used: class it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement with k = 2
[Fri Jun 06 15:59:00 CEST 2008]: Starting msc calculation at: Fri Jun 06 15:59:00 CEST 2008
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.1
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.2
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.3
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.4
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.5
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.6
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.7
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.8
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.9
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.10
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.11
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.12
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.13
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.14
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.15
[Fri Jun 06 15:59:00 CEST 2008]: Finished positives at: Fri Jun 06 15:59:00 CEST 2008 after 2 millisecs
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.1
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.2
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.3
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.4
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.5
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.6
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.7
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.8
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.9
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.10
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.11
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.12
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.13
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.14
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.15
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.16
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.17
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.18
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.19
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.20
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.21
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.22
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.23
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.24
[Fri Jun 06 15:59:00 CEST 2008]: Calculating msc no.25
[Fri Jun 06 15:59:00 CEST 2008]: Checking intersection between postives and negatives
[Fri Jun 06 15:59:00 CEST 2008]: Finished msc calculation at: Fri Jun 06 15:59:00 CEST 2008 after 616 millisecs
[Fri Jun 06 15:59:00 CEST 2008]: Learning Problem
[Fri Jun 06 15:59:00 CEST 2008]: positive size: 13
[Fri Jun 06 15:59:00 CEST 2008]: negative size: 21
[Fri Jun 06 15:59:00 CEST 2008]: Start generalization at: Fri Jun 06 15:59:00 CEST 2008
[Fri Jun 06 15:59:00 CEST 2008]: Before delta covered positives size: 7
[Fri Jun 06 15:59:00 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:00 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.DropConjunctDelta
[Fri Jun 06 15:59:00 CEST 2008]: Ranking Conjuncts....
[Fri Jun 06 15:59:00 CEST 2008]: Absent conjunct need to rank it
[Fri Jun 06 15:59:00 CEST 2008]: Absent conjunct need to rank it
[Fri Jun 06 15:59:01 CEST 2008]: Absent conjunct need to rank it
[Fri Jun 06 15:59:02 CEST 2008]: Projecting...
[Fri Jun 06 15:59:03 CEST 2008]: ... Pojection finished
[Fri Jun 06 15:59:03 CEST 2008]: ...Finished Ranking Conjuncts
[Fri Jun 06 15:59:03 CEST 2008]: Covering: 0 negatives 
[Fri Jun 06 15:59:03 CEST 2008]: Covering: 7 positives 
[Fri Jun 06 15:59:03 CEST 2008]: Found a possible refinement
[Fri Jun 06 15:59:03 CEST 2008]: Previous heuristic value = 0.0 now it is = 1.0
[Fri Jun 06 15:59:03 CEST 2008]: Covering: 21 negatives 
[Fri Jun 06 15:59:03 CEST 2008]: Covering: 13 positives 
[Fri Jun 06 15:59:03 CEST 2008]: Covering: 0 negatives 
[Fri Jun 06 15:59:03 CEST 2008]: Covering: 7 positives 
[Fri Jun 06 15:59:03 CEST 2008]: Generalization obtained: (and (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) deck )
[Fri Jun 06 15:59:03 CEST 2008]: It covers 0 negatives
[Fri Jun 06 15:59:03 CEST 2008]: It covers 7 positives
[Fri Jun 06 15:59:03 CEST 2008]: Generalization: (and (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) deck )
[Fri Jun 06 15:59:03 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:03 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:59:03 CEST 2008]: Hypothesis: (and (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) deck )
[Fri Jun 06 15:59:03 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:03 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:04 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some sameRank card ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:04 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:04 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:04 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:04 CEST 2008]: Generalization: (and (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) deck )
[Fri Jun 06 15:59:04 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:04 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.TopDownGreedyDelta
[Fri Jun 06 15:59:05 CEST 2008]: Found a possible refinement: 1.0
[Fri Jun 06 15:59:05 CEST 2008]: Lenght: 1
[Fri Jun 06 15:59:05 CEST 2008]: Generalization: (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:05 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:05 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.TopDownGreedyDelta
[Fri Jun 06 15:59:06 CEST 2008]: Found a possible refinement: 1.0
[Fri Jun 06 15:59:06 CEST 2008]: Lenght: 1
[Fri Jun 06 15:59:06 CEST 2008]: Generalization: (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:06 CEST 2008]: Residual positives size: 6
[Fri Jun 06 15:59:06 CEST 2008]: Before delta covered positives size: 2
[Fri Jun 06 15:59:06 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:06 CEST 2008]: Picked Generalization: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:59:06 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:59:06 CEST 2008]: Hypothesis: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:06 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some sameRank card ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:06 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:06 CEST 2008]: Generalization: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (some sameRank *TOP* ) ) (some hasCard (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:06 CEST 2008]: Residual positives size: 0
[Fri Jun 06 15:59:06 CEST 2008]: Finished at: Fri Jun 06 15:59:06 CEST 2008 after 5939 millisecs
True positive size: 5 out of 5
True negatives size: 4 out of 4
[Fri Jun 06 15:59:06 CEST 2008]: Abstraction builder used: class it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement with k = 2
[Fri Jun 06 15:59:06 CEST 2008]: Starting msc calculation at: Fri Jun 06 15:59:06 CEST 2008
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.1
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.2
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.3
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.4
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.5
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.6
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.7
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.8
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.9
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.10
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.11
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.12
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.13
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.14
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.15
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.16
[Fri Jun 06 15:59:06 CEST 2008]: Finished positives at: Fri Jun 06 15:59:06 CEST 2008 after 1 millisecs
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.1
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.2
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.3
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.4
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.5
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.6
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.7
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.8
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.9
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.10
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.11
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.12
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.13
[Fri Jun 06 15:59:06 CEST 2008]: Calculating msc no.14
[Fri Jun 06 15:59:07 CEST 2008]: Calculating msc no.15
[Fri Jun 06 15:59:07 CEST 2008]: Calculating msc no.16
[Fri Jun 06 15:59:07 CEST 2008]: Calculating msc no.17
[Fri Jun 06 15:59:07 CEST 2008]: Calculating msc no.18
[Fri Jun 06 15:59:07 CEST 2008]: Calculating msc no.19
[Fri Jun 06 15:59:07 CEST 2008]: Calculating msc no.20
[Fri Jun 06 15:59:07 CEST 2008]: Calculating msc no.21
[Fri Jun 06 15:59:07 CEST 2008]: Calculating msc no.22
[Fri Jun 06 15:59:07 CEST 2008]: Calculating msc no.23
[Fri Jun 06 15:59:07 CEST 2008]: Calculating msc no.24
[Fri Jun 06 15:59:07 CEST 2008]: Checking intersection between postives and negatives
[Fri Jun 06 15:59:07 CEST 2008]: Finished msc calculation at: Fri Jun 06 15:59:07 CEST 2008 after 634 millisecs
[Fri Jun 06 15:59:07 CEST 2008]: Learning Problem
[Fri Jun 06 15:59:07 CEST 2008]: positive size: 15
[Fri Jun 06 15:59:07 CEST 2008]: negative size: 22
[Fri Jun 06 15:59:07 CEST 2008]: Start generalization at: Fri Jun 06 15:59:07 CEST 2008
[Fri Jun 06 15:59:07 CEST 2008]: Before delta covered positives size: 3
[Fri Jun 06 15:59:07 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:07 CEST 2008]: Picked Generalization: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:59:07 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:59:07 CEST 2008]: Hypothesis: (and deck (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:07 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:07 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:07 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:07 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some sameRank card ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:08 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:08 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some nextRank *TOP* ) (some nextRank card ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:08 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:08 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:08 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:08 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:09 CEST 2008]: Generalization: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:09 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:09 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:59:09 CEST 2008]: Hypothesis: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:09 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:09 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:09 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:09 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some sameRank card ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:09 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some nextRank *TOP* ) (some nextRank card ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:10 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:10 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:10 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:10 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:10 CEST 2008]: Generalization: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:10 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:10 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.DropConjunctDelta
[Fri Jun 06 15:59:10 CEST 2008]: Ranking Conjuncts....
[Fri Jun 06 15:59:10 CEST 2008]: Absent conjunct need to rank it
[Fri Jun 06 15:59:10 CEST 2008]: Absent conjunct need to rank it
[Fri Jun 06 15:59:11 CEST 2008]: Absent conjunct need to rank it
[Fri Jun 06 15:59:12 CEST 2008]: Projecting...
[Fri Jun 06 15:59:13 CEST 2008]: ... Pojection finished
[Fri Jun 06 15:59:13 CEST 2008]: ...Finished Ranking Conjuncts
[Fri Jun 06 15:59:13 CEST 2008]: Covering: 0 negatives 
[Fri Jun 06 15:59:13 CEST 2008]: Covering: 6 positives 
[Fri Jun 06 15:59:13 CEST 2008]: Found a possible refinement
[Fri Jun 06 15:59:13 CEST 2008]: Previous heuristic value = 0.0 now it is = 1.0
[Fri Jun 06 15:59:13 CEST 2008]: Covering: 22 negatives 
[Fri Jun 06 15:59:13 CEST 2008]: Covering: 15 positives 
[Fri Jun 06 15:59:13 CEST 2008]: Covering: 0 negatives 
[Fri Jun 06 15:59:13 CEST 2008]: Covering: 6 positives 
[Fri Jun 06 15:59:13 CEST 2008]: Generalization obtained: (and (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) ) deck )
[Fri Jun 06 15:59:13 CEST 2008]: It covers 0 negatives
[Fri Jun 06 15:59:13 CEST 2008]: It covers 6 positives
[Fri Jun 06 15:59:13 CEST 2008]: Generalization: (and (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) ) deck )
[Fri Jun 06 15:59:13 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:13 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.DropConjunctDelta
[Fri Jun 06 15:59:13 CEST 2008]: Ranking Conjuncts....
[Fri Jun 06 15:59:13 CEST 2008]: Cache hit
[Fri Jun 06 15:59:13 CEST 2008]: Cache hit
[Fri Jun 06 15:59:13 CEST 2008]: Projecting...
[Fri Jun 06 15:59:13 CEST 2008]: ... Pojection finished
[Fri Jun 06 15:59:13 CEST 2008]: ...Finished Ranking Conjuncts
[Fri Jun 06 15:59:13 CEST 2008]: Covering: 22 negatives 
[Fri Jun 06 15:59:13 CEST 2008]: Covering: 15 positives 
[Fri Jun 06 15:59:13 CEST 2008]: Found a possible refinement
[Fri Jun 06 15:59:13 CEST 2008]: Previous heuristic value = 0.0 now it is = 0.40540540540540543
[Fri Jun 06 15:59:13 CEST 2008]: Covering: 0 negatives 
[Fri Jun 06 15:59:13 CEST 2008]: Covering: 6 positives 
[Fri Jun 06 15:59:13 CEST 2008]: Found a possible refinement
[Fri Jun 06 15:59:13 CEST 2008]: Previous heuristic value = 0.40540540540540543 now it is = 1.0
[Fri Jun 06 15:59:13 CEST 2008]: Generalization obtained: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:13 CEST 2008]: It covers 0 negatives
[Fri Jun 06 15:59:13 CEST 2008]: It covers 6 positives
[Fri Jun 06 15:59:13 CEST 2008]: Generalization: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:13 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:13 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.DropConjunctDelta
[Fri Jun 06 15:59:13 CEST 2008]: Generalization obtained: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:13 CEST 2008]: It covers 0 negatives
[Fri Jun 06 15:59:13 CEST 2008]: It covers 0 positives
[Fri Jun 06 15:59:13 CEST 2008]: Generalization: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:13 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:13 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.TopDownGreedyDelta
[Fri Jun 06 15:59:14 CEST 2008]: Found a possible refinement: 1.0
[Fri Jun 06 15:59:14 CEST 2008]: Lenght: 1
[Fri Jun 06 15:59:14 CEST 2008]: Generalization: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:14 CEST 2008]: Residual positives size: 9
[Fri Jun 06 15:59:14 CEST 2008]: Before delta covered positives size: 2
[Fri Jun 06 15:59:14 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:14 CEST 2008]: Picked Generalization: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:59:14 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:59:14 CEST 2008]: Hypothesis: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:14 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:14 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some sameRank card ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:14 CEST 2008]: Generalization: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (some sameRank *TOP* ) ) (some hasCard (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:14 CEST 2008]: Residual positives size: 0
[Fri Jun 06 15:59:14 CEST 2008]: Finished at: Fri Jun 06 15:59:14 CEST 2008 after 7514 millisecs
True positive size: 4 out of 4
True negatives size: 5 out of 5
[Fri Jun 06 15:59:14 CEST 2008]: Abstraction builder used: class it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement with k = 2
[Fri Jun 06 15:59:14 CEST 2008]: Starting msc calculation at: Fri Jun 06 15:59:14 CEST 2008
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.1
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.2
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.3
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.4
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.5
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.6
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.7
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.8
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.9
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.10
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.11
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.12
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.13
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.14
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.15
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.16
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.17
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.18
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.19
[Fri Jun 06 15:59:14 CEST 2008]: Finished positives at: Fri Jun 06 15:59:14 CEST 2008 after 1 millisecs
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.1
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.2
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.3
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.4
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.5
[Fri Jun 06 15:59:14 CEST 2008]: Calculating msc no.6
[Fri Jun 06 15:59:15 CEST 2008]: Calculating msc no.7
[Fri Jun 06 15:59:15 CEST 2008]: Calculating msc no.8
[Fri Jun 06 15:59:15 CEST 2008]: Calculating msc no.9
[Fri Jun 06 15:59:15 CEST 2008]: Calculating msc no.10
[Fri Jun 06 15:59:15 CEST 2008]: Calculating msc no.11
[Fri Jun 06 15:59:15 CEST 2008]: Calculating msc no.12
[Fri Jun 06 15:59:15 CEST 2008]: Calculating msc no.13
[Fri Jun 06 15:59:15 CEST 2008]: Calculating msc no.14
[Fri Jun 06 15:59:15 CEST 2008]: Calculating msc no.15
[Fri Jun 06 15:59:15 CEST 2008]: Calculating msc no.16
[Fri Jun 06 15:59:15 CEST 2008]: Calculating msc no.17
[Fri Jun 06 15:59:15 CEST 2008]: Calculating msc no.18
[Fri Jun 06 15:59:15 CEST 2008]: Calculating msc no.19
[Fri Jun 06 15:59:15 CEST 2008]: Calculating msc no.20
[Fri Jun 06 15:59:15 CEST 2008]: Calculating msc no.21
[Fri Jun 06 15:59:15 CEST 2008]: Checking intersection between postives and negatives
[Fri Jun 06 15:59:15 CEST 2008]: Finished msc calculation at: Fri Jun 06 15:59:15 CEST 2008 after 583 millisecs
[Fri Jun 06 15:59:15 CEST 2008]: Learning Problem
[Fri Jun 06 15:59:15 CEST 2008]: positive size: 16
[Fri Jun 06 15:59:15 CEST 2008]: negative size: 18
[Fri Jun 06 15:59:15 CEST 2008]: Start generalization at: Fri Jun 06 15:59:15 CEST 2008
[Fri Jun 06 15:59:15 CEST 2008]: Before delta covered positives size: 3
[Fri Jun 06 15:59:15 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:15 CEST 2008]: Picked Generalization: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:59:15 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:59:15 CEST 2008]: Hypothesis: (and deck (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:15 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:15 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:16 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:16 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:16 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some sameRank card ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:16 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some nextRank *TOP* ) (some nextRank card ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:16 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:16 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:16 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:17 CEST 2008]: Generalization: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:17 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:17 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.DropConjunctDelta
[Fri Jun 06 15:59:17 CEST 2008]: Ranking Conjuncts....
[Fri Jun 06 15:59:17 CEST 2008]: Absent conjunct need to rank it
[Fri Jun 06 15:59:17 CEST 2008]: Absent conjunct need to rank it
[Fri Jun 06 15:59:18 CEST 2008]: Absent conjunct need to rank it
[Fri Jun 06 15:59:18 CEST 2008]: Projecting...
[Fri Jun 06 15:59:19 CEST 2008]: ... Pojection finished
[Fri Jun 06 15:59:19 CEST 2008]: ...Finished Ranking Conjuncts
[Fri Jun 06 15:59:19 CEST 2008]: Covering: 0 negatives 
[Fri Jun 06 15:59:19 CEST 2008]: Covering: 8 positives 
[Fri Jun 06 15:59:19 CEST 2008]: Found a possible refinement
[Fri Jun 06 15:59:19 CEST 2008]: Previous heuristic value = 0.0 now it is = 1.0
[Fri Jun 06 15:59:19 CEST 2008]: Covering: 18 negatives 
[Fri Jun 06 15:59:19 CEST 2008]: Covering: 16 positives 
[Fri Jun 06 15:59:19 CEST 2008]: Covering: 0 negatives 
[Fri Jun 06 15:59:19 CEST 2008]: Covering: 8 positives 
[Fri Jun 06 15:59:19 CEST 2008]: Generalization obtained: (and (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) ) deck )
[Fri Jun 06 15:59:19 CEST 2008]: It covers 0 negatives
[Fri Jun 06 15:59:19 CEST 2008]: It covers 8 positives
[Fri Jun 06 15:59:19 CEST 2008]: Generalization: (and (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) ) deck )
[Fri Jun 06 15:59:19 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:19 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.DropConjunctDelta
[Fri Jun 06 15:59:19 CEST 2008]: Ranking Conjuncts....
[Fri Jun 06 15:59:19 CEST 2008]: Cache hit
[Fri Jun 06 15:59:19 CEST 2008]: Cache hit
[Fri Jun 06 15:59:19 CEST 2008]: Projecting...
[Fri Jun 06 15:59:20 CEST 2008]: ... Pojection finished
[Fri Jun 06 15:59:20 CEST 2008]: ...Finished Ranking Conjuncts
[Fri Jun 06 15:59:20 CEST 2008]: Covering: 18 negatives 
[Fri Jun 06 15:59:20 CEST 2008]: Covering: 16 positives 
[Fri Jun 06 15:59:20 CEST 2008]: Found a possible refinement
[Fri Jun 06 15:59:20 CEST 2008]: Previous heuristic value = 0.0 now it is = 0.47058823529411764
[Fri Jun 06 15:59:20 CEST 2008]: Covering: 0 negatives 
[Fri Jun 06 15:59:20 CEST 2008]: Covering: 8 positives 
[Fri Jun 06 15:59:20 CEST 2008]: Found a possible refinement
[Fri Jun 06 15:59:20 CEST 2008]: Previous heuristic value = 0.47058823529411764 now it is = 1.0
[Fri Jun 06 15:59:20 CEST 2008]: Generalization obtained: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:20 CEST 2008]: It covers 0 negatives
[Fri Jun 06 15:59:20 CEST 2008]: It covers 8 positives
[Fri Jun 06 15:59:20 CEST 2008]: Generalization: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:20 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:20 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.DropConjunctDelta
[Fri Jun 06 15:59:20 CEST 2008]: Generalization obtained: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:20 CEST 2008]: It covers 0 negatives
[Fri Jun 06 15:59:20 CEST 2008]: It covers 0 positives
[Fri Jun 06 15:59:20 CEST 2008]: Generalization: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:20 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:20 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.TopDownGreedyDelta
[Fri Jun 06 15:59:20 CEST 2008]: Found a possible refinement: 1.0
[Fri Jun 06 15:59:20 CEST 2008]: Lenght: 1
[Fri Jun 06 15:59:20 CEST 2008]: Generalization: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:20 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:20 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:59:20 CEST 2008]: Hypothesis: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:20 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:20 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:20 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:20 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some sameRank card ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:21 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some nextRank *TOP* ) (some nextRank card ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:21 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:21 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:21 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:21 CEST 2008]: Generalization: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:21 CEST 2008]: Residual positives size: 8
[Fri Jun 06 15:59:21 CEST 2008]: Before delta covered positives size: 2
[Fri Jun 06 15:59:21 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:21 CEST 2008]: Picked Generalization: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:59:21 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:59:21 CEST 2008]: Hypothesis: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:21 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:21 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some sameRank card ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:21 CEST 2008]: Generalization: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (some sameRank *TOP* ) ) (some hasCard (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:21 CEST 2008]: Residual positives size: 0
[Fri Jun 06 15:59:21 CEST 2008]: Finished at: Fri Jun 06 15:59:21 CEST 2008 after 6403 millisecs
True positive size: 1 out of 1
True negatives size: 8 out of 8
[Fri Jun 06 15:59:21 CEST 2008]: Abstraction builder used: class it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement with k = 2
[Fri Jun 06 15:59:21 CEST 2008]: Starting msc calculation at: Fri Jun 06 15:59:21 CEST 2008
[Fri Jun 06 15:59:21 CEST 2008]: Calculating msc no.1
[Fri Jun 06 15:59:21 CEST 2008]: Calculating msc no.2
[Fri Jun 06 15:59:21 CEST 2008]: Calculating msc no.3
[Fri Jun 06 15:59:21 CEST 2008]: Calculating msc no.4
[Fri Jun 06 15:59:21 CEST 2008]: Calculating msc no.5
[Fri Jun 06 15:59:21 CEST 2008]: Calculating msc no.6
[Fri Jun 06 15:59:21 CEST 2008]: Calculating msc no.7
[Fri Jun 06 15:59:21 CEST 2008]: Calculating msc no.8
[Fri Jun 06 15:59:21 CEST 2008]: Calculating msc no.9
[Fri Jun 06 15:59:21 CEST 2008]: Calculating msc no.10
[Fri Jun 06 15:59:21 CEST 2008]: Calculating msc no.11
[Fri Jun 06 15:59:21 CEST 2008]: Calculating msc no.12
[Fri Jun 06 15:59:21 CEST 2008]: Calculating msc no.13
[Fri Jun 06 15:59:21 CEST 2008]: Calculating msc no.14
[Fri Jun 06 15:59:21 CEST 2008]: Calculating msc no.15
[Fri Jun 06 15:59:21 CEST 2008]: Calculating msc no.16
[Fri Jun 06 15:59:21 CEST 2008]: Calculating msc no.17
[Fri Jun 06 15:59:21 CEST 2008]: Finished positives at: Fri Jun 06 15:59:21 CEST 2008 after 2 millisecs
[Fri Jun 06 15:59:21 CEST 2008]: Calculating msc no.1
[Fri Jun 06 15:59:21 CEST 2008]: Calculating msc no.2
[Fri Jun 06 15:59:21 CEST 2008]: Calculating msc no.3
[Fri Jun 06 15:59:22 CEST 2008]: Calculating msc no.4
[Fri Jun 06 15:59:22 CEST 2008]: Calculating msc no.5
[Fri Jun 06 15:59:22 CEST 2008]: Calculating msc no.6
[Fri Jun 06 15:59:22 CEST 2008]: Calculating msc no.7
[Fri Jun 06 15:59:22 CEST 2008]: Calculating msc no.8
[Fri Jun 06 15:59:22 CEST 2008]: Calculating msc no.9
[Fri Jun 06 15:59:22 CEST 2008]: Calculating msc no.10
[Fri Jun 06 15:59:22 CEST 2008]: Calculating msc no.11
[Fri Jun 06 15:59:22 CEST 2008]: Calculating msc no.12
[Fri Jun 06 15:59:22 CEST 2008]: Calculating msc no.13
[Fri Jun 06 15:59:22 CEST 2008]: Calculating msc no.14
[Fri Jun 06 15:59:22 CEST 2008]: Calculating msc no.15
[Fri Jun 06 15:59:22 CEST 2008]: Calculating msc no.16
[Fri Jun 06 15:59:22 CEST 2008]: Calculating msc no.17
[Fri Jun 06 15:59:22 CEST 2008]: Calculating msc no.18
[Fri Jun 06 15:59:22 CEST 2008]: Calculating msc no.19
[Fri Jun 06 15:59:22 CEST 2008]: Calculating msc no.20
[Fri Jun 06 15:59:22 CEST 2008]: Calculating msc no.21
[Fri Jun 06 15:59:22 CEST 2008]: Calculating msc no.22
[Fri Jun 06 15:59:22 CEST 2008]: Calculating msc no.23
[Fri Jun 06 15:59:22 CEST 2008]: Checking intersection between postives and negatives
[Fri Jun 06 15:59:22 CEST 2008]: Finished msc calculation at: Fri Jun 06 15:59:22 CEST 2008 after 556 millisecs
[Fri Jun 06 15:59:22 CEST 2008]: Learning Problem
[Fri Jun 06 15:59:22 CEST 2008]: positive size: 15
[Fri Jun 06 15:59:22 CEST 2008]: negative size: 22
[Fri Jun 06 15:59:22 CEST 2008]: Start generalization at: Fri Jun 06 15:59:22 CEST 2008
[Fri Jun 06 15:59:22 CEST 2008]: Before delta covered positives size: 3
[Fri Jun 06 15:59:22 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:22 CEST 2008]: Picked Generalization: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:59:22 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:59:22 CEST 2008]: Hypothesis: (and deck (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:22 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:22 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:23 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:23 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some sameRank card ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:23 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some nextRank *TOP* ) (some nextRank card ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:23 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:23 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:24 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:24 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:24 CEST 2008]: Generalization: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:24 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:24 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:59:24 CEST 2008]: Hypothesis: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:24 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:24 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:24 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some sameRank card ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:24 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some nextRank *TOP* ) (some nextRank card ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:24 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:25 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:25 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:25 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:25 CEST 2008]: Generalization: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:25 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:25 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.DropConjunctDelta
[Fri Jun 06 15:59:25 CEST 2008]: Ranking Conjuncts....
[Fri Jun 06 15:59:25 CEST 2008]: Absent conjunct need to rank it
[Fri Jun 06 15:59:25 CEST 2008]: Absent conjunct need to rank it
[Fri Jun 06 15:59:26 CEST 2008]: Absent conjunct need to rank it
[Fri Jun 06 15:59:26 CEST 2008]: Projecting...
[Fri Jun 06 15:59:27 CEST 2008]: ... Pojection finished
[Fri Jun 06 15:59:27 CEST 2008]: ...Finished Ranking Conjuncts
[Fri Jun 06 15:59:27 CEST 2008]: Covering: 0 negatives 
[Fri Jun 06 15:59:27 CEST 2008]: Covering: 7 positives 
[Fri Jun 06 15:59:27 CEST 2008]: Found a possible refinement
[Fri Jun 06 15:59:27 CEST 2008]: Previous heuristic value = 0.0 now it is = 1.0
[Fri Jun 06 15:59:27 CEST 2008]: Covering: 22 negatives 
[Fri Jun 06 15:59:27 CEST 2008]: Covering: 15 positives 
[Fri Jun 06 15:59:27 CEST 2008]: Covering: 0 negatives 
[Fri Jun 06 15:59:27 CEST 2008]: Covering: 7 positives 
[Fri Jun 06 15:59:27 CEST 2008]: Generalization obtained: (and (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) ) deck )
[Fri Jun 06 15:59:27 CEST 2008]: It covers 0 negatives
[Fri Jun 06 15:59:27 CEST 2008]: It covers 7 positives
[Fri Jun 06 15:59:27 CEST 2008]: Generalization: (and (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) ) deck )
[Fri Jun 06 15:59:27 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:27 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.DropConjunctDelta
[Fri Jun 06 15:59:27 CEST 2008]: Ranking Conjuncts....
[Fri Jun 06 15:59:27 CEST 2008]: Cache hit
[Fri Jun 06 15:59:27 CEST 2008]: Cache hit
[Fri Jun 06 15:59:27 CEST 2008]: Projecting...
[Fri Jun 06 15:59:28 CEST 2008]: ... Pojection finished
[Fri Jun 06 15:59:28 CEST 2008]: ...Finished Ranking Conjuncts
[Fri Jun 06 15:59:28 CEST 2008]: Covering: 22 negatives 
[Fri Jun 06 15:59:28 CEST 2008]: Covering: 15 positives 
[Fri Jun 06 15:59:28 CEST 2008]: Found a possible refinement
[Fri Jun 06 15:59:28 CEST 2008]: Previous heuristic value = 0.0 now it is = 0.40540540540540543
[Fri Jun 06 15:59:28 CEST 2008]: Covering: 0 negatives 
[Fri Jun 06 15:59:28 CEST 2008]: Covering: 7 positives 
[Fri Jun 06 15:59:28 CEST 2008]: Found a possible refinement
[Fri Jun 06 15:59:28 CEST 2008]: Previous heuristic value = 0.40540540540540543 now it is = 1.0
[Fri Jun 06 15:59:28 CEST 2008]: Generalization obtained: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:28 CEST 2008]: It covers 0 negatives
[Fri Jun 06 15:59:28 CEST 2008]: It covers 7 positives
[Fri Jun 06 15:59:28 CEST 2008]: Generalization: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:28 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:28 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.DropConjunctDelta
[Fri Jun 06 15:59:28 CEST 2008]: Generalization obtained: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:28 CEST 2008]: It covers 0 negatives
[Fri Jun 06 15:59:28 CEST 2008]: It covers 0 positives
[Fri Jun 06 15:59:28 CEST 2008]: Generalization: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:28 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:28 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.TopDownGreedyDelta
[Fri Jun 06 15:59:28 CEST 2008]: Found a possible refinement: 1.0
[Fri Jun 06 15:59:28 CEST 2008]: Lenght: 1
[Fri Jun 06 15:59:28 CEST 2008]: Generalization: (some hasCard (and (some sameRank *TOP* ) (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:28 CEST 2008]: Residual positives size: 8
[Fri Jun 06 15:59:28 CEST 2008]: Before delta covered positives size: 1
[Fri Jun 06 15:59:28 CEST 2008]: Starting inner deltas
[Fri Jun 06 15:59:28 CEST 2008]: Picked Generalization: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:59:28 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
[Fri Jun 06 15:59:28 CEST 2008]: Hypothesis: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some sameRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:28 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit card ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some sameRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:29 CEST 2008]: Refining w.r.t Positive: (and deck (some hasCard (and card (some sameRank card ) (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank card ) (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (and card (some nextRank *TOP* ) (some hasRank *TOP* ) (some hasSuit *TOP* ) (some sameSuit *TOP* ) ) ) (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) )
[Fri Jun 06 15:59:29 CEST 2008]: Generalization: (and deck (some hasCard (and card (some hasRank *TOP* ) (some hasSuit *TOP* ) ) ) (some hasCard (some sameRank *TOP* ) ) (some hasCard (some sameSuit *TOP* ) ) )
[Fri Jun 06 15:59:29 CEST 2008]: Residual positives size: 0
[Fri Jun 06 15:59:29 CEST 2008]: Finished at: Fri Jun 06 15:59:29 CEST 2008 after 6720 millisecs
True positive size: 3 out of 3
True negatives size: 6 out of 6
Precision: 1.0
Recall: 1.0
Predictive Accuracy: 1.0
