%	Sample Program 3 for Shaky v2.0
	Copyright (C) 1998, $B7s4d(B  $B7{(B(kaneiwa@jaist.ac.jp)    %

agt=person.
coagt=person.

taro<person.
jiro<person.
hanako<person.

tokyo<<kanto.
chiba<<kanto.
kanagawa<<kanto.
shinjuku<<tokyo.

S::S:exist(agt=X)<-
	S:see(agt=X,coagt=Y).
	
tokyo:see(agt=taro,coagt=hanako).
chiba:see(agt=taro,coagt=jiro).
kanagawa:see(agt=taro,coagt=hanako).
