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