% This buffer is for notes you don't want to save.
% If you want to create a file, visit that file with C-x C-f,
% then enter the text in that file's own buffer.
:- rdf_meta(
        cardinality(r,r,-)).

cardinality(S, P, C) :-
           setof(O, rdf_has(S, P, O), Os),
           length(Os, C).
%cardinality(S, P, C) :- 
%           C = 0.
        
labels(S, C) :-
        cardinality(S, rdfs:label, C).