Requirement(R) Reverse thrust shall

Requirement
(R) Reverse thrust shall only be enabled when the aircraft is moving on runway.
Domain Properties
(D1) Deploying reverse thrust in mid-flight has catastrophic effects.
(D2) Wheel pulses are on if and only if wheels are turning.
(D3) Wheels are turning if and only if the plane is moving on the runway.
System specification
(S) The system shall allow reverse thrust to be enabled if and only if wheel pulses are on.
Does D1 and D2 and D3 and S  R?
Are the domain assumptions (D) right? Are the requirement (R) or specification (S) what is really needed?

Results (Indonesian) 1:

Persyaratan(R) dorong reverse akan diaktifkan hanya ketika pesawat bergerak di landasan pacu.Properti domain(D1) Penggelaran dorong terbalik di pertengahan penerbangan memiliki dampak bencana.(D2) Roda pulsa yang jika dan hanya jika roda yang berputar.(D3) Roda yang berputar jika dan hanya jika pesawat bergerak di landasan.Spesifikasi sistem(S sistem) akan memungkinkan dorong terbalik harus diaktifkan jika dan hanya jika pulsa roda berada di.Apakah D1 dan D2 dan D3 dan S  R?Apakah asumsi domain (D) kanan? Apakah persyaratan (R) atau spesifikasi (S) apa yang benar-benar diperlukan?

Results (Indonesian) 2:

Kebutuhan
(R) Mundur dorong hanya akan diaktifkan? saat pesawat bergerak di landasan.
Domain Properti
(D1) Menyebarkan dorong terbalik pada pertengahan penerbangan? memiliki efek bencana.
(D2) pulsa roda yang jika dan hanya jika roda berputar .
(D3) Roda yang beralih jika dan hanya jika pesawat bergerak di landasan pacu.
spesifikasi Sistem
(S) Sistem harus memungkinkan dorong terbalik harus diaktifkan jika dan hanya jika pulsa roda yang.
Apakah D1 dan D2 dan D3 dan S  R?
Apakah asumsi domain (D) yang tepat? Adalah kebutuhan (R) atau spesifikasi (S) apa yang benar-benar diperlukan?