$maybe route <- mroute
^{search}
#{uname} $forall tag <- pathtags \ + # #{tag}