%% goal: item(X0, X1)

item(a).
item(a, b).
item(c, d).