Function covers 

pub fn covers(outer: &str, inner: &str) -> Tri

Whether every resource matched by inner is also matched by outer.

This is the containment relation the partial order is built from: outer permits at least as much as inner.