\v=15
\v~=Samaa his son, Angia his son, Asaias his son. 
\¬v
\¬p