\v=15
\v~=dessen Sohn Schimea, dessen Sohn Haggija, dessen Sohn Asaja.
\¬v
\¬p