LOCAL
    x : SET OF Assembly_component_placement_link;
END_LOCAL;

    IF  relation.precedent_element IN  relatives THEN
      RETURN  (FALSE);
    END_IF;
      x := QUERY(pd <* bag_to_set(USEDIN(relation.precedent_element,
        'COMPONENT_GROUPING_ARM.' + 'ASSEMBLY_COMPONENT_PLACEMENT_LINK.' +
        'SUBSEQUENT_ELEMENT')) | specific_relation IN TYPEOF(pd));
    REPEAT i := 1 TO HIINDEX(x);
      IF NOT acyclic_assembly_component_placement_link(x[i], relatives +
        relation.precedent_element, specific_relation) THEN
        RETURN  (FALSE);
      END_IF;
    END_REPEAT;
  RETURN (TRUE);