Function obligation_fuzzily_met 

pub fn obligation_fuzzily_met(requirements: &[NQuin], threshold: f32) -> bool

Is a progressively-realised obligation met to at least threshold ∈ [0,1]?