You asked:

facts about [height: [length: [real number: ["7.1"]]; [mile]]]

Sorry, I don't yet have an answer to that question.