
=========== Result is ================
block([atom])
chooseaction([other],[list],[A,list])
chooseaction([other],[list],[A])
clear([A],[list])
finalstate([atom],[list])
initialstate([atom],[list])
legalaction([other],[list])
member([A],[B,list])
notmember([A],[list])
on([A],[B],[C,list])
place([atom])
substitute([A],[B],[list],[list])
suggest([other],[A,list])
testplan([atom],[list])
transform([A],[A],[B],[list])
transform([A],[A],[list])
transform([list],[list],[list])
transform([list],[list],[list],[list])
update([other],[list],[list])
