action dependency reasoning