A-2017 is produced by AOC and equipped in the library.
Some monitors equipped in the library are produced by AOC.  All monitors equipped in the library are cheaper than 800 dollars.  All monitors cheaper than 800 dollars are with a resolution of 1080p.  If a monitor has a resolution of 1080p, then it does not support the type-c port.  A-2017 supports the type-c port. 
∃x (Library(x) ∧ AOC(x)) ∀x (Library(x) → Cheap(x)) ∀x (Cheap(x) → A1080p(x)) ∀x (A1080p(x) → ¬TypeC(x)) TypeC(a-2017)