#3138 forget doesn't handle facts created with declare

[Stavros Macrakis]

declare(feat1,feature)$
declare(fun1,feat1)$
facts() => [kind(fun1, feat1)]
forget(kind(fun1,feat1)) => [false] ??
facts() => [kind(fun1, feat1)] ??!!

[Robert Dodier]

remove removes facts created by declare. On looking at the reference manual, I see the items for remove and forget don't specifically say that, so that could be clarified.

An alternative is to extend forget to handle facts from declare but I think we don't want to go down that road.