Translate to sentential form. (V(x) {Pink(x) ^ Building(x) -> Wonderful(x) } )

Question

(V(x) {Pink(x) ^ Building(x)  -> Wonderful(x) } )

=> Intuitively it seems like ,

(I) If building is pink then it is wonderful ,

but other form given is =>

(II) All pink buildings are wonderful.

Seems fair enough , it'll encompass universal quantifier.

But , If building is pink then it is wonderful would be transalated to logical form same way too , right ?

 

It's bit too ambiguous to me. Or correct translation for first form is

e.g. ((x) {Pink(x) ^ Building(x)  -> Wonderful(x) } ) without any quantifier ?

Or both are valid transalations here ?

Comments

See Domain must be present here and it should be"building" from the domain building we have to selecting all  those building which are pink and said those all pink building are wonderful .so i think .the  above logical statement will not be valid untill the domain is not  given !!!