MLN program for ER created for Tuffy based on Alchemy ER example