Text this: A First-Order Complete Temporal Logic for Structured Context-Free Languages