Added Preconditions

preconditions reduced answer set