least 2 characters"),
                           validate(/[a-zA-Z0-9\.\-_@!]*/.match(name),"Tags may consist of: a-z 0-9 . _ @ ! -"),

n);     
    }
    function deriveOrdinal(n : String){
      var normalized :=  /[\W]/.replaceAll(".", n.replace("_", "") );
      var

): String {
    return /[^a-z0-9\.\-_@!]/.replaceAll("", x.toLowerCase());
  } 
  
section suggest tags

  function

       if(t.name.length() > 1  && /[a-zA-Z0-9\.\-_@!]*/.match(t.name)){
          t.deriveOrdinal( t.name );
        }
      }
  }

 String   (searchable, validate(
                               tag.length() >= 3 && /[a-z0-9]*/.match(tag), 
                               "User

    email       :: Email // Only when reporter == null
    nrVotes     :: Int := [ t | t : Tag in tags where /!.*/.match(t.name)].length

 isAssigned() : Bool {
    for(tag : Tag in tags) {
      if(/@.+/.match(tag.name)) {
        return true;
      }
    }
    return

module project/project-model

section data model

  entity Project {
    name        :: String (id, 
      validate(isUniqueProject(this), "Another project with this name already exists"), 
      validate(/\w[\w. ]*\w/.match(name), "Project names should start and end with a letter/number/underscore and should at least be 2 characters long."))

    description      :: WikiText
    url              :: URL
    issues