po poprawkach parsowania drzew

Wojciech Jaworski
1 parent 038956d1
Showing 4 changed files with 99 additions and 14 deletions
LCGlexicon/ENIAM_LCGlexicon.ml
LCGparser/TODO
corpora/test_conll.ml
testy/skladnica-test1-Failure.conll
@@ -247,41 +247,41 @@ let make_term id orth rules =
   Xlist.map rules (fun (cats,syntax,(semantics,weight)) ->
       ENIAM_LCGrenderer.reset_variable_names ();
       ENIAM_LCGrenderer.add_variable_numbers ();
-      print_endline ("make_term 0: " ^ ENIAM_LCGstringOf.grammar_symbol 0 syntax);
+      (* print_endline ("make_term 0: " ^ ENIAM_LCGstringOf.grammar_symbol 0 syntax); *)
       match semantics with
         BasicSem cat_list ->
         let node = make_node id orth cats.lemma cats.pos syntax weight(*+.token.ENIAMtokenizerTypes.weight*) cat_list false in
-        print_endline ("make_term 1: " ^ ENIAM_LCGstringOf.grammar_symbol 0 syntax);
+        (* print_endline ("make_term 1: " ^ ENIAM_LCGstringOf.grammar_symbol 0 syntax); *)
         let semantics = ENIAM_LCGrenderer.make_term node syntax in
         ENIAM_LCGrenderer.simplify (syntax,semantics)
       | RaisedSem(cat_list,outer_cat_list) ->
         (* FIXME: jakie atrybuty powinien mieć outer node (w szczególności jaką wagę?) *)
         let node = make_node id orth cats.lemma cats.pos syntax weight(*+.token.ENIAMtokenizerTypes.weight*) cat_list true in
         let outer_node = make_node id orth cats.lemma cats.pos syntax weight(*+.token.ENIAMtokenizerTypes.weight*) outer_cat_list false in
-        print_endline ("make_term 2: " ^ ENIAM_LCGstringOf.grammar_symbol 0 syntax);
+        (* print_endline ("make_term 2: " ^ ENIAM_LCGstringOf.grammar_symbol 0 syntax); *)
         let semantics = ENIAM_LCGrenderer.make_raised_term node outer_node syntax in
         ENIAM_LCGrenderer.simplify (syntax,semantics)
       | TermSem(cat_list,"λxλyλz.NODE(yx,z)") ->
         let node = make_node id orth cats.lemma cats.pos syntax weight(*+.token.ENIAMtokenizerTypes.weight*) cat_list false in
-        print_endline ("make_term 3: " ^ ENIAM_LCGstringOf.grammar_symbol 0 syntax);
+        (* print_endline ("make_term 3: " ^ ENIAM_LCGstringOf.grammar_symbol 0 syntax); *)
         let semantics = or_frame node in
         ENIAM_LCGrenderer.simplify (syntax,semantics)
       | _ -> failwith "make_term: ni")
  
 let create_entries rules id orth cats valence =
   Xlist.fold cats [] (fun l cats ->
-      Printf.printf "create_entries: orth=%s lemma=%s pos=%s\n" orth cats.lemma cats.pos;
+      (* Printf.printf "create_entries: orth=%s lemma=%s pos=%s\n" orth cats.lemma cats.pos; *)
       (* variable_name_ref := []; *)
       if cats.pos="interp" && cats.lemma="<clause>" then (BracketSet(Forward),Dot) :: l else
       if cats.pos="interp" && cats.lemma="</clause>" then (BracketSet(Backward),Dot) :: l else
         let e = get_labels () in
-        print_endline "create_entries 1";
+        (* print_endline "create_entries 1"; *)
         let rules = find_rules rules cats in
-        Printf.printf "create_entries 2: %s %s |rules|=%d\n" cats.lemma cats.pos (Xlist.size rules);
+        (* Printf.printf "create_entries 2: %s %s |rules|=%d\n" cats.lemma cats.pos (Xlist.size rules); *)
         let rules = assign_valence valence rules in
-        print_endline "create_entries 3";
+        (* print_endline "create_entries 3"; *)
         let rules = make_quantification e rules in
-        print_endline "create_entries 4";
+        (* print_endline "create_entries 4"; *)
         let rules = make_term id orth rules in
-        print_endline "create_entries 5";
+        (* print_endline "create_entries 5"; *)
         rules @ l)
 - sprawdzić czy krzyżowe kompozycje działają w zdaniu "Ponownie musiał użyć ręcznika"
+
+- sprawdzić czy tworzenie termów działa poprawnie dla podnoszenia typu
@@ -73,11 +73,11 @@ let rec dep_create_rec nodes sons conll_id =
   DepNode(conll_id, Xlist.map left (dep_create_rec nodes sons), node, Xlist.map right (dep_create_rec nodes sons))
  
 let create_dep_chart tokens lex_sems paths =
-  print_endline "create_dep_chart 1";
+  (* print_endline "create_dep_chart 1"; *)
   let sons = Int.fold 1 (Array.length paths - 1) IntMap.empty (fun sons i ->
       let _,super,_ = paths.(i) in
       IntMap.add_inc sons super [i] (fun l -> i :: l)) in
-  print_endline "create_dep_chart 2";
+  (* print_endline "create_dep_chart 2"; *)
   let nodes = Int.fold 0 (Array.length paths - 1) IntMap.empty (fun nodes i ->
       let id,_,_ = paths.(i) in
       let t = ExtArray.get tokens id in
@@ -87,9 +87,9 @@ let create_dep_chart tokens lex_sems paths =
       let cats = clarify_categories ["X"] t in
       let l = ENIAM_LCGlexicon.create_entries dep_rules id t.ENIAMtokenizerTypes.orth cats s.ENIAMlexSemanticsTypes.schemata in
       IntMap.add nodes i l) in
-  print_endline "create_dep_chart 3";
+  (* print_endline "create_dep_chart 3"; *)
   let x = dep_create_rec nodes sons 0 in
-  print_endline "create_dep_chart 4";
+  (* print_endline "create_dep_chart 4"; *)
   x
  
  
@@ -124,7 +124,9 @@ let test_example path id tokens lex_sems paths last =
 let test_dep_example path id tokens lex_sems paths =
   try
   ENIAM_LCGreductions.reset_variant_label ();
+  print_endline "test_dep_example 1";
   let paths = CONLL_adapter.convert_dep_tree id (*first_try*) true paths tokens in
+  print_endline "test_dep_example 2";
   (* ENIAMsubsyntaxHTMLof.print_dep_sentence path (id^"1_paths") tokens paths; *)
   let chart = create_dep_chart tokens lex_sems paths in
   (* ENIAM_LCGlatexOf.print_dep_chart path (id^"1_chart") "a1" chart; *)
+1	-	-	interp	interp	_	3	punct	_	_
+2	Panowie	pan	subst	subst	pl|nom|m1	3	subj	_	_
+3	przyszli	przyjść	praet	praet	pl|m1|perf	0	pred	_	_
+4	.	.	interp	interp	_	3	punct	_	_
+
 1	O	o	prep	prep	loc	12	comp	_	_
 2	klasztornym	klasztorny	adj	adj	sg|loc|n|pos	3	adjunct	_	_
 3	piekle	piekło	subst	subst	sg|loc|n	1	comp	_	_
@@ -16,8 +21,84 @@
 16	br	bieżący_rok	brev	brev	pun	15	ne	_	_
 17	.	.	interp	interp	_	12	punct	_	_
  
+1	Następnie	następnie	adv	adv	_	2	adjunct	_	_
+2	rozłożyła	rozłożyć	praet	praet	sg|f|perf	10	conjunct	_	_
+3	wysoki	wysoki	adj	adj	sg|acc|m3|pos	4	adjunct	_	_
+4	statyw	statyw	subst	subst	sg|acc|m3	2	obj	_	_
+5	,	,	interp	interp	_	10	coord_punct	_	_
+6	zawiesiła	zawiesić	praet	praet	sg|f|perf	10	conjunct	_	_
+7	na	na	prep	prep	loc	6	adjunct	_	_
+8	nim	on	ppron3	ppron3	sg|loc|m3|ter|akc|praep	7	comp	_	_
+9	pudełko	pudełko	subst	subst	sg|acc|n	6	obj	_	_
+10	,	,	interp	interp	_	0	pred	_	_
+11	przeprowadziła	przeprowadzić	praet	praet	sg|f|perf	10	conjunct	_	_
+12	od	od	prep	prep	gen|nwok	11	adjunct	_	_
+13	niego	on	ppron3	ppron3	sg|gen|n|ter|akc|praep	12	comp	_	_
+14	przezroczysty	przezroczysty	adj	adj	sg|acc|m3|pos	15	adjunct	_	_
+15	przewód	przewód	subst	subst	sg|acc|m3	11	obj	_	_
+16	do	do	prep	prep	gen	11	adjunct	_	_
+17	igły	igła	subst	subst	sg|gen|f	16	comp	_	_
+18	,	,	interp	interp	_	23	punct	_	_
+19	którą	który	adj	adj	sg|acc|f|pos	23	obj	_	_
+20	wcześniej	wcześnie	adv	adv	com	23	adjunct	_	_
+21	automatyczny	automatyczny	adj	adj	sg|nom|m3|pos	22	adjunct	_	_
+22	iniektor	iniektor	subst	subst	sg|nom|m3	23	subj	_	_
+23	umieścił	umieścić	praet	praet	sg|m3|perf	17	adjunct	_	_
+24	w	w	prep	prep	loc|nwok	23	comp	_	_
+25	żyle	żyła	subst	subst	sg|loc|f	24	comp	_	_
+26	na	na	prep	prep	loc	25	adjunct	_	_
+27	przedramieniu	przedramię	subst	subst	sg|loc|n	26	comp	_	_
+28	Irka	Irek	subst	subst	sg|gen|m1	27	adjunct	_	_
+29	.	.	interp	interp	_	10	punct	_	_
+
 1	-	-	interp	interp	_	4	punct	_	_
 2	Co	co	subst	subst	sg|nom|n	4	pd	_	_
 3	to	to	subst	subst	sg|nom|n	4	subj	_	_
 4	jest	być	fin	fin	sg|ter|imperf	0	pred	_	_
 5	?	?	interp	interp	_	4	punct	_	_
+
+1	Prosi	prosić	fin	fin	sg|ter|imperf	0	pred	_	_
+2	się	się	qub	qub	_	1	refl	_	_
+3	też	też	qub	qub	_	1	adjunct	_	_
+4	zakłady	zakład	subst	subst	pl|acc|m3	1	obj	_	_
+5	pracy	praca	subst	subst	sg|gen|f	4	adjunct	_	_
+6	,	,	interp	interp	_	8	punct	_	_
+7	które	który	adj	adj	pl|nom|m3|pos	8	subj	_	_
+8	dysponują	dysponować	fin	fin	pl|ter|imperf	4	adjunct	_	_
+9	autobusami	autobus	subst	subst	pl|inst|m3	8	comp	_	_
+10	,	,	interp	interp	_	12	punct	_	_
+11	by	by	comp	comp	_	12	complm	_	_
+12	wspomogły	wspomóc	praet	praet	pl|m3|perf	1	comp_fin	_	_
+13	komunikację	komunikacja	subst	subst	sg|acc|f	12	obj	_	_
+14	zastępczą	zastępczy	adj	adj	sg|acc|f|pos	13	adjunct	_	_
+15	.	.	interp	interp	_	1	punct	_	_
+
+1	-	-	interp	interp	_	3	punct	_	_
+2	Nie	nie	qub	qub	_	3	neg	_	_
+3	chcą	chcieć	fin	fin	pl|ter|imperf	0	pred	_	_
+4	,	,	interp	interp	_	8	punct	_	_
+5	by	by	comp	comp	_	8	complm	_	_
+6	m	być	aglt	aglt	sg|pri|imperf|nwok	8	aglt	_	_
+7	ich	on	ppron3	ppron3	pl|acc|m1|ter|akc|npraep	8	obj	_	_
+8	utrzymywał	utrzymywać	praet	praet	sg|m1|imperf	3	comp_fin	_	_
+9	.	.	interp	interp	_	3	punct	_	_
+
+1	Wzięli	wziąć	praet	praet	pl|m1|perf	0	pred	_	_
+2	w	w	prep	prep	loc|nwok	4	adjunct	_	_
+3	niej	on	ppron3	ppron3	sg|loc|f|ter|akc|praep	2	comp	_	_
+4	udział	udział	subst	subst	sg|acc|m3	1	obj	_	_
+5	przedstawiciele	przedstawiciel	subst	subst	pl|nom|m1	1	subj	_	_
+6	policji	policja	subst	subst	sg|gen|f	5	adjunct	_	_
+7	z	z	prep	prep	gen|nwok	5	adjunct	_	_
+8	Niemiec	Niemcy	subst	subst	pl|gen|n	17	conjunct	_	_
+9	,	,	interp	interp	_	17	coord_punct	_	_
+10	Czech	Czechy	subst	subst	pl|gen|n	17	conjunct	_	_
+11	,	,	interp	interp	_	17	coord_punct	_	_
+12	Słowacji	Słowacja	subst	subst	sg|gen|f	17	conjunct	_	_
+13	,	,	interp	interp	_	17	coord_punct	_	_
+14	Węgier	Węgry	subst	subst	pl|gen|n	17	conjunct	_	_
+15	,	,	interp	interp	_	17	coord_punct	_	_
+16	Ukrainy	Ukraina	subst	subst	sg|gen|f	17	conjunct	_	_
+17	i	i	conj	conj	_	7	comp	_	_
+18	Polski	Polska	subst	subst	sg|gen|f	17	conjunct	_	_
+19	.	.	interp	interp	_	1	punct	_	_