Growth

• CNF to FOF from mid-2005 (v3.1.0)
• FOF in 2008 (v3.4.0) from Cyc and MPTP
• FOF in 2009 (v4.0.0) from SAD, SUMO, ILTP, Höfner
• THF in 2009 (v4.0.0) from introduction of THF
• CNF in 2010 (v4.1.0) from Judgement Day and Stanovsky