Zürich German verbs #

This file defines the case-governing verbs of Shieber's Swiss German subordinate clauses, whose informants spoke the Zürich dialect. Each entry is the root Verb with its case array and the inflected forms the clauses attest: hälfe 'help' takes a dative object, and laa 'let' and aastriiche 'paint' take an accusative one.

Implementation notes #

An entry records its object's case and no complement frame. Whether the accusative of laa is its own object or the subject of the infinitive it embeds is a question of structure that Shieber leaves open.

References #

[Shi85]

source

structure German.Zurich.Verbextends Verb, Verb.CaseArray German.Zurich.Case :

Type

A Zürich German verb is the root entry with its case array and its inflected forms.

valency : Valency
voiceType : Option VoiceType
passivizable : Bool
perfectAuxiliaries : Finset PerfectAuxiliary
vendlerClass : Option Aspect.VendlerClass
scaleDimension : Option Degree.ScalarDimension
scalePolarity : Polarity
direction : Option Spatial.Path.Direction
incrementality : Option Aspect.Incrementality
phasal : Option Aspect.Phasal
factivity : Option Presupposition.Factivity
implicative : NaturalLogic.ImplicationSignature
opaqueContext : Bool
attitude : Option _root_.Attitude
readings : List Reading
complementSig : Option NaturalLogic.Signature
levinClasses : Finset ArgumentStructure.LevinClass
levinExcluded : Finset ArgumentStructure.LevinClass
root : Semantics.Root
morphs : List Morphology.Morph
speechActVerb : Bool
senseTag : SenseTag
subject : German.Zurich.Case
objects : List German.Zurich.Case
inflected : List String
These are the inflected forms recorded besides the citation form.

Instances For

source

def German.Zurich.instBEqVerb.beq :

Verb → Verb → Bool

Equations

German.Zurich.instBEqVerb.beq { toVerb := a, toCaseArray := a_1, inflected := a_2 } { toVerb := b, toCaseArray := b_1, inflected := b_2 } = (a == b && (a_1 == b_1 && a_2 == b_2))
German.Zurich.instBEqVerb.beq x✝¹ x✝ = false