test08.g revision 51e06a0501f8a4cb2d2b8ae6f559a85da23dcbf2
~(<3>(<6>a/\<7>b-><14>(c\/d)\/F)-><2>(<9>(a\/b)-><4>c\/<5>d))