Assumptions:
Lexical items: [book, n3sg, [the, d]]
%%% Constraints off :- no_loopdetect. :- no_rmduplicates. :- no_ipm_adjunct_r. :- no_pm_adjunct_r. :- no_merge_r. :- no_cii_r.
Constraints still on:
In , cannot do IPM of y
