. "The type of field of an edge is its field label; the permitted types of interaction are interaction labels." . . .