begin

 -(@ n2 (p1 v p2) -> @n1 p3)

end