Pat, I would vote for your suggested core syntax. I also suggest that every KIF-like statement be followed the corresponding statement in CLCE (assuming that we can agree on a version of CLCE we are all happy with). John