inductive generalization can return a list of possibilities now
inductive generalization can return a list of possibilities now

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition