Explorer class
nConstructor:
urequire:
FhitStrength >= 0
Fstamina >= 0
uensure:
Fthis.name() == name
Fthis.location() == location
Fthis.strength() == strength
Fthis.stamina() == stamina