@prefix seas: <https://w3id.org/seas/>.