Document( Prefix(ex ) Group ( Forall ?X ( If ?X[ex:status -> "normal"] Then Do ( Retract (?X) ) ) ex:john[ex:status -> "normal" ex:test -> "some value"] ) )