c1::S:illegal_action(agt=X)<-
	S:gambling(agt=X),
        S:young_man(a_obt=X).

c0::S:illegal_action(agt=X)<-
        S:gambling(agt=X),
        S:student(a_obt=X).

t0:young_man(a_obt=taro).
t0,t1:student(a_obt=taro).
t1,t2:adult_man(a_obt=taro).
t1,t2:gambling(agt=taro).
t0:young_man(a_obt=jiro).
t1,t2:adult_man(a_obt=jiro).
t1,t2:gambling(agt=jiro).
