%Parameters

:- set(i,99).
:- set(clauselength,99).

%Mode declarations

:- mode(*,vp(+vertex, -vertex)).
:- mode(*,np(+vertex, -vertex)).
:- mode(*,modif(+vertex, -vertex)).
:- mode(*,word(#word, +vertex, -vertex)).

%Determinations

:- determination(vp/2,vp/2).
:- determination(vp/2,np/2).
:- determination(vp/2,modif/2).
:- determination(vp/2,word/3).

%Background knowledge

np(0,1).

% Need to declare as dynamic, else assumed to be static by SWI.
:- dynamic(vp/2).

vp(1,2).

modif(2,3).

word('She',0,1).
word(ran,1,2).
word(quickly,2,3).