def::到達[順番=N]/[到達日時=T] <=
fact:回答[順番=N]/[行為=口述, 口述日時=T];;
def::到達[順番=N]/[到達日時=T] <=
fact:回答[順番=N]/[行為=配達[場所=個人],
配達日時=T];;
def::到達[順番=N]/[到達日時=T] <=
fact:回答[順番=N]/[受取人=R,
行為=配達[場所=営業所],
配達日時=T],
fact:R/[営業所又は郵便送付先あり=yes]||{R =< 人};;
def::到達[順番=N]/[到達日時=T] <=
fact:回答[順番=N]/[受取人=R,
行為=配達[場所=郵便送付先],
配達日時=T],
fact:R/[営業所又は郵便送付先あり=yes]||{R =< 人};;
def::到達[順番=N]/[到達日時=T] <=
fact:回答[順番=N]/[受取人=R,
行為=配達[場所=常居所],
配達日時=T],
fact:R/[営業所又は郵便送付先あり=no]||{R =< 人};;