\v=6 \v~=\w and|strong="G2532"\w* \w then|strong="G2532"\w* \w said|strong="G1161"\w* goodbye \w to|strong="G1519"\w* \w one|strong="G3588"\w* \w another|strong="G3588"\w*; \w after|strong="G1161"\w* \w which|strong="G3588"\w* \w we|strong="G2532"\w* \w went|strong="G2532"\w* \w on|strong="G1519"\w* \w board|strong="G1684"\w*, \w and|strong="G2532"\w* \w they|strong="G2532"\w* \w returned|strong="G5290"\w* \w home|strong="G1519"\w*. \¬v \¬p