Re: [PRD] Semantics of actions

Gary Hallmark wrote:

> step 3 in the defn of RIF-PRD (retract object) should remove o#c1, o#c2, 
> etc.

Yes. I see that you implemented the correction already.

> This also resolves your editor's note.

Not sure: shouldn't retarct object also make the object identifier a dangling reference? This is what I do not know how to specify in terms of entailment...

> I think you should start numbering your frames with f1, not f0.

You are right. I started with f0 because n>=0, but that's just plain stupid :-)

I will check and correct everywhere else I did it.

Christian