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> |