\newcommand{\innprow}[4]{
	\parbox{2.25in}{
		\parbox{0.35in}{\includegraphics[scale=0.25]{img/time#1}}
		\parbox{0.5in}{#2:}
		\parbox{1.25in}{
			\parbox{1.25in}{#3}

			\parbox{1.25in}{#4}}}\vskip 0.5em}

\begin{figure}
{\centering
	\parbox{0.15in}{\rotatebox[origin=c]{90}{\
	{\footnotesize Successive bands represent the vague outer ring at successive times as it fades in toward the small bright light.}}}\begin{minipage}{1.5in}
		\imgw{1.3in}{img/innperseqs}\vskip 0.1em {\centering\small small bright light \par}
	\end{minipage}\begin{minipage}{2in}
\dq{Sentences} at 
\vskip 1em

	\innprow{1}{$time_1$}{$a_1 a_2 a_3 a_4 a_5 a_6 a_7 b$}{$a_1,a_2 \rightarrow\ b$}

	\innprow{2}{$time_2$}{$a_2 a_3 a_4 a_5 a_6 a_7 b c$}{$a_3 \rightarrow\ c$}

	\innprow{3}{$time_3$}{$a_4 a_5 a_6 a_7 b c d$}{$a_4,a_5 \rightarrow\ d$}

	\innprow{4}{$time_4$}{$a_6 a_7 b c d e$}{$a_6,b \rightarrow\ e$}

	\innprow{5}{$time_5$}{$a_7 b c d e f$}{$a_7,c \rightarrow\ f$}

	\innprow{6}{$time_6$}{$c d e f g$}{$d,e \rightarrow\ g$}

	\vskip 2em

\dq{Axioms} \\
	\hskip 1em $a_1 a_2 a_3 a_4 a_5 a_6 a_7$ 

	\vskip 2em

Innperseq \\
$(a_3,a_2,a_1)$ \\
$(b,a_3)$ \\
$(c,a_5,a_4)$ \\
$(d,b,a_6)$ \\
$(e,c,a_7)$ \\
$(f,e,d)$ \\
$(g)$ 
	\end{minipage}\par}
	\vskip 1em
	\caption{Example instance of \sysname{Innperseqs.}}
	\label{innperdiag}
\end{figure}