邏輯語

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