Source : ISO 10303-41
SCHEMA location_schema;
         REFERENCE FROM 
         support_resource_schema   -- ISO 10303-41
  (identifier,
           
         label,
           
         text,
           
         bag_to_set);
         
ENTITY location;
           id : identifier;
           name : label;
           description : 
         OPTIONAL 
         text;
         
         END_ENTITY;
ENTITY location_relationship;
           id : identifier;
           name : label;
           description : 
         OPTIONAL 
         text;
           relating_location : location;
           related_location : location;
         
         END_ENTITY;
FUNCTION acyclic_location_relationship
 (relation : location_relationship; relatives : SET[0:?] OF location; specific_relation : STRING) : BOOLEAN;
         LOCAL
      x : SET OF location_relationship;
    END_LOCAL;
    IF relation.relating_location IN relatives THEN
      RETURN (FALSE);
    END_IF;
    x := QUERY(lctn <* bag_to_set(USEDIN(relation.relating_location, 'LOCATION_SCHEMA.' + 'LOCATION_RELATIONSHIP.' + 'RELATED_LOCATION')) | specific_relation IN TYPEOF(lctn));
    REPEAT i := 1 TO HIINDEX(x);
      IF NOT acyclic_location_relationship(x[i], relatives + relation.relating_location, specific_relation) THEN
        RETURN (FALSE);
      END_IF;
    END_REPEAT;
    RETURN (TRUE);
         END_FUNCTION;
         
         END_SCHEMA;  -- location_schema