Links for predicat-ml