与件
よけん postulate given conditions data