LOCAL x : SET OF person_type_definition_relationship ; END_LOCAL ; IF  relation . relating_person_type_definition IN  relatives THEN  RETURN  ( FALSE  ) ; END_IF  ; x := QUERY ( ptdef <* bag_to_set ( USEDIN ( relation . relating_person_type_definition , 'person_organization_schema.' + 'person_type_definition_relationship.' + 'related_person_type_definition' ) ) | specific_relation IN TYPEOF ( ptdef ) ) ; REPEAT i := 1 TO HIINDEX ( x ) ; IF NOT acyclic_person_type_definition_relationship ( x [ i ] , relatives + relation . relating_person_type_definition , specific_relation ) THEN RETURN  ( FALSE ) ; END_IF ; END_REPEAT ; RETURN ( TRUE ) ;