Definition of "pubococcygeus"