Universal 1281:

Original: If the direct object is marked when its referent is indefinite, it is also marked when its referent is definite or unique.
Standardized: IF the direct object is marked when its referent is indefinite, THEN it is also marked when its referent is definite or unique.
Keywords: direct object, definite, indefinite
Domain: syntax
Type: implication
Status: achronic
Quality: absolute
Basis: sample of 107 languages in Blansitt 1973
Source: Blansitt 1973: 20

FP