"is postcondition of" . . "\u00E8 postcondizione di" . _:vb961041 . _:vb961044 . . . "Direct succession applied to situations. \nE.g., 'Taking some rest is a postcondition of my search for a hotel'."^^ . .