The Shallow Encoding

The TFF Language

• Types: cell, environment, numeric_function_on_cell, number,
• Terms: environment_of, surface_area, surface_to_volume_ratio, exchange_rate, apply
• Atoms: proportional, important

The TFF Formulae

• Commonsense axioms, e.g., proportional is symmetric
• Biological axioms, e.g., exchange_rate is important
• Conjecture: surface_area is important

Strengths and Weaknesses

• Quick and easy encoding
• Very specific to this question
• Gave us the intuition for the reasoning