\v=3
\v~=\w from|strong="H0935"\w* \w thirty|strong="H7970"\w* \w years|strong="H8141"\w* \w old|strong="H1121"\w* \w and|strong="H1121"\w* \w upward|strong="H4605"\w* \w even|strong="H5704"\w* \w until|strong="H5704"\w* \w fifty|strong="H2572"\w* \w years|strong="H8141"\w* \w old|strong="H1121"\w*, \w all|strong="H3605"\w* \w who|strong="H3605"\w* \w enter|strong="H0935"\w* \w into|strong="H0935"\w* \w the|strong="H3605"\w* \w service|strong="H6635"\w* \w to|strong="H0935"\w* \w do|strong="H6213"\w* \w the|strong="H3605"\w* \w work|strong="H4399"\w* \w in|strong="H8141"\w* \w the|strong="H3605"\w* \w Tent|strong="H0168"\w* \w of|strong="H1121"\w* \w Meeting|strong="H4150"\w*. 
\¬v
\¬p