A First-Order Complete Temporal Logic for Structured Context-Free Languages (Logical Methods in Computer Science, 2022)