Feature structure are sometimes identified with open maps. They can then be represented as open Prolog lists using the operator (:)/2 for pairing. This feature term:
