s --> simple_s.
s --> simple_s,conj,s.

simple_s --> np(subject),vp.

np(_) --> det,n.
np(X) --> pro(X).

vp --> v,np(object).
vp --> v.

det --> [Word],{lex(Word,det)}.
n --> [Word],{lex(Word,n)}.
v --> [Word],{lex(Word,v)}.
conj --> [Word],{lex(Word,conj)}.

pro(X) --> [Word],{lex(Word,pro(X))}.

lex(the,det).
lex(a,det).

lex(woman,n).
lex(man,n).

lex(shoots,v).

lex(he,pro(subject)).
lex(she,pro(subject)).
lex(him,pro(object)).
lex(her,pro(object)).

lex(and,conj).
lex(or,conj).
lex(but,conj).