2) Is the
specified inference process sound and complete?
It is without
question of course that the answers to a query have to be valid. By
completeness is meant that all answers to a query are found.It is not always necessary that all
answers are found but often it is.