Assertion: portfolio's stock | /r/HasProperty | allowed
Facets:
Source sentences:
text: Consumption cannot be negative: c t ≥ 0, while π t is unrestricted (that is borrowing or shorting stocks is allowed).