-- what weighs in that balance, because to go back for one second, in practical, economic terms I gather the difference between a copyright that lasts for 100 years, lasts for 1,000 years, lasts forever, is probably something less than 1,000 -- on $1,000 a penny.
A penny does not equal $1000
Yes a penny is equal to $0.01, which is not equal to $1000
( z0 equal :ARG1 ( z1 penny ) :ARG2 ( z2 monetary-quantity :quant 1000 :unit ( z3 dollar ) ) :polarity - )
(z0 / equal-01
    :ARG1 (z1 / penny)
    :ARG2 (z2 / monetary-quantity
              :quant 1000
              :unit (z3 / dollar))
    :polarity -)
A penny does not equal $ 1000
z0 :polarity 0
z0 :ARG1 z1
z0 :ARG2 z2
z2 :unit z3
z2 :quant 1