#DEFINE Daniel.drinks(Eli.get(milkshake)) \
if Eli.has(milkshake) && Daniel.has(milkshake) && Daniel.has(straw) { \
assert(Daniel.get(straw).reaches(room.across())) \
Daniel.get(straw).drinks(Eli.get(milkshake)) \
} \
No comments:
Post a Comment