def i_disjunctionExpressionConstraint(ss: Substrate, decr: disjunctionExpressionConstraint) -> Sctids_or_Error:
    return applyToSequence(ss, i_subExpressionConstraint, union, decr)
def i_conjunctionExpressionConstraint(ss: Substrate, cecr: conjunctionExpressionConstraint) -> Sctids_or_Error:
    return applyToSequence(ss, i_subExpressionConstraint, intersect, cecr)