Japanese question profile

[DH13b] [BD20] [Day25] [SY17]

QuestionProfile bundle for Japanese (ISO jpn) per the project's "per-language data flows through Fragments" rule. Substrate types live in Linglib/Syntax/Question.lean.

Japanese: final polar Q particle ka, wh-in-situ, polar formed by particle.

def Japanese.Questions.question : Syntax.Question.QuestionProfile

Japanese question profile.

Equations

• One or more equations did not get rendered due to their size.