static L<S> termsWithPrefixPlusGlobalID(fS prefix) {
  ret [S s : fullTermsStartingWith(prefix) | possibleGlobalID(substring(s, l(prefix)))];
}