"Problem of universals"@cs .