KQML's semantics presupposes variable domains across worlds, but this choice is a philosophical comm...