constraint rules 制約規則 the formal rules of a constraint 形式的な制約規則 a main title must be supplied (output = (ident(title) ident(author) "You must supply a title or an author"))