inverted-search(S, A, V):
		 {*** Search the value V of the attribute A in
			the structure S *** } 
		search ( search(S, A), V )