(tag_existing
   (
      (ps process CNE_01200_BAD_NAME)
   )
   (implies
      (is_explicit_process ps)
      (string_matches [label ps] "P_.*")
   )
)