Program is a type of System. System is a type of Method. 
you are likely to find Rifle in/at/on War. Rifle is a synonym of Go. Go is related to Gravity. 
Program --IsA--> System --IsA--> Method 
War <--AtLocation-- Rifle <--Synonym--> Go <--RelatedTo--> Gravity 