ABSTRACT
Thetheoryofsemanticentitiesandoffunction-ar-
asweknowfromchapterI,providesanaxiomaticcharac-
thesemanticinterpretationofnaturallanguages,suchas
property,propositionorpredication.Bydoingso,it alsosetsupthespacewithinwhichsubtheoriesofother, morespecificsemanticobjects{e.g.events,kinds, action-types,etc.)canbedeveloped.Investigationsof axiomaticsystemshavehighlightedtheusefulnessof matchingsuchsystemswithmodel-theoreticint~rpretations which,amongothers,allowustotestthosesystemsfor consistencyandtoprovidesensesinwhichthosesystems canberegarded ascomplete.