Line 44:
Line 44:
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:whitesmoke; width:100%"
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:whitesmoke; width:100%"
| width="20%" | <math>\operatorname{Sentence}</math>
| width="20%" | <math>\operatorname{Sentence}</math>
−
| width="20%" | <math>\xrightarrow{\operatorname{Parse}}</math>
+
| width="20%" | <math>\xrightarrow[\operatorname{~~~~~~~~~~}]{\operatorname{Parse}}</math>
| width="20%" | <math>\operatorname{Graph}</math>
| width="20%" | <math>\operatorname{Graph}</math>
−
| width="20%" | <math>\xrightarrow{\operatorname{Denotation}}</math>
+
| width="20%" | <math>\xrightarrow[\operatorname{~~~~~~~~~~}]{\operatorname{Denotation}}</math>
| width="20%" | <math>\operatorname{Proposition}</math>
| width="20%" | <math>\operatorname{Proposition}</math>
|}
|}
Line 53:
Line 53:
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
| width="20%" | <math>s_j\!</math>
| width="20%" | <math>s_j\!</math>
−
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~}}</math>
+
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
| width="20%" | <math>C_j\!</math>
| width="20%" | <math>C_j\!</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
Line 62:
Line 62:
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
| width="20%" | <math>\operatorname{Conc}^0</math>
| width="20%" | <math>\operatorname{Conc}^0</math>
−
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~}}</math>
+
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
| width="20%" | <math>\operatorname{Node}^0</math>
| width="20%" | <math>\operatorname{Node}^0</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
Line 68:
Line 68:
|-
|-
| width="20%" | <math>\operatorname{Conc}^k_j s_j</math>
| width="20%" | <math>\operatorname{Conc}^k_j s_j</math>
−
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~}}</math>
+
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
| width="20%" | <math>\operatorname{Node}^k_j c_j</math>
| width="20%" | <math>\operatorname{Node}^k_j c_j</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
Line 77:
Line 77:
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
| width="20%" | <math>\operatorname{Surc}^0</math>
| width="20%" | <math>\operatorname{Surc}^0</math>
−
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~}}</math>
+
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
| width="20%" | <math>\operatorname{Lobe}^0</math>
| width="20%" | <math>\operatorname{Lobe}^0</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
Line 83:
Line 83:
|-
|-
| width="20%" | <math>\operatorname{Surc}^k_j s_j</math>
| width="20%" | <math>\operatorname{Surc}^k_j s_j</math>
−
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~}}</math>
+
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
| width="20%" | <math>\operatorname{Lobe}^k_j c_j</math>
| width="20%" | <math>\operatorname{Lobe}^k_j c_j</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>