Line 33: |
Line 33: |
| | align="center" | <math>\xrightarrow{\operatorname{Parse}}</math> | | | align="center" | <math>\xrightarrow{\operatorname{Parse}}</math> |
| | width="33%" | <math>\operatorname{Lobe}_{j=1}^k \operatorname{Parse} (s_j)</math> | | | width="33%" | <math>\operatorname{Lobe}_{j=1}^k \operatorname{Parse} (s_j)</math> |
| + | |} |
| + | |} |
| + | |
| + | <br> |
| + | |
| + | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%" |
| + | |+ '''Table 14.1 Semantic Translation : Functional Form''' |
| + | |- style="background:whitesmoke" |
| + | | |
| + | {| align="center" border="0" cellpadding="8" cellspacing="0" style="background:whitesmoke; width:100%" |
| + | | width="20%" | <math>\operatorname{Sentence}</math> |
| + | | width="20%" | <math>\xrightarrow{\operatorname{Parse}}</math> |
| + | | width="20%" | <math>\operatorname{Graph}</math> |
| + | | width="20%" | <math>\xrightarrow{\operatorname{Denotation}}</math> |
| + | | width="20%" | <math>\operatorname{Proposition}</math> |
| + | |} |
| + | |- |
| + | | |
| + | {| align="center" border="0" cellpadding="8" cellspacing="0" width="100%" |
| + | | width="20%" | <math>s_j\!</math> |
| + | | width="20%" | <math>\xrightarrow{\operatorname{~~~~~}}</math> |
| + | | width="20%" | <math>C_j\!</math> |
| + | | width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math> |
| + | | width="20%" | <math>q_j\!</math> |
| + | |} |
| + | |- |
| + | | |
| + | {| align="center" border="0" cellpadding="8" cellspacing="0" width="100%" |
| + | | width="20%" | <math>\operatorname{Conc}^0</math> |
| + | | width="20%" | <math>\xrightarrow{\operatorname{~~~~~}}</math> |
| + | | width="20%" | <math>\operatorname{Node}^0</math> |
| + | | width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math> |
| + | | width="20%" | <math>\underline{1}</math> |
| + | |- |
| + | | width="20%" | <math>\operatorname{Conc}^k_j s_j</math> |
| + | | width="20%" | <math>\xrightarrow{\operatorname{~~~~~}}</math> |
| + | | width="20%" | <math>\operatorname{Node}^k_j c_j</math> |
| + | | width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math> |
| + | | width="20%" | <math>\operatorname{Conj}^k_j q_j</math> |
| + | |} |
| + | |- |
| + | | |
| + | {| align="center" border="0" cellpadding="8" cellspacing="0" width="100%" |
| + | | width="20%" | <math>\operatorname{Surc}^0</math> |
| + | | width="20%" | <math>\xrightarrow{\operatorname{~~~~~}}</math> |
| + | | width="20%" | <math>\operatorname{Lobe}^0</math> |
| + | | width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math> |
| + | | width="20%" | <math>\underline{0}</math> |
| + | |- |
| + | | width="20%" | <math>\operatorname{Surc}^k_j s_j</math> |
| + | | width="20%" | <math>\xrightarrow{\operatorname{~~~~~}}</math> |
| + | | width="20%" | <math>\operatorname{Lobe}^k_j c_j</math> |
| + | | width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math> |
| + | | width="20%" | <math>\operatorname{Surj}^k_j q_j</math> |
| |} | | |} |
| |} | | |} |