Among the app users who were not active when event no.2 happened, how many of them belong to the category Property Industry 1.0?
not active refers to is_active = 0; event no. refers to event_id; event_id = 2;
SELECT COUNT(T2.app_id) FROM label_categories AS T1 INNER JOIN app_labels AS T2 ON T1.label_id = T2.label_id INNER JOIN app_events AS T3 ON T2.app_id = T3.app_id WHERE T3.is_active = 0 AND T1.category = 'Property Industry 1.0' AND T3.event_id = 2