store(leftorium).
store(sprawlmart).
store(trynsave).
store(kingtoots).
item(greendress).
item(saxophonebook).
item(slingshot).
item(pacifier).

%    bought(gift, shop)
bought(X, Y) :- item(X), store(Y).

%    after(shop, shop)
after(X, Y) :- store(X), store(Y).