Semantic Verification of Requirements-Driven Test Generation from Natural Language by Learnable Intermediate Representations