pub fn is_relation_implied(inner: &Entry, outer: &Entry) -> bool
Check if one relation implies another.
inner
outer