Function count_qualified_fillers 

pub fn count_qualified_fillers(
    individual: u64,
    role: u64,
    filler_class: u64,
    abox: &[NQuin],
    type_assertions: &[(u64, u64)],
    tbox: &[NQuin],
) -> usize

Count an individual’s role-successors that are instances of filler_class (directly or via subsumption) — for qualified cardinality restrictions. abox holds role assertions (individual, role, successor); type_assertions holds (individual, class). Zero-heap.