L-TReiD: Logic Tensor Transformer for Re-Identification