Joey
definition foo { permission some_nested_arrow = some->other } definition bar { relation foos: foo permission view = foos->some_nested_arrow }