More Difficult to Verify -- Allen Linear (Interval) Temporal Logic - Translation to LTL