Download pdf - arXiv

E.1. Language analysis: source code
127
% also " a tiny , wonderful house ":
adj_compl ( adj_compl ( S1 , S2 , S3 ) ) --> adj ([ S1 ]) , connector ([ S2 ]) , adj
([ S3 ]) ,!.
adj_compl ( adj_compl ( S1 , S2 ) ) --> adj ([ S1 ]) , adj ([ S2 ]) ,!.
adj_compl ( adj_compl ( S1 , S2 ) ) --> adv ([ S1 ]) , adj ([ S2 ]) ,!. % manner
complement
adj_compl ( adj_compl ( S1 ) ) --> adj ([ S1 ]) ,!.
noun_phrase ( noun_phrase ( S1 , S2 , S3 , S4 , S5 ) ) --> det ([ S1 ]) , adj_compl (
S2 ) , noun ([ S3 ]) ,
connector ([ S4 ]) ,
noun_phrase ( S5 )
,!.
noun_phrase ( noun_phrase ( S1 , S2 , S3 , S4 ) ) --> det ([ S1 ]) , noun ([ S2 ]) ,
connector ([ S3 ]) ,
noun_phrase ( S4 ) ,!.
noun_phrase ( noun_phrase ( S1 , S2 , S3 , S4 ) ) --> adj_compl ( S1 ) , noun ([ S2 ])
,
connector ([ S3 ]) ,
noun_phrase ( S4 ) ,!.
noun_phrase ( noun_phrase ( S1 , S2 , S3 ) ) --> det ([ S1 ]) , noun ([ S2 ]) ,
prop_pred ( S3 ) ,!.
noun_phrase ( noun_phrase ( S1 , S2 , S3 ) ) --> adj_compl ( S1 ) , noun ([ S2 ]) ,
prop_pred ( S3 ) ,!.
noun_phrase ( noun_phrase ( S1 , S2 , S3 ) ) --> det ([ S1 ]) , adj_compl ( S2 ) ,
noun ([ S3 ]) ,!.
noun_phrase ( noun_phrase ( S1 , S2 , S3 ) ) --> det ([ S1 ]) , noun ([ S2 ]) ,
rel_phrase ( S3 ) ,!.
noun_phrase ( noun_phrase ( S1 , S2 , S3 ) ) --> det ([ S1 ]) , noun ([ S2 ]) , noun
([ S3 ]) ,!.
noun_phrase ( noun_phrase ( S1 , S2 , S3 ) ) --> noun ([ S1 ]) , connector ([ S2 ])
, noun ([ S3 ]) ,!.
noun_phrase ( noun_phrase ( S1 , S2 ) ) --> det ([ S1 ]) , noun ([ S2 ]) ,!.
noun_phrase ( noun_phrase ( S1 , S2 ) ) --> noun ([ S1 ]) , prop_pred ( S2 ) ,!.
noun_phrase ( noun_phrase ( S1 , S2 ) ) --> adj_compl ( S1 ) , noun ([ S2 ]) ,!.
noun_phrase ( noun_phrase ( S1 ) ) --> noun ([ S1 ]) ,!.
noun_phrase ( noun_phrase ( S1 ) ) --> adj_compl ( S1 ) ,!.
prop_pred ( prop_pred ( S1 , S2 ) ) --> prep ([ S1 ]) , noun_phrase ( S2 ) ,!.
prop_pred ( prop_pred ( S1 , S2 ) ) --> prep ([ S1 ]) , verb ([ S2 ]) , noun_phrase (
S3 ) ,!. % to reaffirm our situation
rel_phrase ( rel_phrase ( S1 , S2 ) ) --> prorel ([ S1 ]) ,
a f f i r m a t i v e _ s e n t e n c e ( S2 ) .
rel_phrase ( rel_phrase ( S1 , S2 ) ) --> prorel ([ S1 ]) , verb_phrase ( S2 ) .
% transitive :
verb_phrase ( verb_phrase ( S1 , S2 , S3 ) ) --> verb1 ( S1 ) , noun_phrase ( S2 ) ,
adv ([ S3 ]) ,!.
verb_phrase ( verb_phrase ( S1 , S2 , S3 ) ) --> verb1 ( S1 ) , noun_phrase ( S2 ) ,
prop_pred ( S3 ) ,!.
verb_phrase ( verb_phrase ( S1 , S2 , S3 ) ) --> verb1 ( S1 ) , prop_pred ( S2 ) ,
noun_phrase ( S3 ) ,!. % oi + od
verb_phrase ( verb_phrase ( S1 , S2 , S3 ) ) --> verb1 ( S1 ) , noun_phrase ( S2 ) ,
noun_phrase ( S3 ) ,!. % oi + od , but oi without prep
verb_phrase ( verb_phrase ( S1 , S2 , S3 ) ) --> verb1 ( S1 ) , adj_compl ( S2 ) ,
prop_pred ( S3 ) ,!. % attributive sentences
verb_phrase ( verb_phrase ( S1 , S2 ) ) --> verb1 ( S1 ) , noun_phrase ( S2 ) ,!.
% intransitive :
verb_phrase ( verb_phrase ( S1 , S2 ) ) --> verb1 ( S1 ) , adj_compl ( S2 ) ,!. %
attributive sentences