Premise

constructor(identifier: RuleIdentifier, conclusion: Term, strict: Boolean = false)