Greedy_for_Tweety loading ...