Added function for loading ground states from arbitrary predicate lists.