逻辑语 编辑

bloti
  1. ;x1是艘載運x2的船,以x3來推動。