Some issues of representation in a general problem solver