[rules-users] Question about getObjects() on workspace with defeasible belief system

[Borris]

I am trying the Defeasible belief system (it ties in pretty well with 
some of how I want
to structure my project).

After fixing many typos, the rule behaviour seems to be what it should 
for a defeasible
rule being correctly defeated (my clash spotter doesn't fire, which it 
does if any
part of the defeasible chain is broken). Which is all jolly fun and good 
and exciting.

But, my question.

I have a simple workspace dump based upon getting all objects (via 
ksession.getObjects() )
and then doing my own tidy presentation. This still shows the defeated 
fact as present.

So I know there is still record somewhere of the defeated fact, because 
if the workspace
changed such that my defeater was retracted, then it needs to make the 
fact visible again.

But I wasn't expecting to see it via getObjects(). Is that the intended 
behaviour? If so,
is there a way to enquire whether a fact is in the "defeated state" or 
not that I could
add to my tidy workspace dumper?

Thanks!

Borris