Assertion list
lcd (primary) → IsA
Results from Ascent++: 2
lcd → IsA → a flat panel display 0.41
lcd → IsA → mature technology 0.16