%------------------------------------------------------------------------------
%----Which people with the family name Curie has won a prize?
fof(who,conjecture,
    ? [FullName,GivenName,Prize] :
      ( s__familyName('Curie',FullName)
      & s__hasWonPrize(FullName,Prize)
      & s__givenName(GivenName,FullName)
      & printonly(printall(nl,nl,GivenName,' won the ',Prize,nl)) ) ).

%----To print only the people (as subsumption prevents duplicates)
% & printonly(printall(nl,nl,'% SZS answer Tuple [',GivenName,']',nl)) ) ).
%------------------------------------------------------------------------------