FOLIO: Natürliches Sprachverständnis mit Prädikatenlogik erster Stufe | Synapse