Translation Of Property Consequences In Different Languages