邏輯語

編輯
ninmu
  1. 女性;x1是個女性(不一定是成年女性)。