5.3
Macs: 5.6: 9.2.2 [mach==1206] [cput==0x139] [5.6.0.20040220]
SntF
C999855750330D999855895839C1120564597064D1120564611258
S8756
4
========== Premise ===========/x (Larger(x,a) & Cube(x))========== Conclusion =========/x Larger(x, a) & /x Cube(x)