~F

lat(Spare) Intact(S

pare) Off(S

pare) O

n(Tire1) F

lat(Tire1)

ST

AR

TF

INIS

H

On(x) ~

Flat(x)

Rem

ove(x)

On(x)

Off(x) C

learHub

Pu

ton

(x)

Off(x) C

learHub

On(x) ~

ClearH

ub

Inflate(x)

Intact(x) Flat(x)

~F

lat(x)

Ch

eckTire(x)

Know

sIf(Intact(x))

Inflated(Spare)

On(T

ire1)

Flat(T

ire1)S

tartF

inish

(True)

On( x )

Inflated( x )

Inflated(Spare)

On(T

ire1)

Flat(T

ire1)

Flat(T

ire1)

Intact(Tire1)

Start

Fin

ish

Infla

te(T

ire1

)(T

rue)

(Intact(Tire1))

On( x )

Inflated( x )

Tire1

Tire1

On( x )

Inflated( x )

Tire1

Tire1

(Intact(Tire1))

Inflated(Spare)

On(T

ire1)

Flat(T

ire1)

Intact(Tire1)

Flat(T

ire1)

Intact(Tire1)

Start

Fin

ish

Ch

eck(T

ire1

)

Infla

te(T

ire1

)(Intact(T

ire1))(T

rue)

( Intact(Tire1))

L

(Intact(Tire1))

Inflated(Spare)

On(T

ire1)

Flat(T

ire1)

Intact(Tire1)

Flat(T

ire1)

Intact(Tire1)

Start

Fin

ish

Fin

ish

Ch

eck(T

ire1

)

Infla

te(T

ire1

)

On( x )

Inflated( x )

Tire1

Tire1

(Intact(Tire1))

(True)

On( x )

Inflated( x )

On( x )

Inflated( x )

Tire1

Tire1

(Intact(Tire1))

(True)

( Intact(Tire1))

L

(Intact(Tire1))

Inflated(Spare)

On(T

ire1)

Flat(T

ire1)

Intact(Tire1)

Flat(T

ire1)

Intact(Tire1)

Start

Fin

ish

Fin

ish

Ch

eck(T

ire1

)

Infla

te(T

ire1

)

On( x )

Inflated( x )

Spare

Spare

On( x )

Inflated( x )

Tire1

Tire1

(Intact(Tire1))

(True)

On( x )

Inflated( x )

Spare

Spare

( Intact(Tire1))

L

(Intact(Tire1))

( Intact(Tire1))

L

( Intact(Tire1))

L

Inflated(Spare)

On(T

ire1)

Flat(T

ire1)

Intact(Tire1)

Flat(T

ire1)

Intact(Tire1)

Start

Fin

ish

Fin

ishP

uto

n(S

pa

re)

Ch

eck(T

ire1

)

Re

mo

ve(T

ire1

)

Infla

te(T

ire1

)

Intact(Tire1)

L

At(S

M)

At(H

ome)

At(H

WS

)

Have(M

ilk) At(H

ome) H

ave(Ban.) H

ave(Drill)

Buy(D

rill)

Buy(M

ilk)B

uy(Ban.)

Go(H

ome)

Go(H

WS

)

Go(S

M)

Fin

ish

Start

At(H

WS

) Sells(H

WS

,Drill)

At(S

M) S

ells(SM

,Milk)

At(S

M) S

ells(SM

,Ban.)

At(H

WS

)H

ave(Drill)

Sells(S

M,B

an.)S

ells(SM

,Milk)

Failu

re

ST

AR

T

Get(R

ed)

Color(C

hair,Blue) ~

Have(R

ed)

Paint(R

ed)

Have(R

ed)

FIN

ISH

Color(C

hair,Red)

FA

ILU

RE

RE

SP

ON

SE

no

ne

Have(R

ed)

PR

EC

ON

DIT

ION

S

Co

lor(C

hair,R

ed)

N/A

Fetch

mo

re red

Rep

aint