Page Numbers: Yes First Page: 1
Heading:

April 18, 1979 6:59 PM[IVY]<KRL>document>ex-sam

Examples from SAM

# Act11: WhichIs NotUnique

actor: A Person

# Bring

self: A Happening
An Act with actor = My bringer

A Go with
goer = My bringer
destination = My destination
source = My source

A Go with
goer = My brought
destination = My destination
source = My source

bringer: A Person

brought: A PhysicalObject

source: A Place

destination: A Place

# FoodArrives11: WhichIs InCluster \RestaurantScript

self: A Bring with
bringer = Our server
brought = Our meal
source = The kitchen from a Restaurant thatIs Our restaurant
destination = WhichIs PlaceOf Our table

# Enactment

self/Instance: Category(Basic, Thing)

script: A Script

eventSequence: SequenceOf(\A StoryEvent)
knownEvents:↑1 SequenceOf(\A StoryEvent)
InitialSubsequenceOf(My eventSequence)

1: A MonotonicallyChangingSequence with
direction = Increase

# Go11: WhichIs NotUnique

self: A Happening; An Act with actor = My goer

goer: A PhysicalObject

source: A Place

destination: A Place

# RestaurantScript11: Which Comment ("This is not a real version of the restaurant script. It contains only two events, in order to demonstrate the notation.")

self/instance: A Script with
eventSet = {My menuArrives, My foodArrives}

self: An Enactment
restaurant: A Restaurant

table: Or(A Table, A Booth, A Counter)

host: A WaitPerson; A2 Hostess2: A Default

server: A WaitPerson; A3 Waiter3: A Default

customer: A Person

meal: A Food

menuArrives: A Bring with bringer = Or(My server, My host)
brought = A Menu

foodArrives: A FoodArrives

# Script

self/Instance: Category(Basic, Thing)

eventSet: @22: Comment("This needs to be filled in")

# StoryEvent

self/Instance: Category(Basic, Thing)

input: A Phrase

# Happening:1
self/Instance: Category(Basic, Thing)

# Food
self/Instance: Category(Basic, PhysicalObject)
self: A PhysicalObject

# Lobster
self/Instance: Category(Basic, Food)
self: A Food

# Menu
self/Instance: Category(Basic, PhysicalObject)
self: A PhysicalObject

# Person
self/Instance: Category(Basic, PhysicalObject)
self: A PhysicalObject

# PhysicalObject
self/Instance: Category(Basic, Thing)

# Place
self/Instance: Category(Basic, Thing)



Units built up for this story

# Waiter1

self/Instance: A WaitPerson; The server from a RestaurantScript thatIs EN1

# John1

self/Instance:A Person with name = "John"
The customer from a RestaurantScript thatIs EN1

# EN1

self/Instance:An Enactment with
knownEvents = <SE1, SE2, SE3>
script = RestaurantScript
A RestaurantScript with
server = Waiter1
customer = John1

# SE17

self/Instance:A StoryEvent with
input = Clause24
Which Says "The waiter brought a Lobster"
A Bring with bringer = Waiter1
brought = A Lobster