Assertion: categorical imperative's formulation | /r/AtLocation | order
Facets:
Source sentences:
text: In order for the second formulation to be true, the first formulation must exist.