Bridge: DG Islands → Phenomena Island Constraints

@cite{hofmeister-sag-2010} @cite{osborne-2019} @cite{ross-1967}

Maps the DG rising-catena island taxonomy (@cite{osborne-2019}, Ch 9) to the Phenomena island constraint types from Phenomena.FillerGap.Islands.Data.

Three of Osborne's island types have direct Phenomena equivalents:

• adjunct →.adjunct
• subject →.subject
• wh-island →.embeddedQuestion

The remaining types (leftBranch, specifiedNP, rightRoof, pStranding, piedPiping) are DG-specific and map to none.

def DepGrammar.Islands.toPhenomenaConstraintType : OsborneIslandType → Option ConstraintType

Map OsborneIslandType to ConstraintType for the shared types.

Equations

• DepGrammar.Islands.toPhenomenaConstraintType DepGrammar.Islands.OsborneIslandType.adjunct = some ConstraintType.adjunct
• DepGrammar.Islands.toPhenomenaConstraintType DepGrammar.Islands.OsborneIslandType.subject = some ConstraintType.subject
• DepGrammar.Islands.toPhenomenaConstraintType DepGrammar.Islands.OsborneIslandType.whIsland = some ConstraintType.embeddedQuestion
• DepGrammar.Islands.toPhenomenaConstraintType x✝ = none