Are Condorman and The African Lion both comedy films?