Lattice Machine : Version Space in Hyperrelations [ Extended Abstract ] ∗