!
Student
(
Mike
)
!
Friends
(
a1
,
a2
)
!
Friends
(
Varun
,
a2
)
Friends
(
a1
,
a2
)
Student
(
a1
)
!
Rockstar
(
Bieber
)
Invalid Predicate
Invalid Predicate
Invalid Predicate