FORTI E GRICE

 U 'signifies' =df. U intends.

FORTI uses "=def."

U signfies that p =def. U intends that p