Attention: Maintenance on monday 19.04.2021 from 07:00 - 13:00 (Gitlab and Mattermost are offline!)

Commit e0776204 authored by Michael Kohlhase's avatar Michael Kohlhase

more experiments

parent 7566c421
This diff is collapsed.
--# -path=.:../abstract:../common:../api
--# -path=.:../abstract:../common:../api:../english
concrete MathEng of Math =
......@@ -13,6 +13,7 @@ lin
prime_A = regA "prime" ;
integer_N = regN "integer" ;
call_V2 = dirV2 (regV "call") ;
-- lin call_V2 = mkV2 (mkV "call" "calls" "called" "called" "calling");
iff_Subj = mkSubj "iff";
three_PN = mkPN (mkN nonhuman (mkN "three")) ;
-- for the Math Grammar
......@@ -162,7 +162,8 @@ or something logically equivalent.
We have started a grammar \lstinline||/\lstinline|| which can partially
do that. They add \lstinline|| and \lstinline|| in
Figure~\ref{fig:mathlex} to the grammars \lstinline||/\lstinline|| from
the GF distribution.
the GF distribution. \lstinline|test.gfs| contains a list of test phrases that can already
be parsed.
p -cat=NP "a positive integer"
p -cat=NP "We call a positive integer a prime integer"
p -cat=NP "a positive integer $n$"
p -cat=NP "We call a positive integer a prime number"
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment