Deductive approach for nested relations - Yokota, Kazumasa