Ireneusz R. Moraczewski and Robert Zembowicz, and Jan M. Zytkow
In this paper we will focus on 49er’s exploration of a geobotanical database. We describe the results of a general purpose search mechanism, followed by tests which detected large numbers of regularities in the form of equivalence and subset relation. Those special regularities are subsequently summarized into more concise theories. In particular, we show how a large number of subset relations can be summarized into an inclusion graph.