逻辑语

编辑
bloti
  1. ;x1是艘载运x2的船,以x3来推动。