How do I use plsyn syntax in thea?

Help!
#1

I’m using: SWI-Prolog version 8.3.28

Are there some good examples of how to use the plsyn syntax in a Prolog program?

I have a bunch of code that looks like:

get_user_object(User,Object) :-
   classAssertion(userClass,User),
   classAssertion(objectType,Object),
   propertyAssertion('hasObject',User,Object).

How do I rewrite that predicate using plsyn to simplify it?

Thanks for any help!