Because variables may be used in more than one level of the explanation, we need to see the variable names in order to know when the statements are referring to the same hypothesized objects. So anywhere that a variable is being converted into NL it should be done in a way that preserves the variable name (e.g. "an object (A)").
Because variables may be used in more than one level of the explanation, we need to see the variable names in order to know when the statements are referring to the same hypothesized objects. So anywhere that a variable is being converted into NL it should be done in a way that preserves the variable name (e.g. "an object (A)").