TensorLogic / v3