Consider a world with n symbols, no constructors, and a single binary predicate. How many distinct datasets are possible for this language?