> define the base via union of all bases in the chain [...] just checks 3 things in order

Can you please show a concrete example? Thanks.