入力例：Le / W. ;; Le := `|A in_ Ind` ;; |A. := `|A =_ {cls n in \M | {all m in \M . m sub n or n sub m}}`