// Has indicates the words in each document
HasWord(word, page)
// Topic indicates the class of each page
Topic(class, page)

HasWord(+w, p) => Topic(+c, p)