A framework for PSL inference.