// This is a modified version of univ.mln supplied with Alchemy.
//
// Modifications:
// The basis for this model is the clausal version of univ.mln generated 
// by Alchemy's CNF transformation, with weights learned by Alchemy.
//
// Formulas involving function motherOf() have been removed
//

//predicate declarations
hasPosition(person,position)
advisedBy(person,person)
professor(person)
publication(title,person)
inPhase(person,phase)
student(person)

person =  {Hanna, Ivy, Gail, Glen}
title = {Title1, Title2}
phase = {Pre_Quals, Post_Quals}
position = {Faculty, Faculty_emeritus}

// group 2
1.55628  professor(a1) v student(a1)
5.60005  !professor(a1) v !student(a1)

// group 3
4.64621  student(a1) v !advisedBy(a1,a2)
3.9145  professor(a1) v !advisedBy(a2,a1)

// group 4
10.0423  student(a1) v !inPhase(a1,Pre_Quals)
11.3708  student(a1) v !inPhase(a1,Post_Quals)

// group 5
5.87286  professor(a1) v !hasPosition(a1,Faculty)
5.85054  professor(a1) v !hasPosition(a1,Faculty_emeritus)

// group 6
6.72199  !professor(a2) v !student(a1) v advisedBy(a1,a2) v !publication(a3,a1) v !publication(a3,a2) v a1 = a2

// group 7
-0.767495  !advisedBy(a1,a2) v inPhase(a1,Pre_Quals) v !hasPosition(a2,Faculty)
-1.42323  !advisedBy(a1,a2) v inPhase(a1,Post_Quals) v !hasPosition(a2,Faculty)
0.218835  !advisedBy(a1,a2) v inPhase(a1,Pre_Quals) v !hasPosition(a2,Faculty_emeritus)
2.64837  !advisedBy(a1,a2) v inPhase(a1,Post_Quals) v !hasPosition(a2,Faculty_emeritus)

// group 8
2.92123  !inPhase(a1,Pre_Quals) v !inPhase(a1,Post_Quals)
-2.08168  inPhase(a1,Post_Quals) v !inPhase(a1,Pre_Quals)
-3.68719  inPhase(a1,Pre_Quals) v !inPhase(a1,Post_Quals)
2.84764  inPhase(a1,Pre_Quals) v inPhase(a1,Post_Quals)

// group 9
-2.3834  professor(a1)

// group 10
-1.66037  student(a1)

// group 11
-3.02401  advisedBy(a1,a2)

// group 12
-0.631775  publication(a1,a2)

// group 13
-0.073587  inPhase(a1,a2)

// group 14
-0.514359  hasPosition(a1,a2)