SEMANTICS expression=MIT OR Apache-2.0 AND BSD-3-Clause variables=3 nodes=6 operations=69
FINGERPRINT (Apache-2.0?(BSD-3-Clause?1:(MIT?1:0)):(MIT?1:0))
MODEL Apache-2.0=false, BSD-3-Clause=false, MIT=true
