Constraint-Based Abstract Semantics for Temporal Logic A Direct