Text: We brought it with us when we moved, since it would be needed to determine how the sky should be repaired and to bring the time and the positions into congruence.
Entailment: When we moved it came with us.
Contradiction: We don't really need it for anything.