From ${Likes}({Jerry},{IceCream})$ it seems reasonable to infer
${\exists,x;;}
{Likes}(x,{IceCream})$. Write down a general inference rule, , that
sanctions this inference. State carefully the conditions that must be
satisfied by the variables and terms involved.