gen dra lujvo

d₁ is grammatically correct in situation d₃ according to grammar d₄=g₁.

In notes:

gentoldra: x₁ is grammatically incorrect in situation x₂ according to grammar x₃
terge'a: x₁ is grammatically/syntactically correct in language x₂ according to grammar/parser x₃.
gentufa: x₁ parses text x₂ using grammar x₃