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
51
52
53
|
\def\innprow#1#2#3#4{
\hbox to 1.5in{
\picw=0.3in\inspic{time#1.png}%
\hskip 0.1in plus 0.1in%
#2:%
\hskip 0.1in plus 0.1in%
\vbox{
\hbox to 1in{#3}
\hbox to 1in{#4}}}
\vskip 0.5em}
\midinsert
\hbox to \hsize{{\leftskip=0pt plus1fil\rightskip=0pt plus1fil
\hbox to 0.2in{\rotbox{90}{{\typoscale[800/] Successive bands represent the vague outer ring at successive times as it fades in toward the small bright light.}}}%
%
\hskip 0.2in%
\vbox{\picw=1.3in\inspic{innperseqs.png}\vskip 0.1em%
\hbox to 1.5in{\typoscale[900/] small bright light \par}}
%
\vbox{\leftskip=0pt \typoscale[900/]
\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} \nl
\hskip 1em $a_1 a_2 a_3 a_4 a_5 a_6 a_7$
\vskip 2em
Innperseq \nl
$(a_3,a_2,a_1)$ \nl
$(b,a_3)$ \nl
$(c,a_5,a_4)$ \nl
$(d,b,a_6)$ \nl
$(e,c,a_7)$ \nl
$(f,e,d)$ \nl
$(g)$
\par}}}
\cskip
\caption/f[innperdiag] Example instance of \sysname{Innperseqs.}
\endinsert
|
