Assertion list
gate (primary) → IsA
Results from Ascent++: 4
gate → IsA → the entrance 0.36
gate → IsA → electronic circuit 0.35
gate → IsA → barrier 0.27
gate → IsA → main entrance 0.25