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