ASL Classifier Predicates #
Lexical entries for ASL classifier predicates used in the elicited paradigms of [SLL26]. Each classifier has a handshape that iconically represents a class of objects, and its position/movement in signing space is interpreted relative to a viewpoint.
Classifiers #
| Gloss | Handshape | Object class |
|---|---|---|
| TREE-cl | 1-hand (upright index finger) | trees |
| POLE-cl | 1-hand (upright index finger) | poles, posts |
| PERSON-cl | index finger (upright) | people |
| VEHICLE-cl | 3-hand (thumb + index + middle) | vehicles, cars |
| WALL-cl | open hand (upright, flat) | walls, flat surfaces |
| RECTANGLE-cl | two-handed rectangle | rectangular objects |
| CORNER-cl | two-handed L-shape | corners |
Abstract signing space. The position type for ASL classifier predicates. Concrete spatial geometry (Cartesian coordinates, scaling factors) is left for future extension.
Equations
- ASL.instDecidableEqEntity x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- ASL.instReprEntity = { reprPrec := ASL.instReprEntity.repr }
Equations
- ASL.instReprEntity.repr ASL.Entity.ann prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "ASL.Entity.ann")).group prec✝
- ASL.instReprEntity.repr ASL.Entity.tree prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "ASL.Entity.tree")).group prec✝
- ASL.instReprEntity.repr ASL.Entity.pole prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "ASL.Entity.pole")).group prec✝
- ASL.instReprEntity.repr ASL.Entity.house prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "ASL.Entity.house")).group prec✝
- ASL.instReprEntity.repr ASL.Entity.vehicle prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "ASL.Entity.vehicle")).group prec✝
- ASL.instReprEntity.repr ASL.Entity.wall prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "ASL.Entity.wall")).group prec✝
- ASL.instReprEntity.repr ASL.Entity.corner prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "ASL.Entity.corner")).group prec✝
- ASL.instReprEntity.repr ASL.Entity.rectangle prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "ASL.Entity.rectangle")).group prec✝
Instances For
Logical predicate: is the entity a tree?
Equations
- ASL.isTree ASL.Entity.tree = True
- ASL.isTree x✝ = False
Instances For
Equations
- One or more equations did not get rendered due to their size.
Logical predicate: is the entity a pole?
Equations
- ASL.isPole ASL.Entity.pole = True
- ASL.isPole x✝ = False
Instances For
Equations
- One or more equations did not get rendered due to their size.
Logical predicate: is the entity a person?
Equations
- ASL.isPerson ASL.Entity.ann = True
- ASL.isPerson x✝ = False
Instances For
Equations
- One or more equations did not get rendered due to their size.
Logical predicate: is the entity a vehicle?
Equations
- ASL.isVehicle ASL.Entity.vehicle = True
- ASL.isVehicle x✝ = False
Instances For
Equations
- One or more equations did not get rendered due to their size.
Logical predicate: is the entity a wall or flat surface?
Equations
- ASL.isWall ASL.Entity.wall = True
- ASL.isWall x✝ = False
Instances For
Equations
- One or more equations did not get rendered due to their size.
Logical predicate: is the entity a rectangular object?
Equations
- ASL.isRectangle ASL.Entity.rectangle = True
- ASL.isRectangle x✝ = False
Instances For
Equations
- One or more equations did not get rendered due to their size.
Logical predicate: is the entity a corner?
Equations
- ASL.isCorner ASL.Entity.corner = True
- ASL.isCorner x✝ = False
Instances For
Equations
- One or more equations did not get rendered due to their size.
TREE-cl: 1-handshape classifier for trees. Viewpoint variable π₀ (free by default).
Equations
- ASL.treeCl proj = { logical := ASL.isTree, projects := proj, viewpointVar := Semantics.Iconic.ViewpointVar.free 0, label := "TREE-cl" }
Instances For
POLE-cl: 1-handshape classifier for poles. Viewpoint variable π₀ (free by default).
Equations
- ASL.poleCl proj = { logical := ASL.isPole, projects := proj, viewpointVar := Semantics.Iconic.ViewpointVar.free 0, label := "POLE-cl" }
Instances For
PERSON-cl: index finger classifier for people. Viewpoint variable π₀ (free by default).
Equations
- ASL.personCl proj = { logical := ASL.isPerson, projects := proj, viewpointVar := Semantics.Iconic.ViewpointVar.free 0, label := "PERSON-cl" }
Instances For
VEHICLE-cl: 3-handshape classifier for vehicles. Viewpoint variable π₀ (free by default).
Equations
- ASL.vehicleCl proj = { logical := ASL.isVehicle, projects := proj, viewpointVar := Semantics.Iconic.ViewpointVar.free 0, label := "VEHICLE-cl" }
Instances For
WALL-cl: open hand classifier for walls / flat surfaces.
Equations
- ASL.wallCl proj = { logical := ASL.isWall, projects := proj, viewpointVar := Semantics.Iconic.ViewpointVar.free 0, label := "WALL-cl" }
Instances For
RECTANGLE-cl: two-handed classifier for rectangular objects.
Equations
- ASL.rectangleCl proj = { logical := ASL.isRectangle, projects := proj, viewpointVar := Semantics.Iconic.ViewpointVar.free 0, label := "RECTANGLE-cl" }
Instances For
CORNER-cl: two-handed L-shape classifier for corners.
Equations
- ASL.cornerCl proj = { logical := ASL.isCorner, projects := proj, viewpointVar := Semantics.Iconic.ViewpointVar.free 0, label := "CORNER-cl" }
Instances For
All default classifiers use free viewpoint variables.