precising definition example in logic - Search