eqtusersguide.tex

Emdros is a text database middleware-layer aimed at storage and retrieval of "text plus information

\subsubsection{Display options}



\begin{verbatim}

input_area_font_name  = "Arial MS Unicode"
input_area_font_size  = 11  # in points
output_area_font_name_1 = "SPIonic"
output_area_font_name_2 = "Courier New"
output_area_font_name_3 = "Times New Roman"
output_area_magnification  = 100  # in percent (%)

\end{verbatim}



You can set the default font name and font size (in points) for the
input area.




You cannot set the font size in points for the output area.
Instead, you can set it to a percentage of 12 point.  For example,
setting output\_area\_magnification to 150 will select a font size of 18
points, and setting it to 200 will select a font size of 24
points.

	



\section{Query Guide}

\subsection{Topographic queries vs. table-queries}




The Emdros Query Tool can display two kinds of results: Sheaves
(from topographic queries) and tables (from all other queries).


\subsection{Topographic queries}




Topographic queries are described in the cheat sheet.



\subsection{MQL Cheat Sheet}

\subsubsection{Preamble}




For topographic queries, you must prefix the query with this magic
incantation:


\begin{verbatim}

SELECT ALL OBJECTS
WHERE
// Your query here.

\end{verbatim}



Variations over this exist:


\begin{verbatim}

SELECT ALL OBJECTS
IN MyMonadSet
WHERE
// Query here, will only find objects
// in the stored monad set "MyMonadSet"

SELECT ALL OBJECTS
IN {1-23400}
WHERE
// Query here, will only find objects
// within the monads {1-23400}.

\end{verbatim}


\subsubsection{Overview}


\begin{itemize}


  
\item The basics
  
\item Feature-restrictions
  
\item First/last
  
\item Object references
  
\item NOTEXIST and Kleene Star

\end{itemize}


\subsubsection{The basics}




{\bf Object blocks, Sequence, Embedding}



\bigskip
\begin{tabular}{*{3}{|l}|}
\hline
\begin{minipage}[t]{4cm}Construction\end{minipage} & \begin{minipage}[t]{4cm}Meaning\end{minipage} & \begin{minipage}[t]{4cm}Example\end{minipage}\\\hline

\begin{minipage}[t]{4cm}\begin{verbatim}
[ObjectType]
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}Objects:\newline
Finds object of type ObjectType\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Word]
\end{verbatim}\end{minipage}\\\hline

\begin{minipage}[t]{4cm}\begin{verbatim}
[A]
[B]
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}Adjacency:\newline
Finds objects of type A that are adjacent to objects of type B.  However, if there is a gap in the context, that gap will be ignored and objects on either side of the gap will be "adjacent"\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Word]
[Phrase]
\end{verbatim}\end{minipage}\\\hline

\begin{minipage}[t]{4cm}\begin{verbatim}
[A]!
[B]
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}Strict adjacency:\newline
Finds objects of type A that are \_really\_ adjacent to objects of type B.  No gaps allowed.\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Word]![Word]
\end{verbatim}\end{minipage}\\\hline

\begin{minipage}[t]{4cm}\begin{verbatim}
[A
  [B]
]
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}Embedding:\newline
Finds objects of type A inside which there is an embedded object of type B.\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Phrase
  [Word]
]
\end{verbatim}\end{minipage}\\\hline

\end{tabular}
\bigskip




{\bf Arbitrary space}



\bigskip
\begin{tabular}{*{3}{|l}|}
\hline
\begin{minipage}[t]{4cm}Construction\end{minipage} & \begin{minipage}[t]{4cm}Meaning\end{minipage} & \begin{minipage}[t]{4cm}Example\end{minipage}\\\hline


\begin{minipage}[t]{4cm}\begin{verbatim}
[A
  [B]
  ..
  [C]
]
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}Arbitrary space:\newline
Finds objects of type A, inside of which
  ther are two objects, one of type B and one of type C, and they need
  not be adjacent (though they can be).\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Clause
  [Phrase]
  ..
  [Phrase]
]
\end{verbatim}\end{minipage}\\\hline

\begin{minipage}[t]{4cm}\begin{verbatim}
[A
  [B]
  .. <= 5
  [C]
]
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}Arbitrary space with restriction:\newline
Finds objects of type A,
  inside of which ther are two objects, one of type B and one of type
  C, and they need not be adjacent (though they can be), and there may
  be up to 5 monads between them.\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Clause
  [Phrase]
  .. <= 20
  [Phrase]
]
\end{verbatim}\end{minipage}\\\hline

\begin{minipage}[t]{4cm}\begin{verbatim}
[A
  [B]
  .. < 6
  [C]
]
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}Arbitrary space with restriction:\newline
Finds objects of type A,
  inside of which ther are two objects, one of type B and one of type
  C, and they need not be adjacent (though they can be), and there may
  be up to 5 monads between them.\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Clause
  [Phrase]
  .. < 21
  [Phrase]
]
\end{verbatim}\end{minipage}\\\hline

\begin{minipage}[t]{4cm}\begin{verbatim}
[A
  [B]
  .. BETWEEN 3 AND 6
  [C]
]
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}Arbitrary space with restriction:\newline
Finds objects of type A,
  inside of which ther are two objects, one of type B and one of type
  C, and they need not be adjacent (though they can be), and there
  must be at least 3 and at most 6 monads between them.\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Clause
  [Word]
  .. BETWEEN 2 AND 5
  [Word]
]
\end{verbatim}\end{minipage}\\\hline

\end{tabular}
\bigskip


\subsubsection{Feature-restrictions}




{\bf Basic feature-restrictions}



\bigskip
\begin{tabular}{*{3}{|l}|}
\hline

\begin{minipage}[t]{4cm}Construction\end{minipage} & \begin{minipage}[t]{4cm}Meaning\end{minipage} & \begin{minipage}[t]{4cm}Example\end{minipage}\\\hline

\begin{minipage}[t]{4cm}\begin{verbatim}
[A myfeature = val]
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}Feature-equality: A's feature "myfeature" must have value "val".\newline
Other comparison-operators include:
\begin{itemize}
  
\item "$<$$>$": inequality (different from)
  
\item "$<$": less than
  
\item "$>$": greather than
  
\item "$<$=": less than or equal to
  
\item "$>$=": greater than or equal to
\end{itemize}\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Word lemma="see"]
\end{verbatim}\end{minipage}\\\hline

\begin{minipage}[t]{4cm}\begin{verbatim}
[A myfeature 
   IN (value-list)]
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}Value-list:\newline
A.myfeature must be an enumeration, and
  value-list must be a comma-separated list of enumeration constants
  in parentheses.  The meaning is as if an OR had been placed between
  individual equality (=) comparisons between the feature and the members
  of the list.\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Word pos IN 
     (article,noun,
      conjunction,
      adjective)]

\end{verbatim}\end{minipage}\\\hline


\begin{minipage}[t]{4cm}\begin{verbatim}
[A myfeature 
      ~ "regex"]
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}Regular expression:\newline
A.myfeature is matched via the regular
  expression "regex".  The regular expressions are compatible with
  Perl 5.  Can only be used with string-features.\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Word lemma 
       ~ "A(b|a|e)*"]
\end{verbatim}\end{minipage}\\\hline

\begin{minipage}[t]{4cm}\begin{verbatim}
[A myfeature 
       !~ "regex"]
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}Negated regular expression: Matches those objects for which the
  feature in question does NOT match the regular expression. Can only
  be used with string-features.\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Word surface 
       !~ "se(a|e)"]
\end{verbatim}\end{minipage}\\\hline


\end{tabular}
\bigskip




{\bf Boolean combinations of feature-restrictions}



\bigskip
\begin{tabular}{*{3}{|l}|}
\hline
\begin{minipage}[t]{4cm}\begin{verbatim}
[A feature1 = value1 
  AND 
  feature2 = value2
]
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}Conjunction:\newline
Both feature-comparisons must be true at the same time for the object to match.\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Word lemma="see" 
   AND tense=past]
\end{verbatim}\end{minipage}\\\hline

\begin{minipage}[t]{4cm}\begin{verbatim}
[A feature1 = value1
 OR feature2 = value2
]
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}Disjunction:\newline
If either of the feature-comparisons evaluates to true, then the object matches.\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Phrase 
   phrase_type = NP 
   OR phrase_type=PP
]
\end{verbatim}\end{minipage}\\\hline

\begin{minipage}[t]{4cm}\begin{verbatim}
[A NOT 
 feature1 = value1]
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}Negation:\newline
The feature-comparison must not be true.\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Word NOT pos=verb]
\end{verbatim}\end{minipage}\\\hline

\begin{minipage}[t]{4cm}\begin{verbatim}
[A (feature1 = value1
   OR 
  feature2 = value2)
   AND 
  feature3 = value3)
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}Grouping:\newline
Parentheses can be used to group feature-comparisons.\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Phrase 
    phrase_type = VP 
AND
 (function = Predicate
 OR 
 function = PredCmpl)
]
\end{verbatim}\end{minipage}\\\hline


\end{tabular}
\bigskip


\subsubsection{First/last}




An object can be first, last, or first and last in its context.



\bigskip
\begin{tabular}{*{3}{|l}|}
\hline

\begin{minipage}[t]{4cm}Construction\end{minipage} & \begin{minipage}[t]{4cm}Meaning\end{minipage} & \begin{minipage}[t]{4cm}Example\end{minipage}\\\hline


\begin{minipage}[t]{4cm}\begin{verbatim}
[B
  [A first]
]
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}The A object must be first in the context of the B object.\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Phrase
   [Word first]
   [Word]
]
\end{verbatim}\end{minipage}\\\hline

\begin{minipage}[t]{4cm}\begin{verbatim}
[B
  [A last]
]
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}The A object must be last in the context of the B object.\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Phrase
   [Word]
   ..
   [Word last]
]
\end{verbatim}\end{minipage}\\\hline

	
\begin{minipage}[t]{4cm}\begin{verbatim}
[B
  [A first and last]
]
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}The A object must be both first and last in the context of the B object.\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Phrase
   [Word first 
         and last]
]
\end{verbatim}\end{minipage}\\\hline


\end{tabular}
\bigskip


\subsubsection{Object references}




You can give an object a name with the "AS" keyword and then refer
to that object later in the query with the "dot notation".



\bigskip
\begin{tabular}{*{3}{|l}|}
\hline

\begin{minipage}[t]{4cm}Construction\end{minipage} & \begin{minipage}[t]{4cm}Meaning\end{minipage} & \begin{minipage}[t]{4cm}Example\end{minipage}\\\hline


\begin{minipage}[t]{4cm}\begin{verbatim}
[A AS a1
  [B feature_on_B = 
     a1.feature_on_A]
]
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}B's feature\_on\_B feature must be the same as the feature\_on\_A feature on the A object.\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Phrase AS p1
  // The phrase must
  // be the immediate
  // ancestor of the
  // word
  [Word parent = 
        p1.self]
]
\end{verbatim}\end{minipage}\\\hline


\end{tabular}
\bigskip



\subsubsection{NOTEXIST and Kleene Star}




The NOTEXIST keyword tells that an object must not exist at a given
point.




The Kleene-Star tells that an object must occur either 0, 1, or
more times.




The Kleene-Star with a set of integers tucked behind tells the
exact number of times the object may occur.




Currently, the Kleene Star cannot be used on the first object in a
context, or the first object after a "..".



\bigskip
\begin{tabular}{*{3}{|l}|}
\hline

\begin{minipage}[t]{4cm}Construction\end{minipage} & \begin{minipage}[t]{4cm}Meaning\end{minipage} & \begin{minipage}[t]{4cm}Example\end{minipage}\\\hline

\begin{minipage}[t]{4cm}\begin{verbatim}
[A NOTEXIST [B]]
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}There must not exist a B inside of A.\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Sentence
   NOTEXIST [Word 
       surface="saw"]
]
\end{verbatim}\end{minipage}\\\hline

\begin{minipage}[t]{4cm}\begin{verbatim}
[A
  [B]
  [C]*
]
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}Inside of A, there must be a B, followed by zero or more C's.\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Phrase
  [Word first 
     pos=preposition]
  [Word pos IN 
      (article,noun,
       conjunction)]*
]
\end{verbatim}\end{minipage}\\\hline

\begin{minipage}[t]{4cm}\begin{verbatim}
[A
  [B]
  [C]*{0,1}
]
\end{verbatim}\end{minipage} & \begin{minipage}[t]{4cm}Inside of A, there must occur a B object, followed by either 0 or 1 C objects.  Note how this makes the C object optional.\end{minipage} & \begin{minipage}[t]{4cm}\begin{verbatim}
[Clause
  [word 
    pos="conjunction"]
  [word 
    pos="conjunction"
  ]*{0,1}
]
\end{verbatim}\end{minipage}\\\hline


\end{tabular}
\bigskip






\end{document}