gate.SourceURL
file:/afs/csl.tjhsst.edu/user/mlee1/knowledge/bio/test/Euclid.html
MimeType
text/html
Euclid
Euclid of Alexandria
Born: about 325 BC
Died: about 265 BC in Alexandria, Egypt
Euclid of Alexandria is the most prominent mathematician of antiquity best known for his treatise on mathematics The Elements . The long lasting nature of The Elements must make Euclid the leading mathematics teacher of all time. However little is known of Euclid's life except that he taught at Alexandria in Egypt. Proclus, the last major Greek philosopher, who lived around 450 AD wrote (see [1] or [9] or many other sources):-
Not much younger than these [ pupils of Plato ] is Euclid, who put together the "Elements", arranging in order many of Eudoxus's theorems, perfecting many of Theaetetus's, and also bringing to irrefutable demonstration the things which had been only loosely proved by his predecessors. This man lived in the time of the first Ptolemy; for Archimedes, who followed closely upon the first Ptolemy makes mention of Euclid, and further they say that Ptolemy once asked him if there were a shorted way to study geometry than the Elements, to which he replied that there was no royal road to geometry. He is therefore younger than Plato's circle, but older than Eratosthenes and Archimedes; for these were contemporaries, as Eratosthenes somewhere says. In his aim he was a Platonist, being in sympathy with this philosophy, whence he made the end of the whole "Elements" the construction of the so-called Platonic figures.
There is other information about Euclid given by certain authors but it is not thought to be reliable. Two different types of this extra information exists. The first type of extra information is that given by Arabian authors who state that Euclid was the son of Naucrates and that he was born in Tyre. It is believed by historians of mathematics that this is entirely fictitious and was merely invented by the authors.
The second type of information is that Euclid was born at Megara. This is due to an error on the part of the authors who first gave this information. In fact there was a Euclid of Megara, who was a philosopher who lived about 100 years before the mathematician Euclid of Alexandria. It is not quite the coincidence that it might seem that there were two learned men called Euclid. In fact Euclid was a very common name around this period and this is one further complication that makes it difficult to discover information concerning Euclid of Alexandria since there are references to numerous men called Euclid in the literature of this period.
Returning to the quotation from Proclus given above, the first point to make is that there is nothing inconsistent in the dating given. However, although we do not know for certain exactly what reference to Euclid in Archimedes' work Proclus is referring to, in what has come down to us there is only one reference to Euclid and this occurs in On the sphere and the cylinder. The obvious conclusion, therefore, is that all is well with the argument of Proclus and this was assumed until challenged by Hjelmslev in [48]. He argued that the reference to Euclid was added to Archimedes book at a later stage, and indeed it is a rather surprising reference. It was not the tradition of the time to give such references, moreover there are many other places in Archimedes where it would be appropriate to refer to Euclid and there is no such reference. Despite Hjelmslev's claims that the passage has been added later, Bulmer-Thomas writes in [1]:-
Although it is no longer possible to rely on this reference, a general consideration of Euclid's works ... still shows that he must have written after such pupils of Plato as Eudoxus and before Archimedes.
For further discussion on dating Euclid, see for example [8]. This is far from an end to the arguments about Euclid the mathematician. The situation is best summed up by Itard [11] who gives three possible hypotheses.
(i) Euclid was an historical character who wrote the Elements and the other works attributed to him.
(ii) Euclid was the leader of a team of mathematicians working at Alexandria. They all contributed to writing the 'complete works of Euclid', even continuing to write books under Euclid's name after his death.
(iii) Euclid was not an historical character. The 'complete works of Euclid' were written by a team of mathematicians at Alexandria who took the name Euclid from the historical character Euclid of Megara who had lived about 100 years earlier.
It is worth remarking that Itard, who accepts Hjelmslev's claims that the passage about Euclid was added to Archimedes, favours the second of the three possibilities that we listed above. We should, however, make some comments on the three possibilities which, it is fair to say, sum up pretty well all possible current theories.
There is some strong evidence to accept (i). It was accepted without question by everyone for over 2000 years and there is little evidence which is inconsistent with this hypothesis. It is true that there are differences in style between some of the books of the Elements yet many authors vary their style. Again the fact that Euclid undoubtedly based the Elements on previous works means that it would be rather remarkable if no trace of the style of the original author remained.
Even if we accept (i) then there is little doubt that Euclid built up a vigorous school of mathematics at Alexandria. He therefore would have had some able pupils who may have helped out in writing the books. However hypothesis (ii) goes much further than this and would suggest that different books were written by different mathematicians. Other than the differences in style referred to above, there is little direct evidence of this.
Although on the face of it (iii) might seem the most fanciful of the three suggestions, nevertheless the 20 th century example of Bourbaki shows that it is far from impossible. Henri Cartan, Andr? Weil, Jean Dieudonn?, Claude Chevalley, and Alexander Grothendieck wrote collectively under the name of Bourbaki and Bourbaki's El?ments de math?matiques contains more than 30 volumes. Of course if (iii) were the correct hypothesis then Apollonius, who studied with the pupils of Euclid in Alexandria, must have known there was no person 'Euclid' but the fact that he wrote:-
.... Euclid did not work out the syntheses of the locus with respect to three and four lines, but only a chance portion of it ...
certainly does not prove that Euclid was an historical character since there are many similar references to Bourbaki by mathematicians who knew perfectly well that Bourbaki was fictitious. Nevertheless the mathematicians who made up the Bourbaki team are all well known in their own right and this may be the greatest argument against hypothesis (iii) in that the 'Euclid team' would have to have consisted of outstanding mathematicians. So who were they?
We shall assume in this article that hypothesis (i) is true but, having no knowledge of Euclid, we must concentrate on his works after making a few comments on possible historical events. Euclid must have studied in Plato's Academy in Athens to have learnt of the geometry of Eudoxus and Theaetetus of which he was so familiar.
None of Euclid's works have a preface, at least none has come down to us so it is highly unlikely that any ever existed, so we cannot see any of his character, as we can of some other Greek mathematicians, from the nature of their prefaces. Pappus writes (see for example [1]) that Euclid was:-
... most fair and well disposed towards all who were able in any measure to advance mathematics, careful in no way to give offence, and although an exact scholar not vaunting himself.
Some claim these words have been added to Pappus, and certainly the point of the passage (in a continuation which we have not quoted) is to speak harshly (and almost certainly unfairly) of Apollonius. The picture of Euclid drawn by Pappus is, however, certainly in line with the evidence from his mathematical texts. Another story told by Stobaeus [9] is the following:-
... someone who had begun to learn geometry with Euclid, when he had learnt the first theorem, asked Euclid "What shall I get by learning these things?" Euclid called his slave and said "Give him threepence since he must make gain out of what he learns".
Euclid's most famous work is his treatise on mathematics The Elements . The book was a compilation of knowledge that became the centre of mathematical teaching for 2000 years. Probably no results in The Elements were first proved by Euclid but the organisation of the material and its exposition are certainly due to him. In fact there is ample evidence that Euclid is using earlier textbooks as he writes the Elements since he introduces quite a number of definitions which are never used such as that of an oblong, a rhombus, and a rhomboid.
The Elements begins with definitions and five postulates. The first three postulates are postulates of construction, for example the first postulate states that it is possible to draw a straight line between any two points. These postulates also implicitly assume the existence of points, lines and circles and then the existence of other geometric objects are deduced from the fact that these exist. There are other assumptions in the postulates which are not explicit. For example it is assumed that there is a unique line joining any two points. Similarly postulates two and three, on producing straight lines and drawing circles, respectively, assume the uniqueness of the objects the possibility of whose construction is being postulated.
The fourth and fifth postulates are of a different nature. Postulate four states that all right angles are equal. This may seem "obvious" but it actually assumes that space in homogeneous - by this we mean that a figure will be independent of the position in space in which it is placed. The famous fifth, or parallel, postulate states that one and only one line can be drawn through a point parallel to a given line. Euclid's decision to make this a postulate led to Euclidean geometry. It was not until the 19 th century that this postulate was dropped and non-euclidean geometries were studied.
There are also axioms which Euclid calls 'common notions'. These are not specific geometrical properties but rather general assumptions which allow mathematics to proceed as a deductive science. For example:-
Things which are equal to the same thing are equal to each other.
Zeno of Sidon, about 250 years after Euclid wrote the Elements , seems to have been the first to show that Euclid's propositions were not deduced from the postulates and axioms alone, and Euclid does make other subtle assumptions.
The Elements is divided into 13 books. Books one to six deal with plane geometry. In particular books one and two set out basic properties of triangles, parallels, parallelograms, rectangles and squares. Book three studies properties of the circle while book four deals with problems about circles and is thought largely to set out work of the followers of Pythagoras. Book five lays out the work of Eudoxus on proportion applied to commensurable and incommensurable magnitudes. Heath says [9]:-
Greek mathematics can boast no finer discovery than this theory, which put on a sound footing so much of geometry as depended on the use of proportion.
Book six looks at applications of the results of book five to plane geometry.
Books seven to nine deal with number theory. In particular book seven is a self-contained introduction to number theory and contains the Euclidean algorithm for finding the greatest common divisor of two numbers. Book eight looks at numbers in geometrical progression but van der Waerden writes in [2] that it contains:-
... cumbersome enunciations, needless repetitions, and even logical fallacies. Apparently Euclid's exposition excelled only in those parts in which he had excellent sources at his disposal.
Book ten deals with the theory of irrational numbers and is mainly the work of Theaetetus. Euclid changed the proofs of several theorems in this book so that they fitted the new definition of proportion given by Eudoxus.
Books eleven to thirteen deal with three-dimensional geometry. In book thirteen the basic definitions needed for the three books together are given. The theorems then follow a fairly similar pattern to the two-dimensional analogues previously given in books one and four. The main results of book twelve are that circles are to one another as the squares of their diameters and that spheres are to each other as the cubes of their diameters. These results are certainly due to Eudoxus. Euclid proves these theorems using the "method of exhaustion" as invented by Eudoxus. The Elements ends with book thirteen which discusses the properties of the five regular polyhedra and gives a proof that there are precisely five. This book appears to be based largely on an earlier treatise by Theaetetus.
Euclid's Elements is remarkable for the clarity with which the theorems are stated and proved. The standard of rigour was to become a goal for the inventors of the calculus centuries later. As Heath writes in [9]:-
This wonderful book, with all its imperfections, which are indeed slight enough when account is taken of the date it appeared, is and will doubtless remain the greatest mathematical textbook of all time. ... Even in Greek times the most accomplished mathematicians occupied themselves with it: Heron, Pappus, Porphyry, Proclus and Simplicius wrote commentaries; Theon of Alexandria re-edited it, altering the language here and there, mostly with a view to greater clearness and consistency...
It is a fascinating story how the Elements has survived from Euclid's time and this is told well by Fowler in [7]. He describes the earliest material relating to the Elements which has survived:-
Our earliest glimpse of Euclidean material will be the most remarkable for a thousand years, six fragmentary ostraca containing text and a figure ... found on Elephantine Island in 1906/07 and 1907/08 ... These texts are early, though still more than 100 years after the death of Plato ( they are dated on palaeographic grounds to the third quarter of the third century BC ) ; advanced ( they deal with the results found in the "Elements" [ book thirteen ] ... on the pentagon, hexagon, decagon, and icosahedron ) ; and they do not follow the text of the Elements. ... So they give evidence of someone in the third century BC, located more than 500 miles south of Alexandria, working through this difficult material... this may be an attempt to understand the mathematics, and not a slavish copying ...
The next fragment that we have dates from 75 - 125 AD and again appears to be notes by someone trying to understand the material of the Elements.
More than one thousand editions of The Elements have been published since it was first printed in 1482. Heath [9] discusses many of the editions and describes the likely changes to the text over the years.
B L van der Waerden assesses the importance of the Elements in [2]:-
Almost from the time of its writing and lasting almost to the present, the Elements has exerted a continuous and major influence on human affairs. It was the primary source of geometric reasoning, theorems, and methods at least until the advent of non-Euclidean geometry in the 19 th century. It is sometimes said that, next to the Bible, the "Elements" may be the most translated, published, and studied of all the books produced in the Western world.
Euclid also wrote the following books which have survived: Data (with 94 propositions), which looks at what properties of figures can be deduced when other properties are given; On Divisions which looks at constructions to divide a figure into two parts with areas of given ratio; Optics which is the first Greek work on perspective; and Phaenomena which is an elementary introduction to mathematical astronomy and gives results on the times stars in certain positions will rise and set. Euclid's following books have all been lost: Surface Loci (two books), Porisms (a three book work with, according to Pappus, 171 theorems and 38 lemmas), Conics (four books), Book of Fallacies and Elements of Music. The Book of Fallacies is described by Proclus [1]:-
Since many things seem to conform with the truth and to follow from scientific principles, but lead astray from the principles and deceive the more superficial, [ Euclid ] has handed down methods for the clear-sighted understanding of these matters also ... The treatise in which he gave this machinery to us is entitled Fallacies, enumerating in order the various kinds, exercising our intelligence in each case by theorems of all sorts, setting the true side by side with the false, and combining the refutation of the error with practical illustration.
Elements of Music is a work which is attributed to Euclid by Proclus. We have two treatises on music which have survived, and have by some authors attributed to Euclid, but it is now thought that they are not the work on music referred to by Proclus.
Euclid may not have been a first class mathematician but the long lasting nature of The Elements must make him the leading mathematics teacher of antiquity or perhaps of all time. As a final personal note let me add that my [EFR] own introduction to mathematics at school in the 1950s was from an edition of part of Euclid's Elements and the work provided a logical basis for mathematics and the concept of proof which seem to be lacking in school mathematics today.
Article by: J J O'Connor and E F Robertson
January 1999
MacTutor History of Mathematics
[http://www-history.mcs.st-andrews.ac.uk/Mathematicians/Euclid.html]
category
IN
string
that
kind
word
orth
lowercase
length
4
category
VBP
string
state
kind
word
orth
lowercase
length
5
majorType
date_unit
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
control
length
1
string
category
RB
string
however
kind
word
orth
lowercase
length
7
category
NN
string
sphere
kind
word
orth
lowercase
length
6
neg
yes
tense
PreCon
voice
active
type
FVG
kind
space
length
1
string
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
between
kind
word
orth
lowercase
length
7
category
IN
string
that
kind
word
orth
lowercase
length
4
voice
passive
tense
SimPre
type
FVG
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VBZ
string
makes
kind
word
orth
lowercase
length
5
category
RB
string
pretty
kind
word
orth
lowercase
length
6
kind
control
length
1
string
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
long
class
Mathematician
category
NNP
string
Pappus
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
VBD
string
called
kind
word
orth
lowercase
length
6
category
VBZ
string
gives
kind
word
orth
lowercase
length
5
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
voice
none
tense
none
type
MODAL
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
IN
string
by
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
far
kind
word
orth
lowercase
length
3
category
NN
string
mathematics
kind
word
orth
lowercase
length
11
category
NN
string
]
kind
punctuation
position
endpunct
length
1
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
DT
string
The
kind
word
orth
upperInitial
length
3
category
NNS
string
Elements
kind
word
orth
upperInitial
length
8
voice
active
tense
Inf
type
NFVG
category
RB
string
not
kind
word
orth
lowercase
length
3
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
NNP
string
Book
kind
word
orth
upperInitial
length
4
majorType
time
minorType
hour
kind
space
length
1
string
kind
space
length
1
string
category
:
string
;
kind
punctuation
length
1
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
category
WDT
string
which
kind
word
orth
lowercase
length
5
category
DT
string
the
kind
word
orth
lowercase
length
3
category
DT
string
the
kind
word
orth
lowercase
length
3
voice
none
tense
HaveVBN
type
MODAL
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
space
length
1
string
category
JJ
string
particular
kind
word
orth
lowercase
length
10
kind
space
length
1
string
rule
mathematicianRule
matches
258867;258789;258784;258761;258787;258882;258884;258879
category
JJ
string
geometric
kind
word
orth
lowercase
length
9
category
NN
string
work
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
TO
string
to
kind
word
orth
lowercase
length
2
voice
passive
tense
SimPre
type
FVG
category
NN
string
fact
kind
word
orth
lowercase
length
4
category
NN
string
geometry
kind
word
orth
lowercase
length
8
kind
internal
kind
external
kind
space
length
1
string
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
long
class
Mathematician
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
VBZ
string
is
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
category
)
string
)
kind
punctuation
position
endpunct
length
1
category
JJ
string
mathematical
kind
word
orth
lowercase
length
12
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
rule
Unknown
kind
PN
kind
space
length
1
string
kind
space
length
1
string
category
PRP
string
we
kind
word
orth
lowercase
length
2
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
WDT
string
which
kind
word
orth
lowercase
length
5
category
CD
string
1999
kind
number
length
4
kind
space
length
1
string
category
RB
string
However
kind
word
orth
upperInitial
length
7
category
NN
string
note
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
category
NNP
string
J
kind
word
orth
upperInitial
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
Pre
type
PART
kind
space
length
1
string
category
DT
string
an
kind
word
orth
lowercase
length
2
category
VBN
string
stated
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
category
VBZ
string
has
kind
word
orth
lowercase
length
3
category
CD
string
450
kind
number
length
3
kind
space
length
1
string
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
majorType
time
minorType
hour
kind
space
length
1
string
rule
Unknown
kind
PN
kind
space
length
1
string
category
IN
string
by
kind
word
orth
lowercase
length
2
category
NNP
string
Book
kind
word
orth
upperInitial
length
4
kind
space
length
1
string
category
NNS
string
postulates
kind
word
orth
lowercase
length
10
kind
space
length
1
string
neg
yes
tense
SimPre
voice
active
type
FVG
majorType
number
category
NN
string
work
kind
word
orth
lowercase
length
4
category
EX
string
there
kind
word
orth
lowercase
length
5
category
JJ
string
www-history
kind
word
orth
lowercase
length
11
gender
male
rule
FirstName
kind
internal
category
NNS
string
theorems
kind
word
orth
lowercase
length
8
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
258791;258792;258797;258786;258809;258773;258767
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
than
kind
word
orth
lowercase
length
4
category
,
string
,
kind
punctuation
length
1
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
female
class
Person
category
RB
string
enough
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
oblong
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
IN
string
until
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
NNS
string
postulates
kind
word
orth
lowercase
length
10
kind
space
length
1
string
majorType
time
minorType
hour
category
VB
string
learn
kind
word
orth
lowercase
length
5
kind
control
length
1
string
rule
Unknown
kind
PN
kind
space
length
1
string
category
CD
string
five
kind
word
orth
lowercase
length
4
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
rule
mathematicianRule
matches
258791;258792;258797;258786;258809;258773;258767
category
IN
string
that
kind
word
orth
lowercase
length
4
category
)
string
)
kind
punctuation
position
endpunct
length
1
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
category
TO
string
to
kind
word
orth
lowercase
length
2
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
majorType
organization_noun
category
JJ
string
worth
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
PRP
string
it
kind
word
orth
lowercase
length
2
kind
control
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
NNP
string
Alexandria
kind
word
orth
upperInitial
length
10
category
NNS
string
Elements
kind
word
orth
upperInitial
length
8
category
VBZ
string
is
kind
word
orth
lowercase
length
2
category
CD
string
1
kind
number
length
1
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
category
IN
string
about
kind
word
orth
lowercase
length
5
category
VB
string
seem
kind
word
orth
lowercase
length
4
category
NNS
string
references
kind
word
orth
lowercase
length
10
kind
space
length
1
string
kind
space
length
1
string
category
PRP
string
it
kind
word
orth
lowercase
length
2
category
DT
string
any
kind
word
orth
lowercase
length
3
category
IN
string
in
kind
word
orth
lowercase
length
2
category
NNP
string
Eratosthenes
kind
word
orth
upperInitial
length
12
category
NNS
string
Elements
kind
word
orth
upperInitial
length
8
kind
internal
rule
mathematicianRule
matches
258779;258782;258757;258758
category
TO
string
to
kind
word
orth
lowercase
length
2
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
RB
string
certainly
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
VBZ
string
introduces
kind
word
orth
lowercase
length
10
kind
space
length
1
string
category
IN
string
from
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Theaetetus
kind
word
orth
upperInitial
length
10
category
IN
string
on
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
VB
string
rely
kind
word
orth
lowercase
length
4
category
TO
string
to
kind
word
orth
lowercase
length
2
category
VBN
string
set
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
internal
category
JJ
string
third
kind
word
orth
lowercase
length
5
category
NN
string
fact
kind
word
orth
lowercase
length
4
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NNP
string
Fallacies
kind
word
orth
upperInitial
length
9
category
IN
string
on
kind
word
orth
lowercase
length
2
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
NNS
string
Elements
kind
word
orth
upperInitial
length
8
kind
space
length
1
string
category
NN
string
perspective
kind
word
orth
lowercase
length
11
category
NNP
string
J
kind
word
orth
upperInitial
length
1
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
VB
string
exist
kind
word
orth
lowercase
length
5
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
JJ
string
human
kind
word
orth
lowercase
length
5
rule
Unknown
kind
PN
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
category
NNS
string
geometries
kind
word
orth
lowercase
length
10
kind
space
length
1
string
category
VB
string
become
kind
word
orth
lowercase
length
6
category
JJS
string
greatest
kind
word
orth
lowercase
length
8
category
NNS
string
mcs
kind
word
orth
lowercase
length
3
category
RB
string
exactly
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
RB
string
so
kind
word
orth
lowercase
length
2
category
VBZ
string
has
kind
word
orth
lowercase
length
3
voice
active
tense
SimPas
type
FVG
category
VBD
string
was
kind
word
orth
lowercase
length
3
category
VBD
string
were
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
kind
space
length
1
string
majorType
phone_prefix
category
VBG
string
arranging
kind
word
orth
lowercase
length
9
category
RB
string
certainly
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
number
category
RB
string
even
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NNS
string
Elements
kind
word
orth
upperInitial
length
8
kind
space
length
1
string
category
RB
string
implicitly
kind
word
orth
lowercase
length
10
category
IN
string
as
kind
word
orth
lowercase
length
2
category
NN
string
fragment
kind
word
orth
lowercase
length
8
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
DT
string
the
kind
word
orth
lowercase
length
3
category
VB
string
show
kind
word
orth
lowercase
length
4
voice
none
tense
Pas
type
PART
kind
space
length
1
string
rule
Unknown
kind
PN
category
DT
string
this
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
JJ
string
early
kind
word
orth
lowercase
length
5
category
DT
string
the
kind
word
orth
lowercase
length
3
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
NN
string
someone
kind
word
orth
lowercase
length
7
category
IN
string
of
kind
word
orth
lowercase
length
2
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
control
length
1
string
kind
control
length
1
string
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
external
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
made
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
IN
string
over
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
for
kind
word
orth
lowercase
length
3
category
NNS
string
pupils
kind
word
orth
lowercase
length
6
kind
internal
kind
space
length
1
string
category
NN
string
work
kind
word
orth
lowercase
length
4
category
IN
string
of
kind
word
orth
lowercase
length
2
category
''
string
"
kind
punctuation
length
1
category
IN
string
since
kind
word
orth
lowercase
length
5
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
internal
category
VBZ
string
is
kind
word
orth
lowercase
length
2
kind
space
length
1
string
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
category
,
string
,
kind
punctuation
length
1
category
RBS
string
most
kind
word
orth
lowercase
length
4
category
IN
string
about
kind
word
orth
lowercase
length
5
category
,
string
,
kind
punctuation
length
1
category
JJR
string
older
kind
word
orth
lowercase
length
5
category
.
string
?
kind
punctuation
length
1
category
IN
string
of
kind
word
orth
lowercase
length
2
category
IN
string
with
kind
word
orth
lowercase
length
4
category
NNP
string
Hjelmslev
kind
word
orth
upperInitial
length
9
category
IN
string
after
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
category
DT
string
The
kind
word
orth
upperInitial
length
3
category
NNP
string
Jean
kind
word
orth
upperInitial
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
about
kind
word
orth
lowercase
length
5
category
IN
string
Of
kind
word
orth
upperInitial
length
2
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
VBG
string
bringing
kind
word
orth
lowercase
length
8
category
JJ
string
following
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
NNS
string
theorems
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
category
MD
string
shall
kind
word
orth
lowercase
length
5
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
category
IN
string
that
kind
word
orth
lowercase
length
4
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
long
class
Mathematician
kind
space
length
1
string
kind
space
length
1
string
kind
control
length
1
string
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
category
DT
string
the
kind
word
orth
lowercase
length
3
category
RB
string
well
kind
word
orth
lowercase
length
4
kind
space
length
1
string
majorType
phone_prefix
category
VBG
string
using
kind
word
orth
lowercase
length
5
category
NNP
string
El?ments
kind
word
orth
upperInitial
length
8
gender
male
rule1
GazPersonFirst
rule
PersonFinal
matches
258996;258986;259005;258987;258988
category
NNP
string
January
kind
word
orth
upperInitial
length
7
category
IN
string
of
kind
word
orth
lowercase
length
2
category
NNP
string
Hjelmslev
kind
word
orth
upperInitial
length
9
category
IN
string
of
kind
word
orth
lowercase
length
2
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
kind
internal
kind
space
length
1
string
category
NNS
string
spheres
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
mathematics
kind
word
orth
lowercase
length
11
category
.
string
.
kind
punctuation
length
1
majorType
organization_noun
category
MD
string
can
kind
word
orth
lowercase
length
3
category
,
string
,
kind
punctuation
length
1
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
DT
string
This
kind
word
orth
upperInitial
length
4
kind
space
length
1
string
category
VBD
string
were
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
control
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
external
majorType
number
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
last
kind
word
orth
lowercase
length
4
category
VBP
string
mean
kind
word
orth
lowercase
length
4
category
JJ
string
general
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
category
CC
string
and
kind
word
orth
lowercase
length
3
category
DT
string
some
kind
word
orth
lowercase
length
4
rule
mathematicianRule
kind
space
length
1
string
category
JJ
string
equal
kind
word
orth
lowercase
length
5
category
VBN
string
given
kind
word
orth
lowercase
length
5
kind
external
category
PRP$
string
Our
kind
word
orth
upperInitial
length
3
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
majorType
date_unit
kind
space
length
1
string
majorType
phone_prefix
category
NN
string
passage
kind
word
orth
lowercase
length
7
category
IN
string
of
kind
word
orth
lowercase
length
2
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
VB
string
follow
kind
word
orth
lowercase
length
6
category
IN
string
that
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Waerden
kind
word
orth
upperInitial
length
7
voice
none
tense
Pas
type
PART
category
CC
string
or
kind
word
orth
lowercase
length
2
category
NNS
string
Books
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
claims
kind
word
orth
lowercase
length
6
kind
space
length
1
string
rule
mathematicianRule
matches
258846;258877;258878;258852;258851;258854;258848
voice
none
tense
none
type
MODAL
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
truth
kind
word
orth
lowercase
length
5
voice
none
tense
Pas
type
PART
category
DT
string
the
kind
word
orth
lowercase
length
3
rule
Unknown
kind
PN
category
NN
string
/
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VBN
string
produced
kind
word
orth
lowercase
length
8
category
VBN
string
published
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
category
NN
string
example
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
NN
string
importance
kind
word
orth
lowercase
length
10
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
IN
string
that
kind
word
orth
lowercase
length
4
majorType
time
minorType
hour
category
CD
string
eleven
kind
word
orth
lowercase
length
6
category
NN
string
[
kind
punctuation
position
startpunct
length
1
kind
space
length
1
string
category
VBD
string
was
kind
word
orth
lowercase
length
3
kind
control
length
1
string
neg
yes
tense
SimPre
voice
active
type
FVG
kind
space
length
1
string
category
NNS
string
repetitions
kind
word
orth
lowercase
length
11
kind
space
length
1
string
category
NNP
string
Pappus
kind
word
orth
upperInitial
length
6
category
PRP
string
it
kind
word
orth
lowercase
length
2
category
IN
string
from
kind
word
orth
lowercase
length
4
category
JJ
string
vigorous
kind
word
orth
lowercase
length
8
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
NNP
string
i
kind
word
orth
lowercase
length
1
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
category
WP
string
who
kind
word
orth
lowercase
length
3
category
VBZ
string
is
kind
word
orth
lowercase
length
2
majorType
stop
category
VBN
string
drawn
kind
word
orth
lowercase
length
5
category
NNP
string
Divisions
kind
word
orth
upperInitial
length
9
category
VBZ
string
is
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VBP
string
do
kind
word
orth
lowercase
length
2
kind
space
length
1
string
majorType
date
minorType
month
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
internal
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
category
NN
string
decagon
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
:
string
:
kind
punctuation
length
1
category
NNP
string
Porisms
kind
word
orth
upperInitial
length
7
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
majorType
number
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
majorType
date
minorType
ordinal
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
philosophy
kind
word
orth
lowercase
length
10
category
VBG
string
perfecting
kind
word
orth
lowercase
length
10
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
category
VBP
string
see
kind
word
orth
lowercase
length
3
rule
PersonFinal
rule1
GazPersonFirst
gender
male
category
VB
string
let
kind
word
orth
lowercase
length
3
gender
male
rule
FirstName
kind
space
length
1
string
kind
space
length
1
string
category
VBN
string
placed
kind
word
orth
lowercase
length
6
category
NN
string
reasoning
kind
word
orth
lowercase
length
9
category
CD
string
2000
kind
number
length
4
category
PRP
string
We
kind
word
orth
upperInitial
length
2
category
VBD
string
provided
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
organization_noun
category
VBN
string
quoted
kind
word
orth
lowercase
length
6
category
DT
string
all
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
time
minorType
hour
kind
internal
category
IN
string
for
kind
word
orth
lowercase
length
3
category
NNS
string
years
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
EX
string
there
kind
word
orth
lowercase
length
5
category
JJ
string
likely
kind
word
orth
lowercase
length
6
category
)
string
)
kind
punctuation
position
endpunct
length
1
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
rule
Unknown
kind
PN
voice
active
tense
SimPre
type
FVG
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
long
class
Mathematician
category
.
string
.
kind
punctuation
length
1
kind
internal
category
DT
string
these
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
In
kind
word
orth
upperInitial
length
2
category
VBN
string
challenged
kind
word
orth
lowercase
length
10
category
(
string
(
kind
punctuation
position
startpunct
length
1
kind
space
length
1
string
category
DT
string
The
kind
word
orth
upperInitial
length
3
kind
space
length
1
string
category
RB
string
Even
kind
word
orth
upperInitial
length
4
category
WP
string
what
kind
word
orth
lowercase
length
4
category
NNP
string
EFR
kind
word
orth
allCaps
length
3
category
DT
string
an
kind
word
orth
lowercase
length
2
category
VBD
string
was
kind
word
orth
lowercase
length
3
kind
control
length
1
string
kind
space
length
1
string
category
VBD
string
was
kind
word
orth
lowercase
length
3
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
kind
control
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
kind
control
length
1
string
rule
mathematicianRule
matches
258824;258762;258795;258872;258771
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
astronomy
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
space
length
1
string
kind
internal
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
category
IN
string
around
kind
word
orth
lowercase
length
6
category
CC
string
but
kind
word
orth
lowercase
length
3
category
JJ
string
first
kind
word
orth
lowercase
length
5
category
JJR
string
greater
kind
word
orth
lowercase
length
7
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
majorType
organization_noun
kind
space
length
1
string
kind
space
length
1
string
majorType
time
minorType
hour
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
category
NNP
string
Theaetetus
kind
word
orth
upperInitial
length
10
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
category
NNP
string
Euclidean
kind
word
orth
upperInitial
length
9
kind
space
length
1
string
voice
none
tense
none
type
MODAL
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
majorType
date_unit
kind
space
length
1
string
kind
space
length
1
string
category
CD
string
250
kind
number
length
3
rule
Unknown
kind
PN
category
DT
string
the
kind
word
orth
lowercase
length
3
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
JJ
string
slight
kind
word
orth
lowercase
length
6
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
POS
string
'
kind
punctuation
length
1
kind
space
length
1
string
category
WDT
string
which
kind
word
orth
lowercase
length
5
rule
Unknown
kind
PN
category
.
string
.
kind
punctuation
length
1
rule
mathematicianRule
matches
258855;258826;258861;258765
category
JJR
string
younger
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
NN
string
geometry
kind
word
orth
lowercase
length
8
category
)
string
)
kind
punctuation
position
endpunct
length
1
category
NN
string
[
kind
punctuation
position
startpunct
length
1
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
PRP
string
he
kind
word
orth
lowercase
length
2
kind
space
length
1
string
majorType
time
minorType
hour
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
category
IN
string
of
kind
word
orth
lowercase
length
2
category
RB
string
well
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
category
IN
string
in
kind
word
orth
lowercase
length
2
category
CC
string
but
kind
word
orth
lowercase
length
3
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
control
length
1
string
category
NN
string
school
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
careful
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
DT
string
The
kind
word
orth
upperInitial
length
3
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
category
JJ
string
fair
kind
word
orth
lowercase
length
4
category
VBP
string
are
kind
word
orth
lowercase
length
3
category
WP
string
who
kind
word
orth
lowercase
length
3
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
category
NNS
string
books
kind
word
orth
lowercase
length
5
category
NN
string
antiquity
kind
word
orth
lowercase
length
9
kind
space
length
1
string
majorType
stop
kind
space
length
1
string
kind
control
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
NN
string
teacher
kind
word
orth
lowercase
length
7
kind
space
length
1
string
voice
active
tense
Pre
type
PART
category
DT
string
a
kind
word
orth
lowercase
length
1
category
NNP
string
Archimedes
kind
word
orth
upperInitial
length
10
kind
space
length
1
string
kind
internal
category
VBD
string
was
kind
word
orth
lowercase
length
3
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
VBP
string
are
kind
word
orth
lowercase
length
3
category
VBD
string
did
kind
word
orth
lowercase
length
3
category
IN
string
since
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
VBG
string
remarking
kind
word
orth
lowercase
length
9
category
VBN
string
proved
kind
word
orth
lowercase
length
6
category
NNP
string
Eudoxus
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
category
DT
string
these
kind
word
orth
lowercase
length
5
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
kind
space
length
1
string
category
WP
string
who
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
NNS
string
mathematicians
kind
word
orth
lowercase
length
14
kind
space
length
1
string
category
JJ
string
certain
kind
word
orth
lowercase
length
7
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
category
JJ
string
able
kind
word
orth
lowercase
length
4
kind
internal
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
fifth
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
VBN
string
survived
kind
word
orth
lowercase
length
8
kind
external
category
NNP
string
Academy
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
category
DT
string
these
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
Almost
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
kind
space
length
1
string
category
CD
string
325
kind
number
length
3
category
NN
string
work
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
IN
string
for
kind
word
orth
lowercase
length
3
kind
space
length
1
string
majorType
date
minorType
ordinal
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
,
string
,
kind
punctuation
length
1
category
VB
string
remain
kind
word
orth
lowercase
length
6
category
JJ
string
first
kind
word
orth
lowercase
length
5
category
DT
string
the
kind
word
orth
lowercase
length
3
category
IN
string
by
kind
word
orth
lowercase
length
2
category
CC
string
but
kind
word
orth
lowercase
length
3
category
IN
string
In
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
non-euclidean
kind
word
orth
lowercase
length
13
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
kind
space
length
1
string
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
IN
string
that
kind
word
orth
lowercase
length
4
category
DT
string
this
kind
word
orth
lowercase
length
4
category
JJ
string
numerous
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
kind
internal
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
WDT
string
which
kind
word
orth
lowercase
length
5
category
IN
string
that
kind
word
orth
lowercase
length
4
category
VB
string
make
kind
word
orth
lowercase
length
4
category
NNS
string
problems
kind
word
orth
lowercase
length
8
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
IN
string
with
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
external
category
NNS
string
theorems
kind
word
orth
lowercase
length
8
kind
space
length
1
string
majorType
date
minorType
ordinal
category
WP
string
What
kind
word
orth
upperInitial
length
4
category
DT
string
the
kind
word
orth
lowercase
length
3
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
NNS
string
favours
kind
word
orth
lowercase
length
7
voice
active
tense
Inf
type
NFVG
category
NNS
string
events
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
majorType
jobtitle
kind
space
length
1
string
voice
active
tense
PrePer
type
FVG
category
NNS
string
Elements
kind
word
orth
upperInitial
length
8
category
NNS
string
circles
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
VBD
string
was
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NNS
string
affairs
kind
word
orth
lowercase
length
7
kind
internal
category
IN
string
Despite
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
DT
string
another
kind
word
orth
lowercase
length
7
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
category
IN
string
although
kind
word
orth
lowercase
length
8
category
PRP
string
We
kind
word
orth
upperInitial
length
2
voice
active
tense
SimPre
type
FVG
category
NN
string
course
kind
word
orth
lowercase
length
6
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
NN
string
proportion
kind
word
orth
lowercase
length
10
category
IN
string
of
kind
word
orth
lowercase
length
2
category
IN
string
between
kind
word
orth
lowercase
length
7
category
IN
string
in
kind
word
orth
lowercase
length
2
majorType
number
kind
space
length
1
string
kind
space
length
1
string
majorType
phone_prefix
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
female
class
Person
category
IN
string
by
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NN
string
reference
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
NN
string
nature
kind
word
orth
lowercase
length
6
category
NN
string
mathematics
kind
word
orth
lowercase
length
11
category
NN
string
postulate
kind
word
orth
lowercase
length
9
category
VBP
string
are
kind
word
orth
lowercase
length
3
rule
mathematicianRule
category
VBP
string
are
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
PRP
string
it
kind
word
orth
lowercase
length
2
category
CD
string
one
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
internal
majorType
date
minorType
ordinal
kind
control
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
The
kind
word
orth
upperInitial
length
3
category
IN
string
de
kind
word
orth
lowercase
length
2
gender
male
rule1
GazPersonFirst
rule
PersonFinal
matches
258996;258986;259005;258987;258988
kind
space
length
1
string
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
category
NN
string
conclusion
kind
word
orth
lowercase
length
10
category
JJ
string
unlikely
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
DT
string
This
kind
word
orth
upperInitial
length
4
category
IN
string
that
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
VB
string
assume
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
majorType
time
minorType
hour
kind
space
length
1
string
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
category
MD
string
would
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
der
kind
word
orth
lowercase
length
3
category
IN
string
as
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
(
string
(
kind
punctuation
position
startpunct
length
1
category
NN
string
information
kind
word
orth
lowercase
length
11
category
DT
string
this
kind
word
orth
lowercase
length
4
category
NNP
string
Alexandria
kind
word
orth
upperInitial
length
10
category
NN
string
example
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
RB
string
rather
kind
word
orth
lowercase
length
6
category
DT
string
any
kind
word
orth
lowercase
length
3
category
IN
string
So
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
kind
control
length
1
string
kind
space
length
1
string
category
IN
string
that
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NNP
string
Proclus
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
JJS
string
earliest
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
JJ
string
difficult
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
RB
string
ever
kind
word
orth
lowercase
length
4
category
VBP
string
have
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NN
string
History
kind
word
orth
upperInitial
length
7
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
kind
space
length
1
string
majorType
number
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
control
length
1
string
category
JJ
string
historical
kind
word
orth
lowercase
length
10
rule
mathematicianRule
matches
258855;258826;258861;258765
category
RB
string
perfectly
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
VB
string
refer
kind
word
orth
lowercase
length
5
category
NN
string
school
kind
word
orth
lowercase
length
6
category
TO
string
to
kind
word
orth
lowercase
length
2
rule
Unknown
kind
PN
kind
space
length
1
string
category
)
string
)
kind
punctuation
position
endpunct
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
PRP$
string
its
kind
word
orth
lowercase
length
3
category
NN
string
argument
kind
word
orth
lowercase
length
8
category
CC
string
and
kind
word
orth
lowercase
length
3
category
IN
string
of
kind
word
orth
lowercase
length
2
category
PRP
string
It
kind
word
orth
upperInitial
length
2
majorType
number
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
PRP
string
me
kind
word
orth
lowercase
length
2
kind
control
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
VBD
string
followed
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
none
tense
Pas
type
PART
kind
internal
category
DT
string
each
kind
word
orth
lowercase
length
4
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
final
kind
word
orth
lowercase
length
5
category
JJ
string
many
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NN
string
source
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VBG
string
altering
kind
word
orth
lowercase
length
8
category
VB
string
have
kind
word
orth
lowercase
length
4
category
CD
string
9
kind
number
length
1
kind
space
length
1
string
majorType
stop
category
''
string
"
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
MD
string
shall
kind
word
orth
lowercase
length
5
category
NNS
string
uniqueness
kind
word
orth
lowercase
length
10
majorType
time
minorType
hour
category
NNS
string
states
kind
word
orth
lowercase
length
6
kind
space
length
1
string
voice
active
tense
Pre
type
PART
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
Elements
kind
word
orth
upperInitial
length
8
kind
external
category
NN
string
case
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
JJ
string
straight
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
:
string
;
kind
punctuation
length
1
rule
mathematicianRule
matches
258863;258873;258850
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
category
PRP
string
they
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
external
gender
female
rule
FirstName
category
RB
string
alone
kind
word
orth
lowercase
length
5
category
NNS
string
years
kind
word
orth
lowercase
length
5
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
IN
string
On
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
kind
space
length
1
string
category
POS
string
's
kind
word
orth
apostrophe
length
2
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
Other
kind
word
orth
upperInitial
length
5
category
NN
string
ii
kind
word
orth
lowercase
length
2
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
DT
string
These
kind
word
orth
upperInitial
length
5
category
NN
string
mathematics
kind
word
orth
lowercase
length
11
majorType
number
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
none
tense
HaveVBN
type
MODAL
kind
space
length
1
string
category
IN
string
if
kind
word
orth
lowercase
length
2
category
NN
string
goal
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
CC
string
or
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
external
kind
space
length
1
string
category
JJR
string
younger
kind
word
orth
lowercase
length
7
category
NNS
string
deals
kind
word
orth
lowercase
length
5
rule
Unknown
kind
PN
category
IN
string
on
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
Greek
kind
word
orth
upperInitial
length
5
category
VBD
string
were
kind
word
orth
lowercase
length
4
voice
active
tense
Per
type
NFVG
kind
internal
category
DT
string
the
kind
word
orth
lowercase
length
3
category
VBD
string
appeared
kind
word
orth
lowercase
length
8
category
VBZ
string
proves
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
not
kind
word
orth
lowercase
length
3
rule
Unknown
kind
PN
kind
space
length
1
string
kind
space
length
1
string
category
VBZ
string
is
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
(
string
(
kind
punctuation
position
startpunct
length
1
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
referred
kind
word
orth
lowercase
length
8
voice
active
tense
SimPre
type
FVG
rule
mathematicianRule
matches
258867;258789;258784;258761;258787;258882;258884;258879
kind
space
length
1
string
category
IN
string
with
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
algorithm
kind
word
orth
lowercase
length
9
category
.
string
.
kind
punctuation
length
1
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
PRP$
string
his
kind
word
orth
lowercase
length
3
category
NNP
string
Connor
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
kind
control
length
1
string
kind
space
length
1
string
category
RB
string
together
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
VBN
string
given
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VBN
string
added
kind
word
orth
lowercase
length
5
voice
none
tense
Pas
type
PART
kind
space
length
1
string
category
NNS
string
Books
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
category
VBD
string
was
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
VBN
string
given
kind
word
orth
lowercase
length
5
kind
space
length
1
string
neg
yes
tense
SimPre
voice
active
type
FVG
category
RB
string
down
kind
word
orth
lowercase
length
4
category
EX
string
there
kind
word
orth
lowercase
length
5
kind
space
length
1
string
majorType
time
minorType
hour
category
VBZ
string
says
kind
word
orth
lowercase
length
4
kind
space
length
1
string
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
category
DT
string
the
kind
word
orth
lowercase
length
3
category
RB
string
much
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
PRP
string
us
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NN
string
treatise
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
NNP
string
BC
kind
word
orth
allCaps
length
2
kind
space
length
1
string
category
WRB
string
how
kind
word
orth
lowercase
length
3
category
VBG
string
writing
kind
word
orth
lowercase
length
7
category
NN
string
sum
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
PRP
string
It
kind
word
orth
upperInitial
length
2
category
NN
string
consideration
kind
word
orth
lowercase
length
13
category
DT
string
this
kind
word
orth
lowercase
length
4
category
CD
string
100
kind
number
length
3
category
(
string
(
kind
punctuation
position
startpunct
length
1
category
CD
string
three
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
this
kind
word
orth
lowercase
length
4
kind
internal
voice
active
tense
SimPre
type
FVG
category
IN
string
of
kind
word
orth
lowercase
length
2
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
space
length
1
string
voice
none
tense
none
type
MODAL
category
NN
string
influence
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
voice
active
tense
SimPas
type
FVG
category
VBD
string
argued
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
JJ
string
other
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
team
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
category
VBD
string
were
kind
word
orth
lowercase
length
4
category
NNP
string
Hjelmslev
kind
word
orth
upperInitial
length
9
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
category
DT
string
all
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NN
string
present
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
majorType
stop
category
NNS
string
texts
kind
word
orth
lowercase
length
5
category
VBZ
string
is
kind
word
orth
lowercase
length
2
majorType
organization_noun
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VBG
string
working
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
CD
string
three
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
internal
category
NNP
string
Bourbaki
kind
word
orth
upperInitial
length
8
rule
Unknown
kind
PN
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
category
JJ
string
excelled
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
category
VBN
string
been
kind
word
orth
lowercase
length
4
category
JJ
string
Greek
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
category
JJ
string
possible
kind
word
orth
lowercase
length
8
category
WDT
string
which
kind
word
orth
lowercase
length
5
category
NNS
string
mathematicians
kind
word
orth
lowercase
length
14
kind
space
length
1
string
voice
none
tense
HaveVBN
type
MODAL
category
IN
string
of
kind
word
orth
lowercase
length
2
category
JJ
string
clear-sighted
kind
word
orth
lowercase
length
13
voice
active
tense
Pre
type
PART
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
style
kind
word
orth
lowercase
length
5
category
VBD
string
lived
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
NN
string
mathematician
kind
word
orth
lowercase
length
13
kind
space
length
1
string
category
NNS
string
men
kind
word
orth
lowercase
length
3
category
RB
string
quite
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
ac
kind
word
orth
lowercase
length
2
category
NNP
string
Eratosthenes
kind
word
orth
upperInitial
length
12
kind
space
length
1
string
kind
space
length
1
string
category
''
string
"
kind
punctuation
length
1
category
DT
string
a
kind
word
orth
lowercase
length
1
category
VB
string
give
kind
word
orth
lowercase
length
4
category
JJ
string
various
kind
word
orth
lowercase
length
7
category
IN
string
in
kind
word
orth
lowercase
length
2
category
NNS
string
lines
kind
word
orth
lowercase
length
5
category
NNS
string
Elements
kind
word
orth
upperInitial
length
8
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
MD
string
must
kind
word
orth
lowercase
length
4
category
VBZ
string
is
kind
word
orth
lowercase
length
2
category
NN
string
theorem
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
CD
string
one
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
JJ
string
historical
kind
word
orth
lowercase
length
10
kind
control
length
1
string
kind
space
length
1
string
kind
internal
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
texts
kind
word
orth
lowercase
length
5
kind
space
length
1
string
neg
yes
tense
SimPre
voice
active
type
FVG
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
category
JJ
string
first
kind
word
orth
lowercase
length
5
category
NN
string
everyone
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
category
VBZ
string
is
kind
word
orth
lowercase
length
2
rule
Father2
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
category
DT
string
a
kind
word
orth
lowercase
length
1
category
JJ
string
whole
kind
word
orth
lowercase
length
5
voice
none
tense
Pas
type
PART
kind
space
length
1
string
category
CD
string
2
kind
number
length
1
kind
space
length
1
string
category
VBP
string
are
kind
word
orth
lowercase
length
3
category
TO
string
to
kind
word
orth
lowercase
length
2
category
IN
string
than
kind
word
orth
lowercase
length
4
category
DT
string
the
kind
word
orth
lowercase
length
3
majorType
number
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NNP
string
Bourbaki
kind
word
orth
upperInitial
length
8
majorType
organization_noun
kind
external
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
majorType
organization_noun
category
POS
string
's
kind
word
orth
apostrophe
length
2
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
authors
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
category
:
string
-
kind
punctuation
subkind
dashpunct
length
1
kind
space
length
1
string
rule
mathematicianRule
matches
258825;258858;258857;258796;258860;258764;258849
kind
space
length
1
string
majorType
number
category
NN
string
science
kind
word
orth
lowercase
length
7
category
VB
string
suggest
kind
word
orth
lowercase
length
7
category
,
string
,
kind
punctuation
length
1
category
IN
string
with
kind
word
orth
lowercase
length
4
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
category
.
string
.
kind
punctuation
length
1
category
:
string
:
kind
punctuation
length
1
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
voice
none
tense
none
type
MODAL
category
VBZ
string
is
kind
word
orth
lowercase
length
2
category
NNP
string
Eudoxus
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
category
NN
string
[
kind
punctuation
position
startpunct
length
1
kind
space
length
1
string
voice
passive
tense
SimPre
type
FVG
category
NNS
string
prefaces
kind
word
orth
lowercase
length
8
category
NN
string
text
kind
word
orth
lowercase
length
4
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
Pre
type
PART
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
category
NNS
string
imperfections
kind
word
orth
lowercase
length
13
category
RB
string
here
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
internal
category
VBD
string
was
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
category
.
string
.
kind
punctuation
length
1
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
male
class
Person
kind
space
length
1
string
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
internal
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
category
.
string
.
kind
punctuation
length
1
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
fact
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
category
VBZ
string
is
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
WRB
string
when
kind
word
orth
lowercase
length
4
category
NN
string
evidence
kind
word
orth
lowercase
length
8
category
NNS
string
results
kind
word
orth
lowercase
length
7
category
MD
string
would
kind
word
orth
lowercase
length
5
category
.
string
.
kind
punctuation
length
1
majorType
time
minorType
hour
category
IN
string
of
kind
word
orth
lowercase
length
2
voice
active
tense
SimPre
type
FVG
category
NN
string
reference
kind
word
orth
lowercase
length
9
category
NN
string
/
kind
punctuation
length
1
category
,
string
,
kind
punctuation
length
1
category
JJ
string
mathematical
kind
word
orth
lowercase
length
12
category
PRP
string
they
kind
word
orth
lowercase
length
4
category
JJ
string
similar
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
majorType
date_unit
kind
space
length
1
string
kind
space
length
1
string
category
POS
string
's
kind
word
orth
apostrophe
length
2
kind
space
length
1
string
category
NN
string
information
kind
word
orth
lowercase
length
11
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
irrefutable
kind
word
orth
lowercase
length
11
category
TO
string
to
kind
word
orth
lowercase
length
2
category
POS
string
'
kind
punctuation
length
1
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
kind
internal
kind
space
length
1
string
category
VBZ
string
is
kind
word
orth
lowercase
length
2
gender
female
rule1
GazPersonFirst
rule
PersonFinal
matches
258989;258982;258990;258995;259006;258984;258992
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
JJ
string
several
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
CC
string
and
kind
word
orth
lowercase
length
3
category
POS
string
's
kind
word
orth
apostrophe
length
2
category
RB
string
up
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Platonist
kind
word
orth
upperInitial
length
9
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
stop
voice
passive
tense
SimPas
type
FVG
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
WP
string
who
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
VBD
string
knew
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
WRB
string
when
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
JJ
string
general
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
majorType
ident_key
minorType
pre
category
DT
string
any
kind
word
orth
lowercase
length
3
category
IN
string
against
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
Books
kind
word
orth
upperInitial
length
5
category
VB
string
add
kind
word
orth
lowercase
length
3
category
CD
string
seven
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
IN
string
on
kind
word
orth
lowercase
length
2
voice
active
tense
SimPas
type
FVG
category
NNS
string
possibilities
kind
word
orth
lowercase
length
13
category
JJ
string
previous
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
majorType
stop
category
NNP
string
Tyre
kind
word
orth
upperInitial
length
4
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
(
string
(
kind
punctuation
position
startpunct
length
1
kind
space
length
1
string
kind
internal
majorType
organization_noun
kind
space
length
1
string
category
:
string
;
kind
punctuation
length
1
category
NNP
string
Theon
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
MacTutor
kind
word
orth
mixedCaps
length
8
kind
space
length
1
string
category
:
string
:
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
:
string
:
kind
punctuation
length
1
category
POS
string
's
kind
word
orth
apostrophe
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
IN
string
that
kind
word
orth
lowercase
length
4
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
NN
string
]
kind
punctuation
position
endpunct
length
1
category
VB
string
assume
kind
word
orth
lowercase
length
6
kind
space
length
1
string
rule
mathematicianRule
matches
258865;258833;258830;258828;258876
category
NNS
string
assesses
kind
word
orth
lowercase
length
8
category
IN
string
that
kind
word
orth
lowercase
length
4
category
NN
string
music
kind
word
orth
lowercase
length
5
kind
internal
rule
Unknown
kind
PN
category
RB
string
Not
kind
word
orth
upperInitial
length
3
category
IN
string
by
kind
word
orth
lowercase
length
2
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
JJ
string
other
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VBN
string
shorted
kind
word
orth
lowercase
length
7
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
VBP
string
have
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
that
kind
word
orth
lowercase
length
4
category
NNP
string
Proclus
kind
word
orth
upperInitial
length
7
category
PRP
string
we
kind
word
orth
lowercase
length
2
category
NN
string
pattern
kind
word
orth
lowercase
length
7
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
kind
control
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NN
string
exhaustion
kind
word
orth
lowercase
length
10
category
VBN
string
depended
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
IN
string
for
kind
word
orth
lowercase
length
3
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
category
.
string
.
kind
punctuation
length
1
category
,
string
,
kind
punctuation
length
1
kind
external
kind
space
length
1
string
category
PRP
string
we
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
WP
string
who
kind
word
orth
lowercase
length
3
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VBN
string
known
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
CD
string
ten
kind
word
orth
lowercase
length
3
category
RB
string
therefore
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
rule
Unknown
kind
PN
kind
space
length
1
string
kind
space
length
1
string
kind
control
length
1
string
rule
Unknown
kind
PN
kind
space
length
1
string
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
NN
string
work
kind
word
orth
lowercase
length
4
category
IN
string
for
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
internal
majorType
time
minorType
hour
kind
space
length
1
string
category
NN
string
quarter
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
majorType
date
minorType
ordinal
kind
space
length
1
string
category
IN
string
than
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
JJ
string
impossible
kind
word
orth
lowercase
length
10
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
VBN
string
come
kind
word
orth
lowercase
length
4
category
NNP
string
O
kind
word
orth
upperInitial
length
1
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
category
RB
string
somewhere
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
DT
string
an
kind
word
orth
lowercase
length
2
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
voice
active
tense
SimPre
type
FVG
category
VBZ
string
is
kind
word
orth
lowercase
length
2
category
DT
string
the
kind
word
orth
lowercase
length
3
category
IN
string
of
kind
word
orth
lowercase
length
2
category
IN
string
of
kind
word
orth
lowercase
length
2
majorType
date
minorType
ordinal
category
VB
string
accept
kind
word
orth
lowercase
length
6
category
NN
string
view
kind
word
orth
lowercase
length
4
category
DT
string
the
kind
word
orth
lowercase
length
3
majorType
location
minorType
country
category
CC
string
and
kind
word
orth
lowercase
length
3
category
MD
string
may
kind
word
orth
lowercase
length
3
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
category
NNS
string
properties
kind
word
orth
lowercase
length
10
majorType
organization_noun
kind
space
length
1
string
majorType
govern_key
category
VBD
string
were
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
today
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
DT
string
The
kind
word
orth
upperInitial
length
3
category
NNS
string
changes
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
no
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
NN
string
book
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
Even
kind
word
orth
upperInitial
length
4
category
NNP
string
Dieudonn?
kind
word
orth
upperInitial
length
9
category
.
string
.
kind
punctuation
length
1
category
:
string
:
kind
punctuation
length
1
category
,
string
,
kind
punctuation
length
1
category
NN
string
]
kind
punctuation
position
endpunct
length
1
majorType
time
minorType
hour
kind
space
length
1
string
category
IN
string
about
kind
word
orth
lowercase
length
5
category
IN
string
that
kind
word
orth
lowercase
length
4
kind
space
length
1
string
voice
none
tense
none
type
MODAL
category
JJ
string
mathematical
kind
word
orth
lowercase
length
12
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
on
kind
word
orth
lowercase
length
2
category
RB
string
first
kind
word
orth
lowercase
length
5
category
TO
string
to
kind
word
orth
lowercase
length
2
category
DT
string
the
kind
word
orth
lowercase
length
3
category
IN
string
at
kind
word
orth
lowercase
length
2
category
WP
string
who
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
IN
string
by
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
lines
kind
word
orth
lowercase
length
5
category
NNP
string
Athens
kind
word
orth
upperInitial
length
6
category
DT
string
These
kind
word
orth
upperInitial
length
5
kind
internal
category
NN
string
teacher
kind
word
orth
lowercase
length
7
category
.
string
.
kind
punctuation
length
1
majorType
organization_noun
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
CD
string
four
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
JJ
string
st-andrews
kind
word
orth
lowercase
length
10
category
VBN
string
given
kind
word
orth
lowercase
length
5
voice
active
tense
SimPre
type
FVG
category
IN
string
above
kind
word
orth
lowercase
length
5
majorType
date_key
category
DT
string
a
kind
word
orth
lowercase
length
1
category
VBN
string
entitled
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
NN
string
part
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
VBZ
string
writes
kind
word
orth
lowercase
length
6
kind
space
length
1
string
rule
Unknown
kind
PN
category
NNS
string
parallelograms
kind
word
orth
lowercase
length
14
category
PDT
string
all
kind
word
orth
lowercase
length
3
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NNS
string
kinds
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Archimedes
kind
word
orth
upperInitial
length
10
category
NN
string
understanding
kind
word
orth
lowercase
length
13
voice
active
tense
PrePer
type
FVG
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
WP
string
what
kind
word
orth
lowercase
length
4
kind
control
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
called
kind
word
orth
lowercase
length
6
kind
external
kind
space
length
1
string
voice
active
tense
PrePer
type
FVG
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
DT
string
a
kind
word
orth
lowercase
length
1
category
RB
string
longer
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
VB
string
be
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
voice
passive
tense
SimPre
type
FVG
category
NN
string
class
kind
word
orth
lowercase
length
5
category
NNP
string
Theaetetus
kind
word
orth
upperInitial
length
10
category
JJ
string
such
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VBP
string
have
kind
word
orth
lowercase
length
4
category
VBG
string
trying
kind
word
orth
lowercase
length
6
category
IN
string
than
kind
word
orth
lowercase
length
4
majorType
stop
voice
active
tense
SimPre
type
FVG
category
POS
string
's
kind
word
orth
apostrophe
length
2
kind
space
length
1
string
kind
space
length
1
string
voice
passive
tense
SimPas
type
FVG
kind
external
kind
space
length
1
string
category
JJ
string
logical
kind
word
orth
lowercase
length
7
category
.
string
.
kind
punctuation
length
1
category
JJ
string
fourth
kind
word
orth
lowercase
length
6
category
IN
string
For
kind
word
orth
upperInitial
length
3
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
rule
Unknown
kind
PN
category
NNP
string
Egypt
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
category
DT
string
the
kind
word
orth
lowercase
length
3
rule
mathematicianRule
matches
258791;258792;258797;258786;258809;258773;258767
category
.
string
.
kind
punctuation
length
1
category
,
string
,
kind
punctuation
length
1
category
DT
string
This
kind
word
orth
upperInitial
length
4
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
category
NNP
string
Book
kind
word
orth
upperInitial
length
4
kind
space
length
1
string
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
category
NN
string
mathematics
kind
word
orth
lowercase
length
11
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
VB
string
make
kind
word
orth
lowercase
length
4
kind
control
length
1
string
kind
space
length
1
string
category
JJ
string
familiar
kind
word
orth
lowercase
length
8
category
VBP
string
are
kind
word
orth
lowercase
length
3
category
DT
string
some
kind
word
orth
lowercase
length
4
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
majorType
time
minorType
hour
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
category
VBG
string
leading
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
category
VBG
string
continuing
kind
word
orth
lowercase
length
10
category
.
string
.
kind
punctuation
length
1
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
gender
male
rule1
GazPersonFirst
rule
PersonFinal
matches
258996;258986;259005;258987;258988
voice
passive
tense
SimPas
type
FVG
category
TO
string
to
kind
word
orth
lowercase
length
2
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
VBZ
string
writes
kind
word
orth
lowercase
length
6
category
.
string
.
kind
punctuation
length
1
category
JJ
string
homogeneous
kind
word
orth
lowercase
length
11
category
NN
string
language
kind
word
orth
lowercase
length
8
kind
internal
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
deduced
kind
word
orth
lowercase
length
7
voice
active
tense
Pre
type
PART
category
:
string
:
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
WP
string
who
kind
word
orth
lowercase
length
3
kind
space
length
1
string
rule
mathematicianRule
matches
258825;258858;258857;258796;258860;258764;258849
category
PRP$
string
their
kind
word
orth
lowercase
length
5
category
NNS
string
places
kind
word
orth
lowercase
length
6
category
NN
string
exposition
kind
word
orth
lowercase
length
10
kind
space
length
1
string
category
VBZ
string
gives
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
voice
active
tense
Pre
type
PART
category
NN
string
team
kind
word
orth
lowercase
length
4
kind
space
length
1
string
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
NNS
string
assumptions
kind
word
orth
lowercase
length
11
kind
space
length
1
string
gender
female
rule1
GazPersonFirst
rule
PersonFinal
matches
258989;258982;258990;258995;259006;258984;258992
category
PRP
string
it
kind
word
orth
lowercase
length
2
category
JJ
string
ample
kind
word
orth
lowercase
length
5
category
JJS
string
greatest
kind
word
orth
lowercase
length
8
category
VBD
string
found
kind
word
orth
lowercase
length
5
category
VBP
string
give
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
demonstration
kind
word
orth
lowercase
length
13
category
PRP
string
we
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
also
kind
word
orth
lowercase
length
4
category
IN
string
that
kind
word
orth
lowercase
length
4
category
NN
string
figure
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
IN
string
As
kind
word
orth
upperInitial
length
2
category
JJ
string
little
kind
word
orth
lowercase
length
6
category
NN
string
nature
kind
word
orth
lowercase
length
6
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
kind
external
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
kind
control
length
1
string
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
category
JJ
string
possible
kind
word
orth
lowercase
length
8
category
NN
string
]
kind
punctuation
position
endpunct
length
1
kind
external
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
NN
string
type
kind
word
orth
lowercase
length
4
category
IN
string
by
kind
word
orth
lowercase
length
2
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
CD
string
six
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
internal
kind
space
length
1
string
category
NN
string
line
kind
word
orth
lowercase
length
4
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
kind
internal
category
JJ
string
due
kind
word
orth
lowercase
length
3
majorType
stop
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
voice
active
tense
Pre
type
PART
category
NNS
string
deals
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
account
kind
word
orth
lowercase
length
7
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
kind
control
length
1
string
kind
internal
voice
none
tense
Pas
type
PART
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
point
kind
word
orth
lowercase
length
5
category
DT
string
these
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
NN
string
material
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
NN
string
mathematics
kind
word
orth
lowercase
length
11
category
IN
string
so
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
DT
string
no
kind
word
orth
lowercase
length
2
category
VBG
string
producing
kind
word
orth
lowercase
length
9
category
NNS
string
diameters
kind
word
orth
lowercase
length
9
category
,
string
,
kind
punctuation
length
1
category
VB
string
seem
kind
word
orth
lowercase
length
4
rule
JobTitle1
kind
space
length
1
string
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
rule
mathematicianRule
matches
258846;258877;258878;258852;258851;258854;258848
category
MD
string
would
kind
word
orth
lowercase
length
5
kind
space
length
1
string
voice
active
tense
PreCon
type
FVG
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
on
kind
word
orth
lowercase
length
2
category
,
string
,
kind
punctuation
length
1
majorType
date
minorType
ordinal
kind
space
length
1
string
category
NN
string
time
kind
word
orth
lowercase
length
4
voice
active
tense
PasPer
type
FVG
category
VBP
string
are
kind
word
orth
lowercase
length
3
kind
space
length
1
string
neg
yes
tense
SimPre
voice
active
type
FVG
category
IN
string
on
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NNP
string
Mathematicians
kind
word
orth
upperInitial
length
14
kind
space
length
1
string
category
IN
string
on
kind
word
orth
lowercase
length
2
voice
none
tense
none
type
MODAL
category
JJ
string
fascinating
kind
word
orth
lowercase
length
11
majorType
date_unit
kind
space
length
1
string
category
RB
string
later
kind
word
orth
lowercase
length
5
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
external
kind
space
length
1
string
majorType
surname
minorType
prefix
kind
space
length
1
string
majorType
date
minorType
ordinal
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
deal
kind
word
orth
lowercase
length
4
majorType
stop
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
category
NN
string
example
kind
word
orth
lowercase
length
7
rule
mathematicianRule
matches
258865;258833;258830;258828;258876
category
VBZ
string
contains
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
category
VB
string
have
kind
word
orth
lowercase
length
4
category
JJ
string
first
kind
word
orth
lowercase
length
5
rule
mathematicianRule
matches
258774;258772
kind
space
length
1
string
category
CD
string
two
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
PRP
string
we
kind
word
orth
lowercase
length
2
voice
passive
tense
SimPre
type
FVG
gender
female
rule
FirstName
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
category
,
string
,
kind
punctuation
length
1
category
CC
string
and
kind
word
orth
lowercase
length
3
category
WDT
string
which
kind
word
orth
lowercase
length
5
category
NN
string
machinery
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
space
length
1
string
category
VBG
string
finding
kind
word
orth
lowercase
length
7
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
WDT
string
which
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
IN
string
as
kind
word
orth
lowercase
length
2
category
PRP
string
him
kind
word
orth
lowercase
length
3
voice
active
tense
Inf
type
NFVG
category
NN
string
leader
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
NNP
string
Fowler
kind
word
orth
upperInitial
length
6
category
EX
string
There
kind
word
orth
upperInitial
length
5
category
.
string
.
kind
punctuation
length
1
voice
active
tense
Inf
type
NFVG
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
VBP
string
are
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
IN
string
from
kind
word
orth
lowercase
length
4
category
VBP
string
have
kind
word
orth
lowercase
length
4
category
WP
string
who
kind
word
orth
lowercase
length
3
kind
space
length
1
string
rule
Unknown
kind
PN
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
kind
space
length
1
string
rule2
DateOnlyFinal
rule1
GazDateWords
kind
date
category
NNP
string
Itard
kind
word
orth
upperInitial
length
5
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
(
string
(
kind
punctuation
position
startpunct
length
1
category
NN
string
existence
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
NN
string
someone
kind
word
orth
lowercase
length
7
kind
external
category
DT
string
The
kind
word
orth
upperInitial
length
3
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
(
string
(
kind
punctuation
position
startpunct
length
1
kind
space
length
1
string
category
EX
string
there
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
VB
string
discover
kind
word
orth
lowercase
length
8
majorType
phone_prefix
category
IN
string
that
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
voice
passive
tense
SimPas
type
FVG
category
VBP
string
accept
kind
word
orth
lowercase
length
6
category
NNS
string
methods
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
CD
string
thousand
kind
word
orth
lowercase
length
8
category
IN
string
on
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
Pre
type
PART
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
control
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
book
kind
word
orth
lowercase
length
4
majorType
time
minorType
hour
category
VBZ
string
is
kind
word
orth
lowercase
length
2
kind
internal
category
NNS
string
areas
kind
word
orth
lowercase
length
5
kind
external
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
was
kind
word
orth
lowercase
length
3
category
NNS
string
Elements
kind
word
orth
upperInitial
length
8
category
JJ
string
explicit
kind
word
orth
lowercase
length
8
category
JJ
string
different
kind
word
orth
lowercase
length
9
category
VBZ
string
is
kind
word
orth
lowercase
length
2
category
DT
string
The
kind
word
orth
upperInitial
length
3
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NNP
string
Mathematics
kind
word
orth
upperInitial
length
11
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
time
minorType
hour
voice
passive
tense
SimPas
type
FVG
rule
PersonFinal
rule1
PersonFull
gender
female
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
was
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
category
JJR
string
more
kind
word
orth
lowercase
length
4
category
NNS
string
hypothesis
kind
word
orth
lowercase
length
10
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
IN
string
In
kind
word
orth
upperInitial
length
2
category
DT
string
all
kind
word
orth
lowercase
length
3
category
VBZ
string
ends
kind
word
orth
lowercase
length
4
category
VBN
string
given
kind
word
orth
lowercase
length
5
category
DT
string
the
kind
word
orth
lowercase
length
3
category
IN
string
by
kind
word
orth
lowercase
length
2
majorType
organization_noun
kind
space
length
1
string
category
NN
string
non-
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
JJ
string
subtle
kind
word
orth
lowercase
length
6
category
TO
string
to
kind
word
orth
lowercase
length
2
category
,
string
,
kind
punctuation
length
1
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
PRP$
string
his
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
PRP
string
it
kind
word
orth
lowercase
length
2
category
.
string
.
kind
punctuation
length
1
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
IN
string
as
kind
word
orth
lowercase
length
2
category
JJ
string
reliable
kind
word
orth
lowercase
length
8
category
''
string
'
kind
punctuation
length
1
category
RB
string
very
kind
word
orth
lowercase
length
4
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Alexandria
kind
word
orth
upperInitial
length
10
category
WP
string
who
kind
word
orth
lowercase
length
3
category
.
string
.
kind
punctuation
length
1
voice
active
tense
SimPre
type
FVG
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
category
NN
string
question
kind
word
orth
lowercase
length
8
category
CD
string
three
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
majorType
phone_prefix
kind
space
length
1
string
category
)
string
)
kind
punctuation
position
endpunct
length
1
kind
space
length
1
string
kind
internal
kind
control
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
CC
string
and
kind
word
orth
lowercase
length
3
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
NN
string
gain
kind
word
orth
lowercase
length
4
category
DT
string
an
kind
word
orth
lowercase
length
2
category
VBZ
string
gives
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
:
string
:
kind
punctuation
length
1
category
JJ
string
second
kind
word
orth
lowercase
length
6
category
IN
string
in
kind
word
orth
lowercase
length
2
category
(
string
(
kind
punctuation
position
startpunct
length
1
category
IN
string
of
kind
word
orth
lowercase
length
2
category
IN
string
since
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
VBN
string
proved
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
NNP
string
The
kind
word
orth
upperInitial
length
3
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
JJ
string
third
kind
word
orth
lowercase
length
5
category
NN
string
character
kind
word
orth
lowercase
length
9
rule
Unknown
kind
PN
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
[
kind
punctuation
position
startpunct
length
1
kind
space
length
1
string
category
NNS
string
years
kind
word
orth
lowercase
length
5
category
JJ
string
next
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
number
kind
word
orth
lowercase
length
6
category
PRP$
string
his
kind
word
orth
lowercase
length
3
category
JJ
string
right
kind
word
orth
lowercase
length
5
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
category
RB
string
nevertheless
kind
word
orth
lowercase
length
12
category
VBN
string
disposed
kind
word
orth
lowercase
length
8
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
rather
kind
word
orth
lowercase
length
6
category
NN
string
fifth
kind
word
orth
lowercase
length
5
category
RB
string
mostly
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
internal
category
CC
string
but
kind
word
orth
lowercase
length
3
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
majorType
time
minorType
hour
category
IN
string
over
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
DT
string
The
kind
word
orth
upperInitial
length
3
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
NNP
string
Megara
kind
word
orth
upperInitial
length
6
majorType
date
minorType
ordinal
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
NN
string
time
kind
word
orth
lowercase
length
4
category
JJR
string
earlier
kind
word
orth
lowercase
length
7
category
VBP
string
are
kind
word
orth
lowercase
length
3
category
PRP$
string
their
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
PRP$
string
his
kind
word
orth
lowercase
length
3
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
PRP
string
us
kind
word
orth
lowercase
length
2
category
''
string
"
kind
punctuation
length
1
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
neg
yes
tense
SimPre
voice
active
type
FVG
category
,
string
,
kind
punctuation
length
1
category
JJ
string
first
kind
word
orth
lowercase
length
5
category
NN
string
basis
kind
word
orth
lowercase
length
5
category
JJ
string
superficial
kind
word
orth
lowercase
length
11
voice
active
tense
Per
type
NFVG
category
POS
string
's
kind
word
orth
apostrophe
length
2
category
IN
string
in
kind
word
orth
lowercase
length
2
category
MD
string
would
kind
word
orth
lowercase
length
5
majorType
number
kind
control
length
1
string
kind
space
length
1
string
category
JJ
string
able
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
internal
category
RP
string
out
kind
word
orth
lowercase
length
3
category
NNS
string
syntheses
kind
word
orth
lowercase
length
9
category
NN
string
standard
kind
word
orth
lowercase
length
8
category
NN
string
time
kind
word
orth
lowercase
length
4
category
CD
string
9
kind
number
length
1
category
NNS
string
results
kind
word
orth
lowercase
length
7
voice
active
tense
SimPre
type
FVG
category
.
string
.
kind
punctuation
length
1
kind
control
length
1
string
category
IN
string
that
kind
word
orth
lowercase
length
4
category
VB
string
be
kind
word
orth
lowercase
length
2
category
NN
string
]
kind
punctuation
position
endpunct
length
1
category
:
string
:
kind
punctuation
length
1
category
VBG
string
working
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
few
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
Elements
kind
word
orth
upperInitial
length
8
kind
space
length
1
string
category
NNS
string
books
kind
word
orth
lowercase
length
5
category
VBZ
string
works
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
IN
string
through
kind
word
orth
lowercase
length
7
category
DT
string
the
kind
word
orth
lowercase
length
3
rule
mathematicianRule
matches
258867;258789;258784;258761;258787;258882;258884;258879
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
NN
string
postulate
kind
word
orth
lowercase
length
9
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
kind
external
category
IN
string
by
kind
word
orth
lowercase
length
2
category
VBZ
string
is
kind
word
orth
lowercase
length
2
category
NNS
string
enunciations
kind
word
orth
lowercase
length
12
kind
space
length
1
string
category
VBZ
string
looks
kind
word
orth
lowercase
length
5
category
JJ
string
geometrical
kind
word
orth
lowercase
length
11
majorType
number
category
NN
string
order
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
DT
string
this
kind
word
orth
lowercase
length
4
category
NN
string
possibility
kind
word
orth
lowercase
length
11
voice
none
tense
Pas
type
PART
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NN
string
mathematician
kind
word
orth
lowercase
length
13
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
JJR
string
more
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NN
string
thirteen
kind
word
orth
lowercase
length
8
voice
active
tense
Inf
type
NFVG
category
NN
string
[
kind
punctuation
position
startpunct
length
1
kind
space
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
NN
string
mathematics
kind
word
orth
lowercase
length
11
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
female
class
Person
voice
none
tense
Pre
type
SPECIAL
category
VBD
string
was
kind
word
orth
lowercase
length
3
category
NN
string
picture
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NN
string
evidence
kind
word
orth
lowercase
length
8
category
IN
string
of
kind
word
orth
lowercase
length
2
category
JJ
string
other
kind
word
orth
lowercase
length
5
category
TO
string
to
kind
word
orth
lowercase
length
2
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
TO
string
to
kind
word
orth
lowercase
length
2
voice
none
tense
Pas
type
PART
kind
space
length
1
string
majorType
jobtitle
kind
space
length
1
string
category
IN
string
above
kind
word
orth
lowercase
length
5
kind
space
length
1
string
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
male
class
Person
category
:
string
-
kind
punctuation
subkind
dashpunct
length
1
kind
internal
kind
space
length
1
string
category
NNS
string
positions
kind
word
orth
lowercase
length
9
category
CD
string
four
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
)
string
)
kind
punctuation
position
endpunct
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
kind
space
length
1
string
kind
space
length
1
string
kind
control
length
1
string
kind
space
length
1
string
category
NNS
string
differences
kind
word
orth
lowercase
length
11
category
PRP
string
it
kind
word
orth
lowercase
length
2
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
WP
string
who
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
space
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
VBN
string
studied
kind
word
orth
lowercase
length
7
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
voice
none
tense
Pas
type
PART
category
IN
string
on
kind
word
orth
lowercase
length
2
category
IN
string
with
kind
word
orth
lowercase
length
4
category
VBN
string
located
kind
word
orth
lowercase
length
7
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
kind
space
length
1
string
rule
JobTitle1
voice
active
tense
Pre
type
PART
category
IN
string
of
kind
word
orth
lowercase
length
2
category
RB
string
not
kind
word
orth
lowercase
length
3
category
VBG
string
referring
kind
word
orth
lowercase
length
9
category
DT
string
the
kind
word
orth
lowercase
length
3
category
IN
string
of
kind
word
orth
lowercase
length
2
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
assumptions
kind
word
orth
lowercase
length
11
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
long
class
Mathematician
category
PRP
string
They
kind
word
orth
upperInitial
length
4
kind
space
length
1
string
category
IN
string
For
kind
word
orth
upperInitial
length
3
voice
none
tense
Pas
type
PART
kind
space
length
1
string
kind
external
category
PRP$
string
their
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
NNS
string
Elements
kind
word
orth
upperInitial
length
8
category
NNS
string
pupils
kind
word
orth
lowercase
length
6
category
VBG
string
relating
kind
word
orth
lowercase
length
8
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
space
length
1
string
category
VBD
string
learned
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
RB
string
not
kind
word
orth
lowercase
length
3
category
IN
string
with
kind
word
orth
lowercase
length
4
voice
active
tense
SimPas
type
FVG
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
kind
control
length
1
string
voice
none
tense
HaveVBN
type
MODAL
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
neg
yes
tense
SimPre
voice
active
type
FVG
category
IN
string
than
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
majorType
time_modifier
neg
yes
tense
SimPre
voice
active
type
FVG
category
JJR
string
more
kind
word
orth
lowercase
length
4
category
NNS
string
postulates
kind
word
orth
lowercase
length
10
rule
mathematicianRule
matches
258774;258772
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
than
kind
word
orth
lowercase
length
4
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
external
category
NNS
string
Elements
kind
word
orth
upperInitial
length
8
kind
space
length
1
string
category
VBN
string
born
kind
word
orth
lowercase
length
4
category
NNP
string
Article
kind
word
orth
upperInitial
length
7
majorType
time
minorType
hour
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
category
NNP
string
Music
kind
word
orth
upperInitial
length
5
category
DT
string
each
kind
word
orth
lowercase
length
4
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
:
string
-
kind
punctuation
subkind
dashpunct
length
1
kind
space
length
1
string
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
NNS
string
axioms
kind
word
orth
lowercase
length
6
category
VBD
string
asked
kind
word
orth
lowercase
length
5
category
DT
string
a
kind
word
orth
lowercase
length
1
category
NN
string
book
kind
word
orth
lowercase
length
4
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
VB
string
have
kind
word
orth
lowercase
length
4
category
NNS
string
dates
kind
word
orth
lowercase
length
5
category
''
string
"
kind
punctuation
length
1
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
NNS
string
pupils
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
VBD
string
studied
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
NN
string
work
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NNP
string
Eudoxus
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
category
EX
string
there
kind
word
orth
lowercase
length
5
rule
mathematicianRule
category
IN
string
since
kind
word
orth
lowercase
length
5
category
IN
string
with
kind
word
orth
lowercase
length
4
category
WDT
string
which
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
PRP
string
It
kind
word
orth
upperInitial
length
2
rule1
PersonFull
rule
PersonFinal
matches
259009;259077
category
PRP$
string
my
kind
word
orth
lowercase
length
2
category
.
string
.
kind
punctuation
length
1
category
NNS
string
methods
kind
word
orth
lowercase
length
7
majorType
number
category
RB
string
still
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
through
kind
word
orth
lowercase
length
7
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NN
string
postulate
kind
word
orth
lowercase
length
9
category
DT
string
a
kind
word
orth
lowercase
length
1
category
RB
string
harshly
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
internal
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
organization_noun
kind
space
length
1
string
category
IN
string
with
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NNP
string
F
kind
word
orth
upperInitial
length
1
kind
space
length
1
string
rule
Unknown
kind
PN
voice
passive
tense
SimPre
type
FVG
kind
space
length
1
string
voice
none
tense
Pas
type
PART
kind
space
length
1
string
category
JJ
string
royal
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
internal
kind
space
length
1
string
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
voice
active
tense
PasPer
type
FVG
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
NN
string
information
kind
word
orth
lowercase
length
11
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NN
string
point
kind
word
orth
lowercase
length
5
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
JJ
string
such
kind
word
orth
lowercase
length
4
category
NN
string
geometry
kind
word
orth
lowercase
length
8
category
NN
string
story
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
majorType
organization_noun
category
JJ
string
particular
kind
word
orth
lowercase
length
10
majorType
time
minorType
hour
category
DT
string
this
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
DT
string
an
kind
word
orth
lowercase
length
2
category
NNS
string
years
kind
word
orth
lowercase
length
5
kind
internal
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
voice
active
tense
Pre
type
PART
kind
space
length
1
string
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
NNP
string
Heath
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
gender
male
rule
FirstName
category
)
string
)
kind
punctuation
position
endpunct
length
1
category
NN
string
treatise
kind
word
orth
lowercase
length
8
majorType
time
minorType
hour
category
IN
string
that
kind
word
orth
lowercase
length
4
category
VBN
string
been
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NNS
string
Elements
kind
word
orth
upperInitial
length
8
category
IN
string
of
kind
word
orth
lowercase
length
2
category
NN
string
error
kind
word
orth
lowercase
length
5
category
VBG
string
being
kind
word
orth
lowercase
length
5
rule
Unknown
kind
PN
voice
active
tense
SimPre
type
FVG
category
NNP
string
Ptolemy
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
NN
string
cylinder
kind
word
orth
lowercase
length
8
category
NN
string
world
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
VBN
string
been
kind
word
orth
lowercase
length
4
category
NN
string
evidence
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
control
length
1
string
kind
internal
category
NNS
string
historians
kind
word
orth
lowercase
length
10
category
RB
string
previously
kind
word
orth
lowercase
length
10
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
POS
string
'
kind
punctuation
length
1
majorType
stop
kind
space
length
1
string
kind
space
length
1
string
category
VBZ
string
calls
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
NN
string
[
kind
punctuation
position
startpunct
length
1
kind
space
length
1
string
category
RB
string
only
kind
word
orth
lowercase
length
4
majorType
year
category
JJ
string
common
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
control
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
grounds
kind
word
orth
lowercase
length
7
category
RB
string
however
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
POS
string
'
kind
punctuation
length
1
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
internal
category
IN
string
from
kind
word
orth
lowercase
length
4
category
JJ
string
Greek
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
IN
string
at
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
(
string
(
kind
punctuation
position
startpunct
length
1
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
NNP
string
E
kind
word
orth
upperInitial
length
1
category
IN
string
out
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
IN
string
In
kind
word
orth
upperInitial
length
2
category
WP
string
who
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
VBZ
string
accepts
kind
word
orth
lowercase
length
7
category
IN
string
by
kind
word
orth
lowercase
length
2
category
NNS
string
books
kind
word
orth
lowercase
length
5
category
IN
string
so
kind
word
orth
lowercase
length
2
category
IN
string
without
kind
word
orth
lowercase
length
7
category
JJ
string
elementary
kind
word
orth
lowercase
length
10
rule
mathematicianRule
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
DT
string
all
kind
word
orth
lowercase
length
3
category
IN
string
of
kind
word
orth
lowercase
length
2
category
IN
string
for
kind
word
orth
lowercase
length
3
majorType
time
minorType
hour
category
DT
string
a
kind
word
orth
lowercase
length
1
voice
none
tense
none
type
MODAL
category
NNS
string
points
kind
word
orth
lowercase
length
6
category
NNP
string
Porphyry
kind
word
orth
upperInitial
length
8
kind
space
length
1
string
category
NNP
string
Stobaeus
kind
word
orth
upperInitial
length
8
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
category
VB
string
be
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
control
length
1
string
category
JJ
string
first
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
IN
string
that
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
IN
string
towards
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
internal
kind
space
length
1
string
category
EX
string
there
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
voice
none
tense
Pas
type
PART
category
JJ
string
remarkable
kind
word
orth
lowercase
length
10
category
NNP
string
Proclus
kind
word
orth
upperInitial
length
7
rule
Unknown
kind
PN
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
voice
active
tense
SimPre
type
FVG
category
RBR
string
more
kind
word
orth
lowercase
length
4
category
VBN
string
published
kind
word
orth
lowercase
length
9
category
IN
string
at
kind
word
orth
lowercase
length
2
category
''
string
"
kind
punctuation
length
1
category
MD
string
may
kind
word
orth
lowercase
length
3
majorType
time
minorType
hour
rule
mathematicianRule
matches
258779;258782;258757;258758
category
VB
string
be
kind
word
orth
lowercase
length
2
category
NNP
string
Eudoxus
kind
word
orth
upperInitial
length
7
category
JJ
string
many
kind
word
orth
lowercase
length
4
category
NNS
string
constructions
kind
word
orth
lowercase
length
13
kind
space
length
1
string
category
VBD
string
made
kind
word
orth
lowercase
length
4
category
NNS
string
properties
kind
word
orth
lowercase
length
10
kind
internal
category
NNP
string
Bulmer-
kind
word
orth
upperInitial
length
7
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
PRP
string
they
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
[
kind
punctuation
position
startpunct
length
1
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
JJ
string
specific
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
internal
category
MD
string
may
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
DT
string
each
kind
word
orth
lowercase
length
4
category
VBP
string
have
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
voice
none
tense
Pas
type
PART
kind
space
length
1
string
category
DT
string
The
kind
word
orth
upperInitial
length
3
category
VBP
string
are
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
philosopher
kind
word
orth
lowercase
length
11
category
NNP
string
Theaetetus
kind
word
orth
upperInitial
length
10
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
PRP
string
him
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
VBG
string
leading
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
control
length
1
string
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
EX
string
there
kind
word
orth
lowercase
length
5
voice
active
tense
SimPas
type
FVG
category
JJ
string
cumbersome
kind
word
orth
lowercase
length
10
majorType
time
minorType
hour
kind
space
length
1
string
category
NNP
string
Music
kind
word
orth
upperInitial
length
5
category
JJ
string
complete
kind
word
orth
lowercase
length
8
rule
mathematicianRule
matches
258867;258789;258784;258761;258787;258882;258884;258879
kind
space
length
1
string
kind
internal
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
IN
string
than
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NN
string
uk
kind
word
orth
lowercase
length
2
voice
active
tense
SimPre
type
FVG
voice
active
tense
SimPre
type
FVG
category
NNS
string
comments
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
(
string
(
kind
punctuation
position
startpunct
length
1
category
NN
string
iii
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VBP
string
seem
kind
word
orth
lowercase
length
4
category
IN
string
that
kind
word
orth
lowercase
length
4
category
VBN
string
attributed
kind
word
orth
lowercase
length
10
kind
space
length
1
string
category
DT
string
The
kind
word
orth
upperInitial
length
3
kind
space
length
1
string
category
VBD
string
were
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
MD
string
might
kind
word
orth
lowercase
length
5
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
majorType
date_unit
voice
active
tense
SimPre
type
FVG
category
.
string
.
kind
punctuation
length
1
category
NNP
string
Arabian
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
category
POS
string
's
kind
word
orth
apostrophe
length
2
kind
space
length
1
string
category
VBN
string
added
kind
word
orth
lowercase
length
5
category
TO
string
to
kind
word
orth
lowercase
length
2
voice
passive
tense
SimPas
type
FVG
category
MD
string
will
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
respectively
kind
word
orth
lowercase
length
12
category
JJ
string
other
kind
word
orth
lowercase
length
5
kind
space
length
1
string
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
category
NNP
string
Alexandria
kind
word
orth
upperInitial
length
10
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
NNP
string
Alexandria
kind
word
orth
upperInitial
length
10
voice
active
tense
SimPre
type
FVG
majorType
org_ending
kind
control
length
1
string
category
NN
string
road
kind
word
orth
lowercase
length
4
category
VB
string
understand
kind
word
orth
lowercase
length
10
category
POS
string
's
kind
word
orth
apostrophe
length
2
voice
active
tense
SimPre
type
FVG
category
JJ
string
fictitious
kind
word
orth
lowercase
length
10
rule
mathematicianRule
matches
258867;258789;258784;258761;258787;258882;258884;258879
majorType
organization_noun
kind
space
length
1
string
kind
space
length
1
string
rule1
LocPersonAmbig
rule2
LocFinal
matches
258985;258983
category
CD
string
two
kind
word
orth
lowercase
length
3
voice
active
tense
SimFut
type
FVG
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
NNP
string
Weil
kind
word
orth
upperInitial
length
4
category
VBZ
string
works
kind
word
orth
lowercase
length
5
category
NN
string
point
kind
word
orth
lowercase
length
5
majorType
phone_prefix
kind
space
length
1
string
kind
space
length
1
string
kind
control
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
long
class
Mathematician
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
space
length
1
string
category
NN
string
html
kind
word
orth
lowercase
length
4
category
NN
string
cannot
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
NN
string
mathematics
kind
word
orth
lowercase
length
11
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
PRP
string
it
kind
word
orth
lowercase
length
2
kind
space
length
1
string
majorType
org_ending
category
NNS
string
Elements
kind
word
orth
upperInitial
length
8
voice
active
tense
SimPas
type
FVG
category
VBD
string
was
kind
word
orth
lowercase
length
3
category
IN
string
while
kind
word
orth
lowercase
length
5
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
CD
string
three
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
NN
string
[
kind
punctuation
position
startpunct
length
1
category
RB
string
little
kind
word
orth
lowercase
length
6
voice
active
tense
Inf
type
NFVG
category
MD
string
can
kind
word
orth
lowercase
length
3
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
VBZ
string
is
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
DT
string
all
kind
word
orth
lowercase
length
3
category
CD
string
two
kind
word
orth
lowercase
length
3
category
NN
string
style
kind
word
orth
lowercase
length
5
voice
none
tense
Pas
type
PART
rule
Unknown
kind
PN
category
WDT
string
that
kind
word
orth
lowercase
length
4
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
category
''
string
"
kind
punctuation
length
1
category
DT
string
some
kind
word
orth
lowercase
length
4
category
RB
string
certainly
kind
word
orth
lowercase
length
9
voice
active
tense
Pre
type
PART
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
attempt
kind
word
orth
lowercase
length
7
category
CD
string
20
kind
number
length
2
category
NNS
string
definitions
kind
word
orth
lowercase
length
11
kind
space
length
1
string
category
NNS
string
propositions
kind
word
orth
lowercase
length
12
kind
space
length
1
string
category
PRP$
string
our
kind
word
orth
lowercase
length
3
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
all
kind
word
orth
lowercase
length
3
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NN
string
book
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
IN
string
that
kind
word
orth
lowercase
length
4
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
JJ
string
possible
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
at
kind
word
orth
lowercase
length
2
category
WP
string
who
kind
word
orth
lowercase
length
3
category
DT
string
these
kind
word
orth
lowercase
length
5
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
category
VBG
string
enumerating
kind
word
orth
lowercase
length
11
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
external
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
majorType
stop
kind
space
length
1
string
category
VBD
string
listed
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
VBN
string
been
kind
word
orth
lowercase
length
4
majorType
time
minorType
hour
category
NN
string
literature
kind
word
orth
lowercase
length
10
rule
mathematicianRule
matches
258766;258768;258770
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
category
NNS
string
men
kind
word
orth
lowercase
length
3
kind
space
length
1
string
voice
active
tense
Pre
type
PART
voice
active
tense
SimPre
type
FVG
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
category
NN
string
continuation
kind
word
orth
lowercase
length
12
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Robertson
kind
word
orth
upperInitial
length
9
category
''
string
'
kind
punctuation
length
1
majorType
number
kind
internal
category
CD
string
five
kind
word
orth
lowercase
length
4
category
JJS
string
greatest
kind
word
orth
lowercase
length
8
rule
mathematicianRule
matches
258825;258858;258857;258796;258860;258764;258849
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
strong
kind
word
orth
lowercase
length
6
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
,
string
,
kind
punctuation
length
1
category
VBD
string
were
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NNP
string
Book
kind
word
orth
upperInitial
length
4
category
NN
string
]
kind
punctuation
position
endpunct
length
1
category
.
string
.
kind
punctuation
length
1
category
NN
string
advent
kind
word
orth
lowercase
length
6
category
DT
string
this
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
theorems
kind
word
orth
lowercase
length
8
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NNS
string
Elements
kind
word
orth
upperInitial
length
8
kind
space
length
1
string
category
CD
string
one
kind
word
orth
lowercase
length
3
voice
none
tense
Pas
type
PART
kind
control
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
category
NN
string
text
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
control
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
Western
kind
word
orth
upperInitial
length
7
category
DT
string
the
kind
word
orth
lowercase
length
3
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
internal
kind
space
length
1
string
category
DT
string
this
kind
word
orth
lowercase
length
4
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
majorType
time
minorType
hour
category
RB
string
then
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
though
kind
word
orth
lowercase
length
6
category
VB
string
make
kind
word
orth
lowercase
length
4
kind
space
length
1
string
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
male
class
Person
category
VBN
string
assumed
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
NN
string
character
kind
word
orth
lowercase
length
9
category
''
string
"
kind
punctuation
length
1
category
NNP
string
i
kind
word
orth
lowercase
length
1
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
NN
string
rhomboid
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
indeed
kind
word
orth
lowercase
length
6
rule
mathematicianRule
matches
258825;258858;258857;258796;258860;258764;258849
gender
male
rule
FirstName
category
RB
string
then
kind
word
orth
lowercase
length
4
category
IN
string
by
kind
word
orth
lowercase
length
2
category
NNP
string
Elephantine
kind
word
orth
upperInitial
length
11
category
VBD
string
gave
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
pentagon
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
PRP
string
he
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
DT
string
an
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
pupils
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
NNP
string
Alexander
kind
word
orth
upperInitial
length
9
category
WRB
string
where
kind
word
orth
lowercase
length
5
voice
active
tense
Pre
type
PART
kind
space
length
1
string
category
VBN
string
given
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
VBP
string
are
kind
word
orth
lowercase
length
3
category
:
string
-
kind
punctuation
subkind
dashpunct
length
1
category
DT
string
no
kind
word
orth
lowercase
length
2
category
)
string
)
kind
punctuation
position
endpunct
length
1
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
NN
string
reference
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
CD
string
1907
kind
number
length
4
voice
none
tense
none
type
MODAL
kind
space
length
1
string
category
NNP
string
Pappus
kind
word
orth
upperInitial
length
6
voice
none
tense
Pas
type
PART
category
DT
string
The
kind
word
orth
upperInitial
length
3
voice
active
tense
Pre
type
PART
category
NN
string
footing
kind
word
orth
lowercase
length
7
majorType
ident_key
minorType
pre
category
NN
string
]
kind
punctuation
position
endpunct
length
1
category
PRP
string
it
kind
word
orth
lowercase
length
2
gender
male
rule
FirstName
category
IN
string
with
kind
word
orth
lowercase
length
4
kind
control
length
1
string
category
VBN
string
born
kind
word
orth
lowercase
length
4
category
JJ
string
palaeographic
kind
word
orth
lowercase
length
13
kind
space
length
1
string
category
NN
string
introduction
kind
word
orth
lowercase
length
12
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
category
IN
string
with
kind
word
orth
lowercase
length
4
category
NNS
string
analogues
kind
word
orth
lowercase
length
9
majorType
number
kind
space
length
1
string
kind
internal
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NN
string
name
kind
word
orth
lowercase
length
4
rule
Unknown
kind
PN
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
wrote
kind
word
orth
lowercase
length
5
category
IN
string
if
kind
word
orth
lowercase
length
2
category
RB
string
doubtless
kind
word
orth
lowercase
length
9
category
CC
string
but
kind
word
orth
lowercase
length
3
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NNS
string
claims
kind
word
orth
lowercase
length
6
category
IN
string
from
kind
word
orth
lowercase
length
4
kind
space
length
1
string
majorType
number
kind
space
length
1
string
kind
space
length
1
string
voice
passive
tense
SimPre
type
FVG
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
kind
space
length
1
string
voice
passive
tense
SimPre
type
FVG
category
:
string
:
kind
punctuation
length
1
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
category
NN
string
work
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
gender
male
rule1
GazPersonFirst
rule
PersonFinal
matches
259000;259008;258999
category
:
string
-
kind
punctuation
subkind
dashpunct
length
1
category
NNS
string
applications
kind
word
orth
lowercase
length
12
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
internal
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
category
NN
string
work
kind
word
orth
lowercase
length
4
category
NNS
string
squares
kind
word
orth
lowercase
length
7
category
RB
string
well
kind
word
orth
lowercase
length
4
category
IN
string
with
kind
word
orth
lowercase
length
4
category
NN
string
book
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
by
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
kind
space
length
1
string
kind
internal
kind
space
length
1
string
category
VBP
string
put
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
control
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
voice
active
tense
SimPas
type
FVG
category
VBG
string
concerning
kind
word
orth
lowercase
length
10
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
as
kind
word
orth
lowercase
length
2
category
RB
string
not
kind
word
orth
lowercase
length
3
category
DT
string
a
kind
word
orth
lowercase
length
1
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NN
string
compilation
kind
word
orth
lowercase
length
11
category
VBG
string
dating
kind
word
orth
lowercase
length
6
category
VBG
string
using
kind
word
orth
lowercase
length
5
kind
space
length
1
string
voice
none
tense
Pas
type
PART
category
CC
string
and
kind
word
orth
lowercase
length
3
category
VB
string
seem
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
that
kind
word
orth
lowercase
length
4
category
VBZ
string
exists
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
VB
string
be
kind
word
orth
lowercase
length
2
category
TO
string
to
kind
word
orth
lowercase
length
2
category
NNS
string
differences
kind
word
orth
lowercase
length
11
kind
space
length
1
string
kind
internal
voice
none
tense
Pas
type
PART
voice
active
tense
Pre
type
PART
kind
space
length
1
string
category
RBS
string
most
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NNS
string
works
kind
word
orth
lowercase
length
5
kind
external
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
long
class
Mathematician
kind
control
length
1
string
rule
Unknown
kind
PN
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
NN
string
mathematician
kind
word
orth
lowercase
length
13
category
NN
string
polyhedra
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
internal
category
RBS
string
most
kind
word
orth
lowercase
length
4
category
CC
string
and
kind
word
orth
lowercase
length
3
category
VB
string
speak
kind
word
orth
lowercase
length
5
category
CC
string
and
kind
word
orth
lowercase
length
3
category
,
string
,
kind
punctuation
length
1
category
VB
string
rise
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
NN
string
illustration
kind
word
orth
lowercase
length
12
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
highly
kind
word
orth
lowercase
length
6
majorType
stop
category
IN
string
that
kind
word
orth
lowercase
length
4
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
CD
string
nine
kind
word
orth
lowercase
length
4
category
JJ
string
other
kind
word
orth
lowercase
length
5
kind
space
length
1
string
majorType
date_unit
kind
space
length
1
string
category
NN
string
order
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
none
tense
Pas
type
PART
kind
space
length
1
string
kind
space
length
1
string
category
:
string
-
kind
punctuation
subkind
dashpunct
length
1
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
category
VBD
string
was
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
control
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
RB
string
well
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NN
string
rigour
kind
word
orth
lowercase
length
6
category
NN
string
evidence
kind
word
orth
lowercase
length
8
voice
active
tense
SimPas
type
FVG
category
DT
string
the
kind
word
orth
lowercase
length
3
category
WDT
string
which
kind
word
orth
lowercase
length
5
category
TO
string
to
kind
word
orth
lowercase
length
2
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NN
string
someone
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
category
VBD
string
contributed
kind
word
orth
lowercase
length
11
category
CD
string
500
kind
number
length
3
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
VBN
string
accepted
kind
word
orth
lowercase
length
8
majorType
loc_key
minorType
post
category
JJ
string
Greek
kind
word
orth
upperInitial
length
5
category
IN
string
on
kind
word
orth
lowercase
length
2
majorType
number
category
NNS
string
predecessors
kind
word
orth
lowercase
length
12
kind
space
length
1
string
category
CC
string
but
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NNS
string
objects
kind
word
orth
lowercase
length
7
category
NN
string
thing
kind
word
orth
lowercase
length
5
category
IN
string
if
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
NNP
string
BC
kind
word
orth
allCaps
length
2
kind
space
length
1
string
kind
internal
category
EX
string
there
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
IN
string
with
kind
word
orth
lowercase
length
4
category
PRP
string
he
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
VBD
string
wrote
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
male
class
Person
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
rule
Unknown
kind
PN
kind
space
length
1
string
category
VBZ
string
is
kind
word
orth
lowercase
length
2
category
NNS
string
parts
kind
word
orth
lowercase
length
5
category
IN
string
In
kind
word
orth
upperInitial
length
2
category
NN
string
[
kind
punctuation
position
startpunct
length
1
category
NNS
string
triangles
kind
word
orth
lowercase
length
9
category
NNP
string
Archimedes
kind
word
orth
upperInitial
length
10
voice
active
tense
SimPas
type
FVG
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NNS
string
math?matiques
kind
word
orth
lowercase
length
13
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
neg
yes
tense
PrePer
voice
active
type
FVG
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
control
length
1
string
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
category
JJ
string
other
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
:
string
-
kind
punctuation
subkind
dashpunct
length
1
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
category
NNP
string
AD
kind
word
orth
allCaps
length
2
kind
space
length
1
string
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
majorType
number
category
PRP
string
we
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NN
string
]
kind
punctuation
position
endpunct
length
1
rule
JobTitle1
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
category
IN
string
in
kind
word
orth
lowercase
length
2
category
NNS
string
comments
kind
word
orth
lowercase
length
8
category
NNP
string
Andr?
kind
word
orth
upperInitial
length
5
category
DT
string
the
kind
word
orth
lowercase
length
3
category
DT
string
a
kind
word
orth
lowercase
length
1
majorType
organization_noun
category
CC
string
and
kind
word
orth
lowercase
length
3
category
NN
string
slavish
kind
word
orth
lowercase
length
7
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
category
NN
string
geometry
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
NN
string
work
kind
word
orth
lowercase
length
4
category
PRP
string
we
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NNS
string
cubes
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
JJ
string
parallel
kind
word
orth
lowercase
length
8
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NNP
string
Bourbaki
kind
word
orth
upperInitial
length
8
majorType
jobtitle
category
NNS
string
postulates
kind
word
orth
lowercase
length
10
kind
space
length
1
string
category
NN
string
name
kind
word
orth
lowercase
length
4
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
VB
string
have
kind
word
orth
lowercase
length
4
category
CC
string
and
kind
word
orth
lowercase
length
3
category
MD
string
may
kind
word
orth
lowercase
length
3
category
VBD
string
called
kind
word
orth
lowercase
length
6
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
NN
string
theory
kind
word
orth
lowercase
length
6
category
NN
string
intelligence
kind
word
orth
lowercase
length
12
majorType
number
category
DT
string
this
kind
word
orth
lowercase
length
4
category
VBN
string
been
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
VBN
string
known
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
NNS
string
points
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
kind
control
length
1
string
rule
Unknown
kind
PN
category
VBN
string
given
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
VBZ
string
is
kind
word
orth
lowercase
length
2
category
IN
string
if
kind
word
orth
lowercase
length
2
category
VBG
string
containing
kind
word
orth
lowercase
length
10
category
VBN
string
believed
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
VBZ
string
is
kind
word
orth
lowercase
length
2
category
DT
string
the
kind
word
orth
lowercase
length
3
category
VB
string
have
kind
word
orth
lowercase
length
4
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
category
NNS
string
words
kind
word
orth
lowercase
length
5
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
that
kind
word
orth
lowercase
length
4
category
TO
string
to
kind
word
orth
lowercase
length
2
majorType
number
kind
space
length
1
string
kind
space
length
1
string
majorType
date_unit
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
category
JJ
string
historical
kind
word
orth
lowercase
length
10
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
internal
category
JJ
string
historical
kind
word
orth
lowercase
length
10
kind
space
length
1
string
category
VBZ
string
looks
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
258856;258845;258760;258835;258793;258790;258759;258794;258756;258788;258887;258827;258853;258783;258837;258799;258798;258785;258838;258811;258832;258836;258834;258886;258859;258885;258763;258883;258776;258808;258819;258840;258862;258810;258839;258881;258807;258775;258829;258777;258841;258805;258806;258870;258778;258800;258781;258844;258801;258780;258817;258802;258874;258875;258843;258804;258880;258769;258818;258823;258822;258821;258803;258820
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
external
category
RB
string
only
kind
word
orth
lowercase
length
4
kind
space
length
1
string
rule
PersonFinal
rule1
PersonFullStop
category
NNS
string
books
kind
word
orth
lowercase
length
5
majorType
time
minorType
hour
kind
space
length
1
string
category
CD
string
75
kind
number
length
2
kind
space
length
1
string
category
VBZ
string
is
kind
word
orth
lowercase
length
2
category
JJ
string
common
kind
word
orth
lowercase
length
6
category
VB
string
make
kind
word
orth
lowercase
length
4
majorType
ident_key
minorType
pre
category
IN
string
for
kind
word
orth
lowercase
length
3
category
DT
string
these
kind
word
orth
lowercase
length
5
category
DT
string
the
kind
word
orth
lowercase
length
3
rule
mathematicianRule
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
category
VBZ
string
writes
kind
word
orth
lowercase
length
6
category
.
string
.
kind
punctuation
length
1
category
JJS
string
earliest
kind
word
orth
lowercase
length
8
kind
space
length
1
string
majorType
stop
kind
space
length
1
string
rule
mathematicianRule
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
kind
internal
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
team
kind
word
orth
lowercase
length
4
category
WP
string
who
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
category
CD
string
eight
kind
word
orth
lowercase
length
5
category
VBN
string
written
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
control
length
1
string
category
WP
string
who
kind
word
orth
lowercase
length
3
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
kind
space
length
1
string
category
POS
string
'
kind
punctuation
length
1
kind
space
length
1
string
kind
internal
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
,
string
,
kind
punctuation
length
1
category
PRP$
string
their
kind
word
orth
lowercase
length
5
category
DT
string
a
kind
word
orth
lowercase
length
1
category
NN
string
person
kind
word
orth
lowercase
length
6
category
EX
string
there
kind
word
orth
lowercase
length
5
category
WDT
string
which
kind
word
orth
lowercase
length
5
category
VBP
string
are
kind
word
orth
lowercase
length
3
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
aim
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
PRP
string
it
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NN
string
[
kind
punctuation
position
startpunct
length
1
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
rule
mathematicianRule
matches
258846;258877;258878;258852;258851;258854;258848
category
RB
string
so
kind
word
orth
lowercase
length
2
gender
male
rule1
GazPersonFirst
rule
PersonFinal
matches
258996;258986;259005;258987;258988
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
DT
string
this
kind
word
orth
lowercase
length
4
category
NNP
string
Euclid
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
ratio
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
VB
string
be
kind
word
orth
lowercase
length
2
category
VBP
string
are
kind
word
orth
lowercase
length
3
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
''
string
"
kind
punctuation
length
1
category
NN
string
sympathy
kind
word
orth
lowercase
length
8
voice
active
tense
SimPas
type
FVG
category
NN
string
decision
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
NNS
string
squares
kind
word
orth
lowercase
length
7
category
JJ
string
much
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
due
kind
word
orth
lowercase
length
3
category
CD
string
08
kind
number
length
2
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
majorType
number