Target:
syntax
Kind:
aggr
aggrnot
all
article
attr
attrnot
condreg
constr
def
dfs
exreg
format
func
funcnot
funcreg
idreg
item
keyword
mode
modenot
notat
number
pred
prednot
reg
sch
sel
selnot
stat
string
struct
structnot
symbol
texmacro
th
thdef
version
vocG
vocK
vocL
vocM
vocO
vocR
vocU
vocV
Basic operations:
address first
address fourth
address second
address third
antecedent
antonym
article
articles
articles1
articles2
articles3
articles4
artnbr
artoccur
associativity
asymmetry
author
author first
author fourth
author nbr
author second
author third
authors
baseterm ref
basetype ref
by ref
cluster
commutativity
connectedness
consequent
constructor
copy
defaultnot
definiens
definition
deftype ref
dependence
description
direct
direct notation
dli
equals
expandable ref
extoccur
field
firstnot
format
id
idempotence
intypeattr
involutiveness
irreflexivity
keyword
kind
loci ref
mainfunc
mainmode
mothertype ref
negative antecedent
negative cluster
negative consequent
negative intypeattr
negative occur
negative ref
notation
number
occur
opposite
opposite notation
origin
otherwise
outtypeattr
parameter ref
percases
positive antecedent
positive cluster
positive consequent
positive intypeattr
positive occur
positive ref
prefix ref
premise ref
projectivity
redef
ref
reflexivity
renaming
sections
submitted
submitted day
submitted month
submitted year
summary
symbol
symmetry
synonym
termtype ref
texmacro
thesis ref
title
transitivity
translation
universe ref
visible
vocabulary
widening
Reserved words:
#
&
(
(.
)
*
+
.)
/
<
<=
=
>
>=
@
[
]
abbr
abbreviations
address
aggr
aggrnot
all
and
antecedent
antonym
article
articles
articles1
articles2
articles3
articles4
artnbr
artoccur
as
associativity
asymmetry
at
atleast
atmost
attr
attrnot
author
authors
baseterm
basetype
but
butnot
by
cluster
commutativity
condreg
connectedness
consequent
const
constr
constructor
constructors
copy
counts
day
def
defaultnot
definiens
definition
deftype
dependence
description
dfs
direct
dli
eq
equals
every
exactly
excl
expandable
exreg
extoccur
fam
field
filter
first
firstnot
fmkeywords
foreach
format
fourth
from
func
funcnot
funcreg
fuzzy
geq
grep
gt
id
idempotence
idreg
in
incl
interpretation
intypeattr
involutiveness
irreflexivity
item
iter
keyword
kind
least
leq
list
loci
lt
mainfunc
mainmode
mode
modenot
month
most
mothertype
nbr
negative
nexcl
nincl
not
notat
notation
number
occur
of
on
oper
operation
opposite
or
origin
otherwise
outtypeattr
parameter
percases
plus
positive
pred
prednot
prefix
premise
projectivity
redef
ref
reflexivity
reg
renaming
reset
resource
rough
save
sch
second
sections
sel
selnot
sequence
set
show
stat
string
struct
structnot
submitted
summary
symbol
symmetry
synonym
termtype
texmacro
th
thdef
thesis
third
title
to
transitivity
translation
universe
version
visible
vocG
vocK
vocL
vocM
vocO
vocR
vocU
vocV
vocabulary
where
widening
year
{
|
}
Buffers
input options
Input options
rows
articles
cols
symbols
buffers
resource operations
alpha