Closed_world_assumption loading ...