So, how would the command look if I have a video, which is 1280x544 and I want it to be 1280x720?

For example in this script:

reel1=AVISource("K:\FINAL ENCODE 01.avi", audio=false)
reel2=AVISource("K:\FINAL ENCODE 02.avi", audio=false)
reel2_1=reel2.Trim(0, 8696)
reel2_2=reel2.Trim(9019, 25486)
reel2_3=reel2.Trim(25530, 40230)
reel2_ins1=AVISource("K:\FINAL ENCODE\v2.5\Vader green lights 1 new.avi", audio=false)
reel2_ins2=AVISource("K:\FINAL ENCODE\v2.5\Han 1st New_1.avi", audio=false)
reel2_new=reel2_1++reel2_ins1++reel2_2++reel2_ins2++reel2_3
reel3=AVISource("K:\FINAL ENCODE 03.avi", audio=false)
reel3_1=reel3.Trim(0, 20651)
reel3_2=reel3.Trim(20694, 39460)
reel3_3=reel3.Trim(39564, 48434)
reel3_ins1=AVISource("K:\FINAL ENCODE\v2.5\Vader green lights 2 new.avi", audio=false)
reel3_ins2=AVISource("K:\FINAL ENCODE\v2.5\Obi-Wan coat.avi", audio=false)
reel3_new=reel3_1++reel3_ins1++reel3_2++reel3_ins2++reel3_3
reel4=AVISource("K:\FINAL ENCODE 04.avi", audio=false)
reel4_1=reel4.Trim(0, 39136)
credits=AVISource("K:\FINAL ENCODE\v2.5\Credits_1.avi", audio=false)
reel1++reel2_new++reel3_new++reel4_1++credits
assumefps(24000,1001)