Mechanism for using more complex logics for assertions