Crossing and dipping: Some terms for approaching the interface between natural understanding and logical formulation · Study