5˙04102
Folgt p aus q so ist der Sinn von p im Sinne von q enthalten.