formalizes recent definitions by András

[makrai]

@kornai

Content:

• To express that buyer is the agent of buy, the nearest hit the formalism lets you do is to state that the definiendum is one who generically buys. I moved agt of to comment.
• The vocative cannot be formalized.
• Participant of game: of can be PART_OF or AT, I chose the former.

Format:

• I added the file extension tsv, which makes debugging on github easier.
• I added two columns for compatibility
  • "urobors", filled with u in this case
  • comment

[kornai]

Pulloltam, köszönöm, nézem

…

On Jan 14, 2019, at 12:24 PM, Márton Makrai ***@***.***> wrote: @kornai Content: • To express that buyer is the agent of buy, the nearest hit the formalism lets you do is to state that the definiendum is one who generically buys. I moved agt of to comment. • The vocative cannot be formalized. • Participant of game: of can be PART_OF or AT, I chose the former. Format: • I added the file extension tsv, which makes debugging on github easier. • I added two columns for compatibility • "urobors", filled with u in this case • comment You can view, comment on, or merge this pull request online at: #160 Commit Summary • formalizes recent definitions by András • columns • voc • voc2 • voc3 • player part_of game File Changes • D add4 (8) • A add4.tsv (8) Patch Links: • https://github.com/kornai/4lang/pull/160.patch • https://github.com/kornai/4lang/pull/160.diff — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub, or mute the thread.