title: How to convert this sentence into a first order logic well formed formula?
body: <p>I am trying to convert the following sentence to a well formed formula using first-order logic(Predicate logic).</p>
  <blockquote>
  <p>All towers are of the same color.</p>
  </blockquote>
  <p>I have defined the following predicates:</p>
  <blockquote>
  <p>Tower(x) :: x is a tower.</p>
  <p>Color(x, y) :: x is of color y</p>
  </blockquote>
  <p>I am not able to convert the aforementioned sentence into a well formed formula using the above predicates. Is it possible to convert it using the above predicates or some new predicate should be required. Please advise.</p>
  <p>EDIT: Forgot to add a detail. There are only three available colours in the world (red, green, blue). Can this detail be used. Does that make any difference to the solution?</p>