UNIVERSE [
  PACKAGE p1 < v1 v2 v3 > v1
  PACKAGE p2 < v1 v2 v3 > v1
  PACKAGE p3 < v1 v2 v3 > v1
  PACKAGE p4 < v1 v2 v3 > v1


  DEP p1 v1 -> < p2 v2  p2 v3 >
  DEP p1 v2 -> < p2 v2  p2 v3 >
  DEP p1 v3 -> < p2 v2  p2 v3 >

  DEP p2 v1 -> < p3 v1  p3 v2  p3 v3 >
  DEP p2 v2 -> < p3 v1  p3 v2  p3 v3 >

  DEP p2 v1 !! < p1 v2  p1 v3 >


  DEP p3 v1 -> < p4 v1  p4 v2  p4 v3 >
  DEP p3 v2 -> < p4 v1  p4 v2  p4 v3 >
  DEP p3 v3 -> < p4 v1  p4 v2  p4 v3 >
]

TEST 10 10 10000 10 50 { SCORE p1
