You are viewing a single comment's thread from:
RE: An introduction to attribute logic aka first-order logic
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