What logical function does fī have in “Zayd is in the house”?

Predication, Types of Categorical Proposition and Negated Terms

• To quantify all individuals
• To deny the predicate
• To express a locative relation between Zayd and the house
• To classify Zayd as a kind of house