5.3
Macs: 5.6: 9.2.2 [mach==1206] [cput==0x139] [5.6.0.20040220]
SntF
C1000112180559D1000112206920C1120565211577D1120565219687
S9985
1
@x /y (Small(x) $ RightOf(x, y)) $ (@x ~Small(x) | /x /y RightOf(x, y))