Bridge: DG Islands → Phenomena Island Constraints

@cite{osborne-2019} @cite{ross-1967}

Maps the DG rising-catena island taxonomy from @cite{osborne-2019} to the Phenomena island constraint types from Phenomena.Islands.Studies.Ross1967.

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 Phenomena.Islands.Studies.Osborne2019.toPhenomenaConstraintType : DepGrammar.Islands.OsborneIslandType → Option ConstraintType

Map OsborneIslandType to ConstraintType for the shared types.

Equations

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