All tagged Learning Logic