add parentheses to support E's more strict parser

tests/TPTP/TQM2.tff

@@ -24,7 +24,7 @@ tff(likes_tp,type,(likes : w * $i * $i > $o)).
 tff(knows_Mary_conjunct,axiom,(? [W:w, W2:w] : (accreln(knows,mary,W2,W) => (likes(W,bill,sue) & likes(W,bob,joan))))).
 
 
-tff(knows_Mary_conjunct,axiom,(! [W:w, W2:w, H:$i, P1:$i, P2:$i] : ((accreln(knows,H,W2,W) => (likes(W,P1,P2)) => likes(W,P1,P2))))).
+tff(knows_Mary_conjunct,axiom,(! [W:w, W2:w, H:$i, P1:$i, P2:$i] : ((accreln(knows,H,W2,W) => (likes(W,P1,P2) => likes(W,P1,P2)))))).
 
 % tff(knows_Mary_Bill_Sue,conjecture,(?[X:$i]:(![W:w]:(likes(W,bill,X))))). % saturation
 

tests/TPTP/TQM6.tff

@@ -9,7 +9,7 @@ tff(worlds_tp,type,(w : $tType)).
 tff(modals_tp,type,(m : $tType)).
 
 tff(wears_tp,type,(wears : ($i * $i * w) > $o)).
-tff(earlier_tp,type,(earlier : ($i * $i * w) > $o)).
+tff(earlier_tp,type,(earlier : ($i * $i) > $o)).
 tff(attribute_tp,type,(attribute : ($i * $i * w) > $o)).
 tff(instance_tp,type,(instance : ($i * $i) > $o)).
 tff(contraryAttribute_tp,type,(contraryAttribute : ($i * $i) > $o)).
@@ -131,11 +131,11 @@ tff(kb5,axiom,(
 
 tff(kb6,axiom,(
   (![W:w, O:$i, A:$i, A1:$i, A2:$i, T1:$i, T2:$i, W1:w, W2:w, W3:w, Wa1:w, Wa2:w, Wa3:w, Wb1:w, Wb2:w, Wb3:w] : (
-    ((accreln(holdsDuring,T1,W2,W1) => accreln(believes,A,W3,W2) => attribute(O,A1,W3)) &
-    (accreln(holdsDuring,T2,Wa2,Wa1) => accreln(believes,A,Wa3,Wa2) => attribute(O,A2,Wa3)) &
+    ((accreln(holdsDuring,T1,W2,W1) => (accreln(believes,A,W3,W2) => attribute(O,A1,W3))) &
+    (accreln(holdsDuring,T2,Wa2,Wa1) => (accreln(believes,A,Wa3,Wa2) => attribute(O,A2,Wa3))) &
     earlier(T1,T2) &
     contraryAttribute(A1,A2)) => 
-      (accreln(holdsDuring,now,Wb2,Wb1) => accreln(believes,A,Wb3,Wb2) => attribute(O,A2,Wb3)))))).
+      (accreln(holdsDuring,now,Wb2,Wb1) => (accreln(believes,A,Wb3,Wb2) => attribute(O,A2,Wb3))))))).
 
 tff(kb7,axiom,(
   ![A1:$i,A2:$i]:(contraryAttribute(A1,A2) => contraryAttribute(A2,A1)))).