Three companions for data mining in (cid:12)rst order logic