Reasoning with assumptions, defeasibly, in model formulation