5.3
Macs: 5.6: 9.2.2 [mach==1206] [cput==0x139] [5.6.0.20040220]
SntF
C998479127874D998479276440C1120564622910D1120564635591
S9516
5
; ========== Premises ==========/x Larger(x, a)/x Cube(x); ========= Conclusion ==========/x (Larger(x, a) & Cube(x))