%	Sample Program 2 for Shaky v2.0
	Copyright (C) 1998,   (kaneiwa@jaist.ac.jp)   %

agt=person.
coagt=person.
sbj=top.
obj=thing.
place=space.

penguin<bird.
crow<bird.
bird<animal.
taro<person.
hanako<person.
wallet<thing.

agt=person.
coagt=person.
sbj=top.
obj=thing.

move<-do.
fly<-move.
walk<-move.
rob<-steal.
rob<-hit.
hit<-illegal_action.
steal<-illegal_action.

s1:fly(sbj=X:bird).
S:#fly(sbj=bird).
s2:hit(agt=X:taro,coagt=Y:hanako).
s2:steal(agt=X:taro,obj=Y:wallet).
