enum 昼食 {
	カレーライス, ラーメン, そば
}

sig 人 {
    食べた : 昼食
}

one sig トンキチ,チンペイ,カンタ extends 人 {}

fact {
  チンペイ.食べた != そば
  カンタ.食べた != カレーライス
  カンタ.食べた != そば
}

fact {
  トンキチ.食べた != チンペイ.食べた
  トンキチ.食べた != カンタ.食べた
  チンペイ.食べた != カンタ.食べた
}

pred show {}
run show