|
 |
|
|
|
|
|
|
|
|
|
|
|
|
... it is a
crime for an American to sell weapons to hostile nations:
|
|
American(x)
Weapon(y) Sells(x,y,z) Hostile(z) Criminal(x)
|
|
Nono … has some
missiles, i.e., x Owns(Nono,x) Missile(x):
|
|
Owns(Nono,M1)
and Missile(M1)
|
|
… all of its missiles were
sold to it by Colonel West
|
|
|
Missile(x)
Owns(Nono,x) Sells(West,x,Nono)
|
|
Missiles are
weapons:
|
|
|
Missile(x)
Weapon(x)
|
|
An enemy of
America counts as "hostile“:
|
|
|
Enemy(x,America)
Hostile(x)
|
|
West, who is
American …
|
|
|
American(West)
|
|
The country
Nono, an enemy of America …
|
|
|
Enemy(Nono,America)
|
|
|
|
