s > {np(nom), vp}. vp > {vi}. vp > {vt, np(acc)}. vp > {vd, np(acc), np(dat)}. np(X) > {adj(X), np(X)}. np(nom) > "nalas". np(acc) > "nagaram". adj(acc) > "ruciram". vt > "agacchat". Strategy 1: Prediction: Given a rule A > MS, for each category B in MS and for each rule B' > gamma such that sigma = mgu(b, b') exists, add the edge [0...0: sigma(B' > gamma)] to the chart. Completion: Given an active edge [c1: A > MS] and a passive edge [c2:B > gamma .] such that c2 does not overlap with c1, for each category B' in MS such that sigma = mgu(b, b') exists, add the edge [c3: sigma(A > MS')] to the chart, where c3 = c1 union c2 and MS' = MS B'.
Parsear “ruciram nalas nagaram aggacchat” 00: scan "ruciram" 1000: adj(acc) 01: scan "nalas" 0100: np(nom) 02: scan "nagaram" 0010: np(acc) 03: scan "agacchat" 0001: vt 04: init 0000: s > {np(nom), vp} 05: pred 4 0000: np(nom) > {adj(nom), np(nom)} 06: pred 4 0000: vp > {vi} 07: pred 4 0000: vp > {vt, np(acc)} 08: pred 4 0000: vp > {vd, np(acc), np(dat)} 09: comp 4 + 1 0100: s > {vp} pred 5 already in chart at 5 10: comp 5 + 1 0100: np(nom) > {adj(nom)} 11: pred 7 0000: np(acc) > {adj(acc), np(acc)} 12: comp 7 + 3 0001: vp > {np(acc)} 13: comp 7 + 2 0010: vp > {vt} pred 8 already in chart at 5 14: pred 8 0000: np(dat) > {adj(dat), np(dat)} 15: comp 8 + 2 0010: vp > {vd, np(dat)} pred 9 already in chart at 68 pred 11 already in chart at 11
16: comp 11 + 0 1000: np(acc) > {np(acc)} 17: comp 11 + 2 0010: np(acc) > {adj(acc)} predict 12 already in chart at 11 18: comp 12 + 2 0011: vp comp 13 + 3 already in chart at 18 predict 14 already in chart at 14 predict 15 already in chart at 14 predict 16 already in chart at 11 19: comp 16 + 2 1010: np(acc) comp 17 + 0 already in chart at 19 20: comp 18 + 4 0011: s > {np(nom)} 21: comp 18 + 9 0111: s 22: comp 19 + 7 1010: vp > {vt} 23: comp 19 + 8 1010: vp > {vd, np(dat)} 24: comp 19 + 11 1010: np(acc) > {adj(acc)} 25: comp 19 + 12 1011: vp comp 19 + 16 fails due to overlap predict 20 already in chart at 5 predict 23 already in chart at 14 comp 24 + 0 fails due to overlap 26: comp 25 + 4 1011: s 27: comp 25 + 9 1111: s edge 27 indicates success