(
)
A translation is provided in OWL