type theory वाक्य - type theory अंग्रेजी में वाक्य (26-30)