    # KEHOME/doc/MKRintro.html
    # May/13/2003

    #=======================#
    # MKR introduction      #
    # version 5.6           #
    #                       #
    # Richard H. McCullough #
    #=======================#

    An MKR proposition has the format
    	at context { sentence };
    where context is
    	space=s, time=t, view=v
    and sentence is
    	subject verb object prepositionphrase;
    View names the context, which is a list of
    propositions.  A context is normally stored in
    an entity-characteristic-proposition hierarchy.

    The details of sentence structure depend on
    the six types of sentence
    	statement
    	question
    	command
    	assignment
    	conditional
    	iteration
    and the eight types of verb
    	definition	isa, iss, isu	(uses preposition "with")
    	identity	is
    	binary relation	isa, iss, isu, ismem, isalt
    	n-ary relation	isin
    	part		haspart
    	attribute	has
    	action		do, do*		(uses terminator "done")
    	interaction	causes
    There are many other MKR relations, not shown here.

    The basic eight statements are
    	subject isa object with essential characteristics;
    	subject is object;
    	subject isa object;
    	subject isin relation = value;
    	subject haspart part = value;
    	subject has attribute = value;
    	subject do action = event
    		with action characteristics
    		out action products
    		od action direct objects
    		from action initial characteristics
    		to action final characteristics
    		done;
    	subject causes object;

    The question format is the same as a statement, with one
    or more elements replaced by a question mark.  For example
    	subject has ?;
    	subject do ? done;

    The command format is the same as an action statement,
    with the subject omitted.  For example
    	do classify od unknown to view done;

    The assignment format is the same as an attribute statement,
    with the subject omitted, and "has" replaced by "set" or "unset".
    For example
    	set charformat = column;
    	unset debug;

    The conditional format is
    	if propositionlist:1
    	then propositionlist:2
    	else propositionlist:3
    	fi;
    The iteration format is
    	every variable isa concept {
    		propositionlist
    	};

    There are special definition formats for
    	method
    	relation (n-ary)
    	hierarchy
    which are not shown here.  These formats are very user-friendly.
    For example, the hierarchy format is an indented outline, similar
    to the table of contents of a book.

    The comment format begins with "#" and extends to end of line.
    For example
    	MKRintro.html has                  # this document
    	  author="Richard H. McCullough",  # dc:creator
    	  date="March 5, 2003";            # creation date

    For more details see
    	KEHOME/doc/MKRgrammar.html
    	KEHOME/doc/MKRtoken.html
    	KEHOME/src/symbol.icn
    	KEHOME/src/token.icn
    	KEHOME/doc/MKEtutorial.html