Unique rules when forming that grammar are highlighted like this.
Example sentences follow these rules too!
Joining and Nesting Markers:
Verb[た/る] - means that dictionary form and ta form are accepted.
Verb[causative[て]] - means て form of the causative form of the verb.
Details
RegisterFormal
使用域硬い
Information
AとあればB is a poetic and emphatic expression meaning “if” often used when B has to be done/is allowed in special circumstances A. Expressions like のため、必要、望み、命令 are common in A and expressions like ざるを得ない、しかない、なければならない follow in B. B is not used for requests.
Rarely, an old-fashioned とあらば form can be seen in older literature