Jetzt anmelden
« Zurück zu den Karteidetails
Hilfe zu Formatierungen (fett, kursiv, ...)
« 5 »
Wedge-intro
Given a sentence (at line m), conclude any disjunction having it as a disjunct.