noun(noun(boy)) --> [boy]  .
noun(noun(box) ) --> [box] .
noun(noun(room))  --> [room] .
noun(noun(school))  --> [school] .
noun(noun(woman) ) --> [woman] .
noun(noun(man)) -->  [man].
noun(noun(tree))  --> [tree].
noun(noun(girl))  --> [girl].
noun(noun(students)) --> [students] .
noun(noun(professors))  -->  [professors] .
noun(noun(lecturers) )  --> [lecturers].
noun(noun(scientists) )  -->  [scientists].
noun(noun(researchers) ) -->  [researchers].
noun(noun(cat) ) -->   [cat].
noun(noun(bat))  -->  [bat].
noun(noun(hat))  -->  [hat] .
noun(noun(ball))  --> [ball]  .
noun(noun(envelope))  --> [envelope]  .
noun(noun(shed))  --> [shed]  .
noun(noun(building))  --> [building]  .
noun(noun(lecturers))  --> [lecturers]  .


verbC(verb(pushed)) --> [pushed].
verbC(verb(stored))  --> [stored]  .
verbC(verb(gave))  -->  [gave].
verbC(verb(climbed))  --> [climbed]    .
verbC(verb(watched) )  -->  [watched] .
verbC(verb(admired))  --> [admired] .
verbC(verb(appreciated)) --> [appreciated]  .
verbC(verb(did))  -->  [did] .
verbC(verb(made))  --> [made]  .
verbC(verb(played)) --> [played].
verbC(verb(pushed)) --> [pushed].
verbC(verb(saved)) --> [saved].
verbC(verb(ate)) --> [ate].
verbC(verb(came)) --> [came].
verbC(verb(fell)) --> [fell].
verbC(verb(went)) --> [went].
verbC(verb(knew)) --> [knew].
verbC(verb(walk)) --> [walk].
verbC(verb(wrote)) --> [wrote].
verbC(verb(broke)) --> [broke].


adj(adj(young)) -->[young].
adj(adj(big)) -->[big].
adj(adj(adorable))-->[adorable].
adj(adj(large)) -->[large].
adj(adj(empty)) -->[empty].
adj(adj(white)) -->[white].
adj(adj(some)) -->[some].
adj(adj(old)) -->[old].
adj(adj(brilliant)) -->[brilliant].
adj(adj(many)) -->[many].
adj(adj(talented)) -->[talented].
adj(adj(bright)) -->[bright].
adj(adj(every)) -->[every].
adj(adj(clean)) -->[clean].
adj(adj(clever)) -->[clever].
adj(adj(better)) -->[better].
adj(adj(red)) -->[red].
adj(adj(plain)) -->[plain].
adj(adj(nice)) -->[nice].
adj(adj(brave)) -->[brave].


adv(adv(quickly))--> [quickly].
adv(adv(sadly))--> [sadly].
adv(adv(slowly))--> [slowly].
adv(adv(excitedly))--> [excitedly].
adv(adv(carefully))--> [carefully].
adv(adv(completely))--> [completely].
adv(adv(boldly))--> [boldly].
adv(adv(financially))--> [financially].
adv(adv(openly))--> [openly].
adv(adv(poorly))--> [poorly].

prop(prop(on))-->[on].
prop(prop(of))-->[of].
prop(prop(at))-->[at].
prop(prop(in))-->[in].
prop(prop(under))-->[under].
prop(prop(above))-->[above].
prop(prop(behind))-->[behind].
prop(prop(from))-->[from].
prop(prop(with))-->[with].
prop(prop(after))-->[after].
prop(prop(before))-->[before].


det(det(the)) --> [the].
det(det(a)) --> [a].
det(det(an)) --> [an].
det(det(this)) --> [this].
det(det(that)) --> [that].
det(det(these)) --> [these].
det(det(those)) --> [those].
det(det(all)) --> [all].
det(det(both)) --> [those].
det(det(each)) --> [each].

conj(conj(and)) --> [and].

%sentences
s(s(NP,VP))  --> noun_phrase(NP), verb_phrase(VP).
s(s(NP,VP,PP))  --> noun_phrase(NP), verb_phrase(VP), proposition_p(PP).
s(s(NP,VP,AND,SENT))  --> noun_phrase(NP), verb_phrase(VP), conj(AND),s(SENT).
s(s(PP,NP,VP))  --> proposition_p(PP),noun_phrase(NP), verb_phrase(VP).
s(s(NP,PP,NP))  --> noun_phrase(NP),proposition_p(PP),noun_phrase(NP).
s(s(NP,VP,PP,AND,SENT))  --> noun_phrase(NP), verb_phrase(VP),proposition_p(PP), conj(AND),s(SENT).
s(s(PP,NP,VP,AND,SENT))  --> proposition_p(PP),noun_phrase(NP), verb_phrase(VP), conj(AND),s(SENT).

%nouns
noun_phrase(noun_phrase(N)) --> noun(N).
noun_phrase(noun_phrase(ADJ,N)) --> adjective_phrase(ADJ),noun(N).
noun_phrase(noun_phrase(DET,N)) --> det(DET),noun(N).
noun_phrase(noun_phrase(DET,ADJ,N)) --> det(DET),adjective_phrase(ADJ),noun_phrase(N).
noun_phrase(noun_phrase(ADV,ADJ,N)) --> adverb_phase(ADV),adjective_phrase(ADJ),noun_phrase(N).
noun_phrase(noun_phrase(DET,ADV,ADJ,N)) --> det(DET),adverb_phase(ADV),adjective_phrase(ADJ),noun_phrase(N).
noun_phrase(noun_phrase(ADV,ADJ,N)) --> adverb_phase(ADV),adjective_phrase(ADJ),noun_phrase(N).

%%%%%%%with conjunction

noun_phrase(noun_phrase(N,AND,NP)) --> noun(N), conj(AND),noun_phrase(NP).
noun_phrase(noun_phrase(ADJ,N,AND,NP)) --> adjective_phrase(ADJ),noun(N), conj(AND),noun_phrase(NP).
noun_phrase(noun_phrase(DET, N,AND,NP)) --> det(DET),noun(N), conj(AND),noun_phrase(NP).
noun_phrase(noun_phrase(DET,ADJ,N,AND,NP)) --> det(DET),adjective_phrase(ADJ),noun(N), conj(AND),noun_phrase(NP).
noun_phrase(noun_phrase(DET,ADV,ADJ,N,AND,NP)) --> det(DET),adverb_phase(ADV),adjective_phrase(ADJ),noun(N), conj(AND),noun_phrase(NP).
noun_phrase(noun_phrase(ADV,ADJ,N,AND,NP)) --> adverb_phase(ADV),adjective_phrase(ADJ),noun(N), conj(AND),noun_phrase(NP).


%verb
verb_phrase(verb_phrase(V)) --> verb(V).
verb_phrase(verb_phrase(V,NP)) --> verb(V), noun_phrase(NP).
verb_phrase(verb_phrase(ADV,VP)) --> adverb_phase(ADV),verb_phrase(VP).
verb_phrase(verb_phrase(ADV,V,NP)) --> adverb_phase(ADV),verb(V),noun_phrase(NP).
verb_phrase(verb_phrase(V,ADV,NP)) --> verb(V),adverb_phase(ADV),noun_phrase(NP).

verb(v(Z)) --> verbC(Z).
verb(verb(V,AND,V)) --> verbC(V),conj(AND),verb(V).


%adverb
adverb_phase(adverb_phase(ADV))--> adv(ADV) .
adverb_phase(adverb_phase(AV,DV))--> adv(AV),adverb_phase(DV).


%adjective
adjective_phrase(adjective_phrase(ADJ)) --> adj(ADJ).
adjective_phrase(adjective_phrase(AJ,DJ))--> adj(AJ),adjective_phrase(DJ).

%propositions
proposition_p(proposition_p(PP,NP))--> prop(PP),noun_phrase(NP).