(define (problem todolist)
    (:domain todolist)
    (:objects
        a b c d - item
        L - list
    )

    (:htn
        :parameters ()
        :ordered-subtasks (taskFilterDone L listStart)
    )
    (:init
        (listSeq L listStart a)
        (listSeq L a b)
        (listSeq L b c)
        (listSeq L c d)
        (listSeq L d listEnd)

        (listElement L a)
        (listElement L b)
        (listElement L c)
        (listElement L d)

        (todoitem a undone)
        (todoitem b done)
        (todoitem c undone)
        (todoitem d undone)
    )

    ; (:goal (and
    ;     (listSeq L listStart a)
    ;     (listSeq L a c)
    ;     (listSeq L c d)
    ;     (listSeq L d listEnd)
    ; ))

)