Assertion: argument's statement | /r/HasProperty | put into logical form
Facets:
value: in order to evaluate these forms
type: PURPOSE
Source sentences:
text: In order to evaluate these forms, statements are put into logical form.