Is/Has as Conditional Expressions (first cut)