Many-sorted_logic loading ...