Expanding the Horizon of Linear Temporal Logic Inference for Explainability