program logic model definition - Search