!AIUnit >>
 ...
;

!GameUnit :: AIUnit >>
 ...
;

!HasWings >>
 ...
;

+FlyingMonster : GameUnit, HasWings >>
 GameUnit, HasWings : _
 Location : ?
 ...
;

Helicopter = FlyingMonster [Air]
MetalMarine = FlyingMonster [Sea]
