Logical_inference loading ...