<8>p1 -> (<3>p0) \/ (<5>p1)
