A shirtless, bearded and mustached man peers through a home's doorway while a cat sits on the bottom step of the entrance to the home.
a man wears no shirt
A man who wears no shirt is considered to be shirtless.
(x)
exists x1.(-exists e1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_shirt(x2)) & n_man(x1))