"Chris Mungall" . . . . . . . "is subsequence of" . "contained by" . . "inverse of has subsequence" .