-(@ c2 (p v p1) -> @c1 p3)