Like fresh but does does not create logic variables.
Creates fresh variables. Goals occuring within form a logical conjunction.
Returns true if (pred x) is logical true for every x in coll, else false.
all