Property:Has tool

This is a property of type has type::Record.

has fields::has tool quantity; has tool name