Consider problem of changing flat tire. There are just 4 actions: removing spare from trunk, removing flat tire from axle, putting spare tire on axle, and leaving car unattended overnight.

ADL description is as shown. It uses negated precondition,negation. This could be avoided by using Clear (Axle) instead. As we see in next example.

Solution using Strips:

• Init(At(Flat,Axle)̂At(Spare,Trunk))

• Goal(At(Spare,Axle)) Action(remove(Spare,Trunk),

• PRECOND ; At(Spare,Trunk)

• EFFECT :̚At(Spare,trunk)˄A t(Spare, Ground)

• Action(Remove(Flat,Axle), • PRECOND:At(Flat,Axle)

• EFFECT :̚At(Flat,,Axle)˄A t(Flat, Ground)

• Action(PutOn(Spare,Axle),

• PRECOND ; At(Spare,Ground)˄̚At(Flat,Axle)

• EFFECT:̚At(Spare,Ground) ˄̚At(Spare,Axle))

• Action(LeaveOvernight)

• PRECOND

• EFFECT :̚At(Spare,Ground)˄A t(Spare, Axle)̚˄At(Spare,trunk)˄ ̚At(Flat,Ground)˄̚At(Flat,Axle))