Wiki Navigation

Changes between Version 14 and Version 15 of BoxerInput

v14	v15
7	7	* type changing (tc/3), where the first argument is the new type, the second argument the old type, and the third argument the subtree;
8	8	* type raising (tr/2);
9		* ternary coordination rule (coord/4), where the first argument is the category coordinated, the second argument the left conjunct, the third argument the conjunctor, the fourth argument the right conjunct;
10		* binary coordination rule (conj/4), where the first argument is the resulting category, the second argument is the category coordinated, the third argument the conjunctor, the fourth argument the right conjunct;
	9	* ternary coordination rule (coord/4, a la Steedman), where the first argument is the category coordinated, the second argument the left conjunct, the third argument the conjunctor, the fourth argument the right conjunct;
	10	* binary coordination rule (conj/4, a la Hockenmaier), where the first argument is the resulting category, the second argument is the category coordinated, the third argument the conjunctor, the fourth argument the right conjunct;
11	11	* punctuation rules (lp/3 and rp/3);
12	12	* punctuation type changing rules (rtc/3 and ltc/3), aka binary type changing rules;