% Metagol strings2.pl

pos(f(['a','b','c']/['a','b','c','d'],_/[])).
pos(f(['a','a','c']/['a','a','c','d'],_/[])).
pos(f(['a','c']/['a','c','d'],_/[])).
pos(f(['a','b','c']/['a','b','c','d'],_/[])).

% hakank
neg(f(['a','c']/['a','c','a'],_/[])).
neg(f(['a','c']/['a','c','a','d'],_/[])).

neg(f(['a','c']/['d'],_/[])).
neg(f(['a','c']/['a','d'],_/[])).