Vifp number lookup carnival app. F-Line application Status. Zum Kranz Fützen. What is entailment in semantics.