Device IPC in definition of “DeviceVTEProphylaxis” passes as expected (See 1st screen shot below). But it does not pass through definition of “VTEProphylaxis” (See 2nd screen shot below). Dose Bonnie support “from” statement? Or there is other reason fail the logic?