comment con LogicalModel.from_json