name mode size
AUG 040000
.gitignore 100644 0 kb
Main.hs 100644 0 kb
README.md 100644 2 kb
words 100644 2 kb
README.md
# Introduction Uses annotated applicative universal grammar (AAUG) to parse English sentences. Sentences can have wildcard words. Very much work in progress. Look at the "words" file for a basic word list with annotations. Read more about AUG here: links. # Grammar T S x -> y X_L = left X X_R = right X ## Noun NOU = T ## Verb VER = T -> S | T_L -> T_R -> S | T_L -> (T -> T)_R -> S | T_L -> (T -> S)_R -> S ### Type 0: Intransitive T -> S An action happens to T. Example: T sleeps. Example: The cat sleeps. ### Type 1: Transitive T_L -> T_R -> S T does something to T. Example: T eats T. Example: The dog eats food. ### Type 2: Linking verb T_L -> (T -> T)_R -> S A subject is linked to a predicate. Example: T seems (T -> T). Example: The fly seems happy. ### Type 3: Past participle NOT IMPLEMENTED Example: T have Example: I have eaten. ### Type 4: Something something (what's it called?) T_L -> (T -> S)_R -> S Example: T will (T -> S). Example: I will eat it. ## Adjective ADJ = T_L -> T A kind of T. Example: happy T. Example: happy mouse. ## Adverb ADV = (T -> T)_L -> (T -> T) | S_L -> S | T_L -> (T -> S)_R -> S ### Type 0: Modifying adjective (T -> T)_L -> (T -> T) A kind of adjective. Example: extremely T Example: extremely lucky ### Type 1: Modifying sentence S_L -> S A kind of sentence. Example: S again. Example: I must sleep again. ### Type 2: Modifying sentence T_L -> (T -> S)_R -> S A kind of sentence. Example: T never S. Example: She never jumps. ## Preposition PRE = S_L -> T_R -> S Example: S in T. Example: He eats in the computer. ## Miscellaneous CJT = T -> T -> T CJS = S -> S -> S