added 'successful_instances_of_given_goal' predicate for making demo queries more readable and shorter