pub trait KBase<'a> { fn tell(&'a self, knowledge: &'a str); fn ask(&'a self, knowledge: &'a str) -> Vec<MPMatching<'a>>; }