Page Numbers: Yes First Page: 1
Heading:

April 18, 1979 7:00 PM[IVY]<KRL>document>str-lev-inter

Intermediate Level

Needs to be filled in from other files.

HasFunctional

The names have been rearranged to follow natural order, so the Functional name comes second. By putting it in bold face, it is pretty clear (and obviously the font information isn’t necessary for parsing), e.g.

# Own↑11: HasFunctional (owner, Owns, ownee)
HasFunctional (ownee, OwnedBy, owner)
owner: A Person
ownee: A PhysObj

For member and quoted arguments, I have used a simple functional-looking form:

# Foo↑11: HasFunctional (MemberOf(bar), Fribbles, Quoted(barDesc))
bar: SetOf(\A Frob)
barDesc: A Description

Then the two following forms are equivalent:

Which Fribbles (A Gritch)
MemberOf(The bar from a Foo with barDesc = \A Gritch)