[expr].associationNavigation(`source-end`, `target-end`)

Navigates the association from the source source-end, using the result of [expr], to the destination target-end.

Note: This function is now only available for compatibility with Top-Logic 5 models.