Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
1 goal
X : tele
α, β, γ1, γ2 : X -> Prop
============================
accessor α β γ1 -> accessor α β (λ.. x : X, γ1 x \/ γ2 x)
[ Dauer der Verarbeitung: 0.74 Sekunden
]
