tomTable. These inference operations may of course call themselves and each other recursively, thus cre- ating lengthy chains of diverse inference. Findtv is quite straightforward, at the high level of discussion adopted here. Various inference rules may match the Atom; in our current PLN implementatio