{
  "is A": true,
  "is B": true,
  "is AOBC": true,
  "is AOAO": true,
  "is AOAC": true,
  "is AOAN": true,
  "is AOAN": true,
  "is AOAN": true,
  "is Y": true,
  "is Y": true,
  "is not Y": false,
  "is S": true
}