class "red"
[ { "syntax" * } {
[ { "applicability condition" * } {
- [ [ "properties" ] "ac" * ]
+ [ [ "preorder" ] "acle" + "( ? ⊆ ? )" "acle_acle" * ]
+ [ [ "properties" ] "ac" + "( 𝟏 )" + "( 𝟐 )" + "( 𝛚 )" * ]
}
]
[ { "equivalence up to exclusion binders" * } {