Re: [PRD] Semantics of actions

step 3 in the defn of RIF-PRD (retract object) should remove o#c1, o#c2, 
etc. This also resolves your editor's note.
I think you should start numbering your frames with f1, not f0.

Christian de Sainte Marie wrote:
>
> Guys,
>
> after re-reading my interpretation of Gary's proposal in terms of 
> entailment (oh, ok: after reading it :-) I found out that my version 
> of conditions 2 and 3 was much to strong: I think it should be "phi 
> |=/= f", not "f |=/= phi" (same in condition 3, mutatis mutandi).
>
> I made the correction on the wiki.
>
> Cheers,
>
> Christian
>
>