PropertyDomain — Perceptual/Cognitive Channels for Adjective Dimensions

[GRFM26] [WH17]

A taxonomy of perceptual and cognitive channels a gradable dimension belongs to. color, material, and orientation are features known to guide visual search ([WH17]); [GRFM26] manipulates their perceptual discriminability and finds colour resists reduction to discriminability alone. These channels, together with size, are the dimensions parameterised by the RSA reference-production studies; the remaining domains are inventoried for typological completeness.

PropertyDomain is the codomain of Features.ScalarDimension.domain.

inductive Features.PropertyDomain : Type

Broad perceptual/cognitive domain that a gradable dimension belongs to. color, size, material, and orientation are the perceptually parameterised domains in the reference-production studies; the rest are classified but not parameterised.

• color : PropertyDomain
• size : PropertyDomain
• material : PropertyDomain
• orientation : PropertyDomain
• sensory : PropertyDomain
• evaluative : PropertyDomain
• psychological : PropertyDomain
• state : PropertyDomain

@[instance_reducible]

instance Features.instReprPropertyDomain : Repr PropertyDomain

Equations

• Features.instReprPropertyDomain = { reprPrec := Features.instReprPropertyDomain.repr }

def Features.instReprPropertyDomain.repr : PropertyDomain → Nat → Std.Format

Equations

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

@[instance_reducible]

instance Features.instDecidableEqPropertyDomain : DecidableEq PropertyDomain

Equations

• Features.instDecidableEqPropertyDomain x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Features.instInhabitedPropertyDomain : Inhabited PropertyDomain

Equations

• Features.instInhabitedPropertyDomain = { default := Features.instInhabitedPropertyDomain.default }