Remove remaining calls to kb.add. Replaced with 'revise'
Properly quote the partial statments in Discrimination