In this paper, we introduce and initiate a formalism to represent syntactic and semantic features in logic‐based grammars. We also introduce technical devices to express feature‐checking and feature‐inheritance mechanisms. This leads us to propose some extensions to the basic unification mechanism of PROLOG. Finally, we consider the problem of long‐distance dependency relations between constituents in gapping grammars rules from the point of view of morphosyntactic features that may change depending on the position occupied by the moved constituents. What we propose is not a new linguistic theory about features, but rather a formalism and a set of tools that we think will be useful to grammar writers to describe features and their relations in gramma