Obligations defined on sequentially composed actions