Hypothesis Evaluation
class(A,mammal):-milk(A),legs(A,4).
SELECT DISTINCT T1.name, T1.class
Create view representing a candidate hypothesis
Use aggregation function “Count” to count the number of covered examples
- Covered examples correspond to the tuples obtained by the View