LOCAL
      x : SET OF identification_assignment_relationship;
    END_LOCAL;

    IF  relation.relating_identification_assignment IN  relatives THEN
      RETURN  (FALSE);
    END_IF;
    x := QUERY(ia <* bag_to_set(USEDIN(relation.relating_identification_assignment, 'MANAGEMENT_RESOURCES_SCHEMA.' + 'IDENTIFICATION_ASSIGNMENT_RELATIONSHIP.' + 'RELATED_IDENTIFICATION_ASSIGNMENT')) | specific_relation IN TYPEOF(ia));
    REPEAT i := 1 TO HIINDEX(x);
      IF NOT acyclic_identification_assignment_relationship(x[i], relatives + relation.relating_identification_assignment, specific_relation) THEN
        RETURN  (FALSE);
      END_IF;
    END_REPEAT;
    RETURN (TRUE);