Anchor: The remaining time is fixed and includes the time between stops (route time and the fixed portion of access) and the fixed portion of travel time.
Entailed: The remaining time is fixed and includes time between stops.
Contradiction: The remaining time doesn't count time between stops.
Contradiction: I looked.
Contradiction: Protesters demonstrate.
Contradiction: the dog is sleeping on the porch
Contradiction: Friends are walking down a street.