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

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