Anchor: The amount of the payment reflects the difference between (a) the benefits that the OASDHI trust funds would have paid to railroad workers and their families if railroad employment had been covered by OASDHI and (b) the payroll taxes that the OASDHI trust funds would have received if railroad employment had been covered by OASDHI.
Entailed: The payment is adjusted to reflect benefits and taxes.
Contradiction: The payment amount does not reflect any differences.
Contradiction: a cat is meowing
Contradiction: A dressed up man is having punch.
Contradiction: A man is at home sleeping.
Contradiction: There is a women cooking