Almost completed Default reasoning engine