undefined

Zion Williamson	Ja Morant	RJ Barrett	Darius Garland	De'Andre Hunter
Jarrett Culver	Cam Reddish	Coby White	Sekou Doumbouya	Nassir Little
Jaxson Hayes	Rui Hachimura	Brandon Clarke	Romeo Langford	Bol Bol
PJ Washington	Goga Bitadze	Tyler Herro	Keldon Johnson	Kevin Porter
Cameron Johnson	Nickeil Alexander-Walker	Mfiondu Kabengele	KZ Okpala	Ty Jerome
Luguentz Dort	Matisse Thybulle	Darius Bazley	Luka Samanic	Nic Claxton

Draft Picks:

X	Y	Z
f(100,100)	"Team Name"	"Player"	"Status"
f(101,101)	"New Orleans"	"NA"	"On clock"
f(102,102)	"Memphis"	"NA"	"Waiting"
f(103,103)	"New York"	"NA"	"Waiting"
f(104,104)	"Los Angeles Lakers"	"NA"	"Waiting"
f(105,105)	"Cleveland"	"NA"	"Waiting"
f(106,106)	"Phoenix"	"NA"	"Waiting"
f(107,107)	"Chicago"	"NA"	"Waiting"
f(108,108)	"Atlanta"	"NA"	"Waiting"
f(109,109)	"Washington"	"NA"	"Waiting"
f(110,110)	"Atlanta"	"NA"	"Waiting"
f(111,111)	"Minnesota"	"NA"	"Waiting"
f(112,112)	"Charlotte"	"NA"	"Waiting"
f(113,113)	"Miami"	"NA"	"Waiting"
f(114,114)	"Boston"	"NA"	"Waiting"
f(115,115)	"Detroit"	"NA"	"Waiting"
f(116,116)	"Orlando"	"NA"	"Waiting"
f(117,117)	"Brooklyn"	"NA"	"Waiting"
f(118,118)	"Indiana"	"NA"	"Waiting"
f(119,119)	"San Antonio"	"NA"	"Waiting"
f(120,120)	"Boston"	"NA"	"Waiting"
f(121,121)	"Oklahoma City"	"NA"	"Waiting"
f(122,122)	"Boston"	"NA"	"Waiting"
f(123,123)	"Utah"	"NA"	"Waiting"
f(124,124)	"Philadelphia"	"NA"	"Waiting"
f(125,125)	"Portland"	"NA"	"Waiting"
f(126,126)	"Cleveland"	"NA"	"Waiting"
f(127,127)	"Brooklyn"	"NA"	"Waiting"
f(128,128)	"Golden State"	"NA"	"Waiting"
f(129,129)	"San Antonio"	"NA"	"Waiting"
f(130,130)	"Milwaukee"	"NA"	"Waiting"

Accept a trade:

select(course,V) & p(f(I,J),X, Y, "On clock") & evaluate(plus(I,1), A) & evaluate(plus(J,1), B) & p(f(A, B), T, R, "Waiting") ==> holds(course,V) & p(f(I,J), X, V, "Done") & ~p(f(I,J),X, Y, "On clock") &   p(f(A, B), T, R, "On clock") & ~p(f(A, B), T, R, "Waiting") & ~selected(X) & selected(T) & ~justpicked(Y) & justpicked(V)

select(course,V) & p(f(I,J),X, Y, "On clock") & same(I, 130) & same(J,130)  ==> holds(course,V) & t1("A", "B", "N") & p(f(I,J), X, V, "Done") & ~p(f(I,J),X, Y, "On clock") & ~selected(X) & selected("THE END") & ~justpicked(Y) & justpicked(V)

select(dropdown, P) & p(f(I,J),X, Y, "On clock") & p(f(P, P), T, R, "Waiting") ==> trade(P) & ~selected(X) & selected(T) & p(f(P,P),X, Y, "Waiting") & p(f(I, J), T, R, "On clock") & ~p(f(I,J),X, Y, "On clock") & ~p(f(P, P), T, R, "Waiting")

style(widget1,"background-image",Y) :- selected(A) & img(A,X) & stringappend("url(",X,")",Y)
style(widget1,"background-size","contain")
style(widget1,"background-repeat","no-repeat")
style(widget1,"background-position","center center")

style(widget3,"background-image",Y) :- justpicked(A) & img(A,X) & stringappend("url(",X,")",Y)
style(widget3,"background-size","contain")
style(widget3,"background-repeat","no-repeat")
style(widget3,"background-position","center center")

On The Clock

Player just picked