A conjuction of attribute requests, only satisfied when all of its containing attribute requests are satisfied.
AttributeConDisCon is only satisfied if all of the containing AttributeDisCon are satisfied.
A disjunction of conjunction of attribute requests, only satisfied when at least one of its containing attribute request conjunctions is satisfied.
An AttributeRequest asks for an instance of an attribute type, possibly requiring it to have a specified value, in a session request.
A DisclosureRequest is a request to disclose certain attributes.