RE: An introduction to attribute logic aka first-order logic

[thatgermandude]

I would normally describe it directly with subsets,

Nah I would actually need to describe it with a quantor like i did to put it into context of the rest of the argument