TPTP/FOF transformation still incomplete

[arademaker]

(<=>
   (partition ?CLASS @ROW)
   (and
      (exhaustiveDecomposition ?CLASS @ROW)
      (disjointDecomposition ?CLASS @ROW)))

it is generating only one axiom but it should expand the row variable for many arities:

% f: (<=> (partition ?CLASS @ROW) (and (exhaustiveDecomposition ?CLASS @ROW) (disjointDecomposition ?CLASS @ROW)))
% 102 of 34588 from file /Users/ar/workspace/sumo/Merge.kif at line 645
% not higher order
fof(kb_SUMO_89,axiom,(( ( ! [V__ROW1,V__CLASS] : 
  ((s__instance(V__ROW1,s__Class) & s__instance(V__CLASS,s__Class)) => 
    (s__partition_2(V__CLASS,V__ROW1) <=> (s__exhaustiveDecomposition_2(V__CLASS,V__ROW1) 
   & s__disjointDecomposition_2(V__CLASS,V__ROW1)))) ) ))).

[arademaker]

BTW, the above version of the axiom is not commited yet, but I think it is clear than the current version in the repo. I want to make clear that a particular class is in focus here:

(<=>
   (partition @ROW)
   (and
      (exhaustiveDecomposition @ROW)
      (disjointDecomposition @ROW)))

[apease]

I agree that your new version is better -

(<=>
(partition ?CLASS @Row)
(and
(exhaustiveDecomposition ?CLASS @Row)
(disjointDecomposition ?CLASS @Row)))