% Metagol string1.pl

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

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