LOCAL
      x : SET OF Scalar_terminal_definition_link_armx;
    END_LOCAL;

    IF  relation.precedent_terminal_definition IN  relatives THEN
      RETURN  (FALSE);
    END_IF;
    x := QUERY(pd <* bag_to_set(USEDIN(relation.precedent_terminal_definition,
      'FUNCTIONAL_USAGE_VIEW_XIM.' + 'SCALAR_TERMINAL_DEFINITION_LINK_ARMX.' +
      'SUBSEQUENT_TERMINAL_DEFINITION')) | specific_relation IN TYPEOF(pd));
    REPEAT i := 1 TO HIINDEX(x);
      IF NOT acyclic_scalar_terminal_definition_link(x[i], relatives +
        relation.precedent_terminal_definition, specific_relation) THEN
        RETURN  (FALSE);
      END_IF;
    END_REPEAT;
   RETURN (TRUE);