On Semi-parametric Inference for BART