kv(vincent,ina).            % feiten over het kind-van predicaat
kv(ina,janus).
vo(X,X).                    % in predicaatlogica: forall x.vo(x,x)
vo(X,Z) :- kv(Y,X),vo(Y,Z). % in predicaatlogica: forall xzy:((vo(x,y) & vo(y,z)) -> vo(x,z))
                            % of ook: forall xz.((exists y.vo(x,y) & vo(y,z)) -> vo(x,z))