1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
\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}
|
