Oq
There is some discussion between moral theorists whether DA really holds. It may be felt that the logic is not very compelling for empirical relations of dubious causality. However, if p
q reflects a logial truth, then DA is commonly accepted.
On reasonableness, it seems a bit better to attach the properties to the agents rather than to the propositions or commodities. Useful axioms then are:
AF feasibility, X is the budget set (rather than the whole space)
ARe agents are realistic (they only consider feasible options, accept AF)
I thus agree with Arrow’s 1950 statement: “My own feeling is that tastes for unattainable alternatives should have nothing to do with the decision among the attainable ones; desires in conflict with reality are not entitled to consideration.” Thus, also, when one point is (socially) most preferred, it is the one consumed.