Add `SRM.Person_owns_Boat`