Assertion: hammer's appearance | /r/HasProperty | super mario land
Facets:
Source sentences:
text: Though Hammer Brothers themselves did not make a direct appearance in Wario Land: Super Mario Land 3, the Spiked Koopa boss has the Japanese name ｢トゲブロス」