[Rule:
   [Universal*a][Universal*b]
   [Premise: 
     [Universal?a:'Pred'][Universal?b](Time?a?b)
   ]
   [Conclusion:
     [Universal?a][Universal?b](ptim?a?b)
   ]
].
[Rule:
  [Universal*a][Universal*b]
  [Premise:
    [be_1?a:'Pred'][Process?b](Subj?a?b)
  ]
  [Conclusion:
    [Universal?a][Universal?b](stat?b?a)
  ]
].
[Rule:
  [Universal*a][Universal*b]
  [Premise:
    [Action?a:'Pred'][Entity?b](Subj?a?b)
  ]
  [Conclusion:
    [Universal?a][Universal?b](agnt?a?b)
  ]
].
[Rule:
  [Universal*a][Universal*b]
  [Premise:
    [Action?a:'PreC'][Entity?b](Subj?a?b)
  ]
  [Conclusion:
    [Universal?a][Universal?b](agnt?a?b)
  ]
].
[Rule:
  [Universal*a][Universal*b]
  [Premise:
    [Situation?a:'Pred'][Entity?b](Objc?a?b)
  ]
  [Conclusion:
    [Universal?a][Universal?b](thme?a?b)
  ]
].
[Rule:
  [Universal*a][Universal*b][Universal*c]
  [Premise:
     [be_1?a:'Pred'][Entity?b][Universal?c]
     (Subj?a?b)(PreC?a?c)
  ]
  [Conclusion:
     [Universal?b][Universal?c](stat?b?c)
  ]
].
[Rule:
  [Universal*a][Universal*b][Universal*c]
  [Premise:
     [Universal?a:'PreC'][Universal?b][Universal?c]
     (Cmpl?a?b)(over?b?c)
  ]
  [Conclusion:
     [Universal?a][Universal?c](over?a?c)
  ]
]
.
[Rule:
  [Universal*a][Universal*b][Universal*c]
  [Premise:
     [Universal?a:'PreC'][Universal?b][Universal?c]
     (Subj?a?b)(over?a?c)
  ]
  [Conclusion:
     [be_1*d][Universal?b][Universal?c](stat?b?d)(over?d?c)
  ]
]