Function with_predicate 

pub fn with_predicate<F>(
    predicate: NamedNode,
    to_query_with_binding: F,
) -> impl FnOnce(Variable) -> ConstructQuery
where
    F: FnOnce(Variable) -> ConstructQuery,