Function attenuates 

pub fn attenuates(parent: &[u64], child: &[u64]) -> bool

Attenuation (ZCAP-LD / Macaroons): a sub-delegation’s capability set child is valid only if a SUBSET of the delegator’s parent set — a delegatee never gains MORE authority than the delegator holds. (Empty child trivially attenuates.)