Crossing and Dipping: Some Terms for Approaching the Interface between Natural Understanding and Logical Formulation