s --> np, vp. np --> navn. vp --> iv. iv --> [sover]. navn --> [felix]. % Eksempler % ?- phrase(s,[felix,sover]). % ?- phrase(s,X).