Documentation

Linglib.Fragments.Icelandic.Verbs

Icelandic verbs #

The Icelandic verb as a lexical entry: the root Verb with its case array, the case of its subject followed by the cases of its objects in their unmarked linear order. Icelandic marks its subjects and objects in every one of its four cases. Of the sixteen case pairs a dyadic verb might show, [Thr07]'s overview (4.48) finds five reasonably common, nominative–accusative, nominative–dative, nominative–genitive, dative–nominative and accusative–accusative, four rare or special, and seven unattested; of the sixty-four triples, its table (4.62) finds six, the subject always nominative, from the more than two hundred nominative–dative–accusative verbs down to the two nominative–accusative–accusative ones. Verbs in -st, whether or not an active counterpart exists (opna ~ opnast, leiðast), are entries like any other.

Main definitions #

Main results #

Implementation notes #

The entries record the case array and nothing of its provenance: which cases a verb assigns lexically and which fall out of the configuration is what the accounts of Icelandic case disagree about, and each study states its own (Studies/ZaenenMalingThrainsson1985.lean). The order of two objects is the one the sources gloss.

References #

Equations
Instances For
    def Icelandic.Verbs.Verb.ofCases (form : String) (subject : Case) (objects : List Case := []) :

    The entry for a citation form and its case array.

    Equations
    Instances For

      Intransitives #

      opnast 'open', the -st form of opna ([Woo15] ch. 3 (52)).

      Equations
      Instances For

        splundrast 'shatter', the -st form of splundra ([Woo15] ch. 3 (70)).

        Equations
        Instances For

          seljast 'sell', the -st form of selja ([Woo15] ch. 2 (1d)).

          Equations
          Instances For

            kyssast 'kiss (each other)', the -st form of kyssa ([Woo15] ch. 2 (1a)).

            Equations
            Instances For

              dulbúast 'disguise oneself', the -st form of dulbúa ([Woo15] ch. 2 (1b)).

              Equations
              Instances For

                reka 'drift', accusative subject ([Thr07] (4.30a)).

                Equations
                Instances For

                  líða 'feel', dative subject ([Thr07] (4.31c)).

                  Equations
                  Instances For

                    gæta 'be noticeable', genitive subject ([Thr07] (4.32a)).

                    Equations
                    Instances For

                      Nominative subjects #

                      elska 'love', nominative–accusative ([Woo15] ch. 3 (11a)).

                      Equations
                      Instances For

                        lesa 'read', nominative–accusative ([Thr07] (4.56b)).

                        Equations
                        Instances For

                          kyssa 'kiss', nominative–accusative ([ZMT85] (22a)).

                          Equations
                          Instances For

                            opna 'open', nominative–accusative ([Woo23] (2.93a)).

                            Equations
                            Instances For

                              hjálpa 'help', nominative–dative ([ZMT85] (8a)).

                              Equations
                              Instances For

                                strjúka 'pet, stroke', nominative–dative ([Thr07] (4.57b)).

                                Equations
                                Instances For

                                  kasta 'throw', nominative–dative ([Thr07] (4.57c); [Woo15] ch. 5 (48a)).

                                  Equations
                                  Instances For

                                    splundra 'shatter', nominative–dative ([Woo15] ch. 5 (53a)).

                                    Equations
                                    Instances For

                                      klæðast 'dress in', the -st form of klæða, nominative–dative ([Woo15] ch. 6 (76b)).

                                      Equations
                                      Instances For

                                        sakna 'miss', nominative–genitive ([ZMT85] (8b), (14a)).

                                        Equations
                                        Instances For

                                          krefjast 'demand', the -st form of krefja, nominative–genitive ([Thr07] (4.58b)).

                                          Equations
                                          Instances For

                                            óska 'wish', nominative–genitive, or nominative–dative–genitive with the recipient ([ZMT85] (37e), (66); [Thr07] (4.69a)).

                                            Equations
                                            Instances For

                                              Oblique subjects #

                                              þykja 'find, seem', dative–nominative ([ZMT85] (13)).

                                              Equations
                                              Instances For

                                                finnast 'find, think', dative–nominative ([ZMT85] (27a)).

                                                Equations
                                                Instances For

                                                  líka 'like', dative–nominative ([Thr07] (4.61b); [Woo15] ch. 5 (94a)).

                                                  Equations
                                                  Instances For

                                                    batna 'recover from', dative–nominative ([Thr07] (4.61c)).

                                                    Equations
                                                    Instances For

                                                      leiðast 'be bored by', dative–nominative ([Woo15] ch. 5 (92a)).

                                                      Equations
                                                      Instances For

                                                        áskotnast 'come by', dative–nominative ([Woo15] ch. 5 (41a)).

                                                        Equations
                                                        Instances For

                                                          vanta 'lack, need', accusative–accusative ([ZMT85] (29a)).

                                                          Equations
                                                          Instances For

                                                            dreyma 'dream', accusative–accusative ([Thr07] (4.60b)).

                                                            Equations
                                                            Instances For

                                                              bresta 'lack', accusative–accusative ([Thr07] (4.60c); [Woo15] ch. 2 (77a)).

                                                              Equations
                                                              Instances For

                                                                sækja 'come over', accusative–nominative, one of the rare accusative–nominative verbs ([Thr07] (4.52a)).

                                                                Equations
                                                                Instances For

                                                                  iðra 'regret', accusative–genitive, one of the rare accusative–genitive verbs ([Thr07] (4.52b)).

                                                                  Equations
                                                                  Instances For

                                                                    Ditransitives #

                                                                    gefa 'give', nominative–dative–accusative ([ZMT85] (44), (65a)).

                                                                    Equations
                                                                    Instances For

                                                                      segja 'tell', nominative–dative–accusative ([ZMT85] (37c)).

                                                                      Equations
                                                                      Instances For

                                                                        sýna 'show', nominative–dative–accusative ([Thr07] (4.63b)).

                                                                        Equations
                                                                        Instances For

                                                                          senda 'send', nominative–dative–accusative ([Thr07] (4.63c)).

                                                                          Equations
                                                                          Instances For

                                                                            leyna 'conceal from', nominative–accusative–dative ([ZMT85] (37a)).

                                                                            Equations
                                                                            Instances For

                                                                              svipta 'deprive of', nominative–accusative–dative ([ZMT85] (64a)).

                                                                              Equations
                                                                              Instances For

                                                                                ræna 'rob of', nominative–accusative–dative ([Thr07] (4.65c)).

                                                                                Equations
                                                                                Instances For

                                                                                  biðja 'ask for', nominative–accusative–genitive ([ZMT85] (37b); [Thr07] (4.70c)).

                                                                                  Equations
                                                                                  Instances For

                                                                                    krefja 'demand of', nominative–accusative–genitive ([Thr07] (4.70b)).

                                                                                    Equations
                                                                                    Instances For

                                                                                      spyrja 'ask', nominative–accusative–genitive ([Woo15] ch. 2 (81a)).

                                                                                      Equations
                                                                                      Instances For

                                                                                        lofa 'promise', nominative–dative–dative ([ZMT85] (37d)).

                                                                                        Equations
                                                                                        Instances For

                                                                                          skila 'return', nominative–dative–dative ([ZMT85] (42a); [Thr07] (4.72b)).

                                                                                          Equations
                                                                                          Instances For

                                                                                            valda 'cause', nominative–dative–dative ([Thr07] (4.72c)).

                                                                                            Equations
                                                                                            Instances For

                                                                                              synja 'deny', nominative–dative–genitive ([Thr07] (4.69b)).

                                                                                              Equations
                                                                                              Instances For

                                                                                                kosta 'cost', nominative–accusative–accusative, one of the two such verbs ([Thr07] (4.74a)).

                                                                                                Equations
                                                                                                Instances For

                                                                                                  taka 'take (time)', nominative–accusative–accusative ([Thr07] (4.74b)).

                                                                                                  Equations
                                                                                                  Instances For

                                                                                                    The verbs of the fragment.

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

                                                                                                      The cases on the verb #

                                                                                                      Every one of the four cases marks subjects and objects. [Thr07]'s (4.30) to (4.32) set accusative, dative and genitive subjects beside the nominative ones, and its (4.61) the nominative objects of the dative-subject verbs beside the accusative, dative and genitive objects of (4.56) to (4.58). The triadic verbs of its table (4.62) all have nominative subjects.

                                                                                                      theorem Icelandic.Verbs.subject_cases :
                                                                                                      (List.map (fun (x : Verb) => x.subject) verbs).toFinset = Finset.univ

                                                                                                      Each of the four cases is the case of some subject.

                                                                                                      theorem Icelandic.Verbs.object_cases :
                                                                                                      (List.flatMap (fun (x : Verb) => x.objects) verbs).toFinset = Finset.univ

                                                                                                      Each of the four cases is the case of some object.

                                                                                                      A verb with two objects has a nominative subject.