One label per predLogic equation (instead of for every line)