| ?- c. {consulting /home/rosen/VYUKA/DEKL/GRAMATIKY/GRAM1/TRALE/theory...} {consulting /data/TRALE/trale-v-2-7-10/tree_extensions.pl...} {consulted /data/TRALE/trale-v-2-7-10/tree_extensions.pl in module user, 20 msec 1192 bytes} {consulted /home/rosen/VYUKA/DEKL/GRAMATIKY/GRAM1/TRALE/theory in module user, 20 msec 2976 bytes} Reading signature file... signature Compiling type unification... {ALE: Warning: assuming the following types are maximally specific: e_list ne_list noun phrase verb word } Compiling appropriateness... Compiling extensionality declarations... Compiling subtype covering constraints... Compiling functional and macro descriptions... Compiling type constraints... *Warning: no constraints found Compiling most general satisfiers... Compiling type promotion... Compiling feature selection... Compiling unification... Compiling definite clauses... Compiling lexical rules... *Warning: no lexical rules found Compiling lexicon... Compiling empty categories and phrase structure rules... yes {source_info} | ?- lex pase. WORD: pase ENTRY: sign PHON ne_list HD a_ pase TL e_list SYNSEM verb Do you want to try for more solutions? (return for ) no {source_info} | ?- lex pepa. WORD: pepa ENTRY: sign PHON ne_list HD a_ pepa TL e_list SYNSEM noun Do you want to try for more solutions? (return for ) no {source_info} | ?- rec[pepa,pase,kozu]. STRING: 0 pepa 1 pase 2 kozu 3 CATEGORY: phrase DTRS ne_list HD phrase DTRS ne_list HD sign PHON ne_list HD [0] a_ pepa TL e_list SYNSEM noun TL ne_list HD sign PHON ne_list HD [1] a_ pase TL e_list SYNSEM verb TL e_list PHON ne_list HD [0] TL ne_list HD [1] TL e_list SYNSEM verb TL ne_list HD sign PHON ne_list HD [2] a_ kozu TL e_list SYNSEM noun TL e_list PHON ne_list HD [0] TL ne_list HD [1] TL ne_list HD [2] TL e_list SYNSEM verb Do you want to try for more solutions? (return for ) CATEGORY: phrase DTRS ne_list HD sign PHON ne_list HD [2] a_ pepa TL e_list SYNSEM noun TL ne_list HD phrase DTRS ne_list HD sign PHON ne_list HD [0] a_ pase TL e_list SYNSEM verb TL ne_list HD sign PHON ne_list HD [1] a_ kozu TL e_list SYNSEM noun TL e_list PHON ne_list HD [0] TL ne_list HD [1] TL e_list SYNSEM verb TL e_list PHON ne_list HD [2] TL ne_list HD [0] TL ne_list HD [1] TL e_list SYNSEM verb Do you want to try for more solutions? (return for ) no {source_info} | ?- rec[pase,pepa,kozu]. STRING: 0 pase 1 pepa 2 kozu 3 CATEGORY: phrase DTRS ne_list HD phrase DTRS ne_list HD sign PHON ne_list HD [0] a_ pase TL e_list SYNSEM verb TL ne_list HD sign PHON ne_list HD [1] a_ pepa TL e_list SYNSEM noun TL e_list PHON ne_list HD [0] TL ne_list HD [1] TL e_list SYNSEM verb TL ne_list HD sign PHON ne_list HD [2] a_ kozu TL e_list SYNSEM noun TL e_list PHON ne_list HD [0] TL ne_list HD [1] TL ne_list HD [2] TL e_list SYNSEM verb Do you want to try for more solutions? (return for ) no {source_info} | ?- rec[kozu,pepa,pase]. STRING: 0 kozu 1 pepa 2 pase 3 CATEGORY: phrase DTRS ne_list HD sign PHON ne_list HD [2] a_ kozu TL e_list SYNSEM noun TL ne_list HD phrase DTRS ne_list HD sign PHON ne_list HD [0] a_ pepa TL e_list SYNSEM noun TL ne_list HD sign PHON ne_list HD [1] a_ pase TL e_list SYNSEM verb TL e_list PHON ne_list HD [0] TL ne_list HD [1] TL e_list SYNSEM verb TL e_list PHON ne_list HD [2] TL ne_list HD [0] TL ne_list HD [1] TL e_list SYNSEM verb Do you want to try for more solutions? (return for ) no {source_info} | ?-