Function or 

pub fn or(a: Likeliness, b: Likeliness) -> Likeliness

Disjunction — the join (best alternative): a claim reachable via a or b is at least as expected as its most-expected route.