Assertion: hammer | /r/HasProperty | lever
Facets:
Source sentences:
text: A hammer is a lever, one of the six types of simple machines.