"has branching part" . . . "inverse of branching part of" . . . "Chris Mungall" .