program level logic model - Search